ContentMathML-extension-proposal.md

@@ -48,78 +48,92 @@ lots of bidi works? Does the ContentMML extension do something here?
 #### TortureTests => ContentMML
 
 * http://www.w3.org/Math/testsuite/build/main/TortureTests/Complexity/complex4-form.xhtml
-
+  * unkown nodes
 
 
 ### ContentMML
 
 * http://www.w3.org/Math/testsuite/build/main/Content/ArithmeticAlgebraLogic/divide/divide5-form.xhtml
 * http://www.w3.org/Math/testsuite/build/main/Content/ArithmeticAlgebraLogic/divide/divide3-form.xhtml
+  * styling bevelled will often go bad
+  * more examples:
+  * http://www.w3.org/Math/testsuite/build/main/Content/ConstantsAndSymbols/pi/rec-pi1-form.xhtml
+  * http://www.w3.org/Math/testsuite/build/main/Content/ElementaryFunctions/arccosh/arccosh3-form.xhtml
+  * http://www.w3.org/Math/testsuite/build/main/Content/ElementaryFunctions/arccsch/arccsch3-form.xhtml -- not even using mfrac??
+  * http://www.w3.org/Math/testsuite/build/main/StrictContent/ArithmeticAlgebraLogic/divide/divide3-form.xhtml
 * http://www.w3.org/Math/testsuite/build/main/Content/ArithmeticAlgebraLogic/logic7-form.xhtml
+  * unkown node `in`
 * http://www.w3.org/Math/testsuite/build/main/Content/ArithmeticAlgebraLogic/max/max3-form.xhtml
-
+  * twisted around [but fine], one x missing
 * http://www.w3.org/Math/testsuite/build/main/Content/ArithmeticAlgebraLogic/minus/minus1-form.xhtml
-* http://www.w3.org/Math/testsuite/build/main/Content/ArithmeticAlgebraLogic/minus/minus2-form.xhtml
-* http://www.w3.org/Math/testsuite/build/main/Content/ArithmeticAlgebraLogic/minus/minus9-form.xhtml
+  * no parens `a - (b-c)`
+  * http://www.w3.org/Math/testsuite/build/main/Content/ArithmeticAlgebraLogic/minus/minus2-form.xhtml
+  * http://www.w3.org/Math/testsuite/build/main/Content/ArithmeticAlgebraLogic/minus/minus9-form.xhtml
+  * http://www.w3.org/Math/testsuite/build/main/StrictContent/ArithmeticAlgebraLogic/minus/minus2-form.xhtml
 * http://www.w3.org/Math/testsuite/build/main/Content/BasicContentElements/lambda/rec-lambda1-form.xhtml
-* http://www.w3.org/Math/testsuite/build/main/Content/BasicContentElements/lambda/rec-lambda2-form.xhtml
+  * `lambda` has two suggestions in the spec. This one is valid but maybe we prefer the other?
+  * http://www.w3.org/Math/testsuite/build/main/Content/BasicContentElements/lambda/rec-lambda2-form.xhtml
+  * http://www.w3.org/Math/testsuite/build/main/StrictContent/BasicContentElements/lambda/rec-lambda1-form.xhtml
+  * http://www.w3.org/Math/testsuite/build/main/StrictContent/BasicContentElements/lambda/rec-lambda2-form.xhtml
 * http://www.w3.org/Math/testsuite/build/main/Content/BasicContentElements/share/rec3-share-1-form.xhtml
-
-* (http://www.w3.org/Math/testsuite/build/main/Content/Calculus/curl/rec-curl1-form.xhtml)
-* http://www.w3.org/Math/testsuite/build/main/Content/Calculus/degree/rec-degree1-form.xhtml ???
-* http://www.w3.org/Math/testsuite/build/main/Content/Calculus/diff/rec-diff2-form.xhtml 
-* (http://www.w3.org/Math/testsuite/build/main/Content/Calculus/divergence/rec-divergence1-form.xhtml ??)
-
-
+  * screwed up hrefs
+* http://www.w3.org/Math/testsuite/build/main/Content/Calculus/curl/rec-curl1-form.xhtml
+  * `curl` -- cf. `lambda` above.
+* http://www.w3.org/Math/testsuite/build/main/Content/Calculus/degree/rec-degree1-form.xhtml
+  * is this wrong?
+  * http://www.w3.org/Math/testsuite/build/main/Content/Calculus/diff/rec-diff2-form.xhtml 
+* http://www.w3.org/Math/testsuite/build/main/Content/Calculus/divergence/rec-divergence1-form.xhtml
+  * `div`, see `curl`, `lambda`
+* http://www.w3.org/Math/testsuite/build/main/Content/Calculus/grad/rec-grad1-form.xhtml
+  * `grad`, see `curl` etc
 * http://www.w3.org/Math/testsuite/build/main/Content/Calculus/divergence/rec-divergence2-form.xhtml
-* http://www.w3.org/Math/testsuite/build/main/Content/Calculus/grad/rec-grad1-form.xhtml ???
-* (http://www.w3.org/Math/testsuite/build/main/Content/Calculus/int/int1-form.xhtml)
-* (http://www.w3.org/Math/testsuite/build/main/Content/Calculus/int/int2-form.xhtml)
-
-* http://www.w3.org/Math/testsuite/build/main/Content/Calculus/int/rec-int4-form.xhtml
-* http://www.w3.org/Math/testsuite/build/main/Content/ConstantsAndSymbols/pi/rec-pi1-form.xhtml
-
-* http://www.w3.org/Math/testsuite/build/main/Content/ElementaryFunctions/arccosh/arccosh3-form.xhtml
-* http://www.w3.org/Math/testsuite/build/main/Content/ElementaryFunctions/arccsch/arccsch3-form.xhtml ??? no mfrac
+  * bad layout
+  * http://www.w3.org/Math/testsuite/build/main/Content/Calculus/int/int1-form.xhtml (also: bevelled)
+  * http://www.w3.org/Math/testsuite/build/main/Content/Calculus/int/int2-form.xhtml
+  * http://www.w3.org/Math/testsuite/build/main/Content/Calculus/int/rec-int4-form.xhtml
 * http://www.w3.org/Math/testsuite/build/main/Content/ElementaryFunctions/arcsin/factorial3-form.xhtml
-* http://www.w3.org/Math/testsuite/build/main/Content/ElementaryFunctions/sin/factorial3-form.xhtml
-
+  * enough parens?
+  * http://www.w3.org/Math/testsuite/build/main/Content/ElementaryFunctions/sin/factorial3-form.xhtml
 * http://www.w3.org/Math/testsuite/build/main/Content/Error/rec-cerror1-form.xhtml
+  * poor spacing / missing colon
 * http://www.w3.org/Math/testsuite/build/main/Content/LinearAlgebra/matrix/matrix3-form.xhtml
+  * parens for matrices matter of taste or not?
 * http://www.w3.org/Math/testsuite/build/main/Content/LinearAlgebra/vectorproduct/rec-vectorproduct1-form.xhtml
-* http://www.w3.org/Math/testsuite/build/main/Content/Relations/equivalent/rec-equivalent1-form.xhtml
-
+  * badly missing parens
+  * http://www.w3.org/Math/testsuite/build/main/Content/Relations/equivalent/rec-equivalent1-form.xhtml
+  * http://www.w3.org/Math/testsuite/build/main/Content/SequencesAndSeries/limit/limit6-form.xhtml
 * http://www.w3.org/Math/testsuite/build/main/Content/Relations/geq/geq2-form.xhtml
-* http://www.w3.org/Math/testsuite/build/main/Content/Relations/neq/neq2-form.xhtml
-* http://www.w3.org/Math/testsuite/build/main/Content/SequencesAndSeries/limit/limit6-form.xhtml
-* http://www.w3.org/Math/testsuite/build/main/Content/SequencesAndSeries/product/product2-form.xhtml
-
+  * unkown node: geq
+  * neq -- http://www.w3.org/Math/testsuite/build/main/Content/Relations/neq/neq2-form.xhtml
+  * in -- http://www.w3.org/Math/testsuite/build/main/Content/SequencesAndSeries/product/product2-form.xhtml
+  * http://www.w3.org/Math/testsuite/build/main/Content/TheoryOfSets/in/in2-form.xhtml
+  * http://www.w3.org/Math/testsuite/build/main/Content/TheoryOfSets/notprsubset/notprsubset2-form.xhtml
+  * http://www.w3.org/Math/testsuite/build/main/Content/TheoryOfSets/notsubset/notsubset2-form.xhtml
+  * http://www.w3.org/Math/testsuite/build/main/Content/TheoryOfSets/prsubset/prsubset2-form.xhtml
+  * http://www.w3.org/Math/testsuite/build/main/Content/TheoryOfSets/subset/subset2-form.xhtml
 * http://www.w3.org/Math/testsuite/build/main/Content/Statistics/variance/rec-variance1-form.xhtml
-* http://www.w3.org/Math/testsuite/build/main/Content/TheoryOfSets/cartesianproduct/rec-cartesianproduct2-form.xhtml ???
-* http://www.w3.org/Math/testsuite/build/main/Content/TheoryOfSets/in/in2-form.xhtml
-* http://www.w3.org/Math/testsuite/build/main/Content/TheoryOfSets/in/in2-form.xhtml 
-ETC
-
-* http://www.w3.org/Math/testsuite/build/main/Content/TheoryOfSets/notprsubset/notprsubset2-form.xhtml
-* http://www.w3.org/Math/testsuite/build/main/Content/TheoryOfSets/notsubset/notsubset2-form.xhtml
-* http://www.w3.org/Math/testsuite/build/main/Content/TheoryOfSets/prsubset/prsubset2-form.xhtml
-* http://www.w3.org/Math/testsuite/build/main/Content/TheoryOfSets/subset/subset2-form.xhtml
-* http://www.w3.org/Math/testsuite/build/main/Content/TheoryOfSets/union/union3-form.xhtml ?
-* http://www.w3.org/Math/testsuite/build/main/StrictContent/ArithmeticAlgebraLogic/divide/divide3-form.xhtml
-
+  * not sure if that's good. Also, multiple rendering options `var(X)`
+* http://www.w3.org/Math/testsuite/build/main/Content/TheoryOfSets/cartesianproduct/rec-cartesianproduct2-form.xhtml
+  * not sure if that's what we want. Could be a conf. option
+* http://www.w3.org/Math/testsuite/build/main/Content/TheoryOfSets/union/union3-form.xhtml
+  * images has phi, ctop varphii -- but that seems correct for `φ`
 * http://www.w3.org/Math/testsuite/build/main/StrictContent/ArithmeticAlgebraLogic/forall/forall1-form.xhtml
-* http://www.w3.org/Math/testsuite/build/main/StrictContent/ArithmeticAlgebraLogic/forall/rec-forall4-form.xhtml
-* http://www.w3.org/Math/testsuite/build/main/StrictContent/ArithmeticAlgebraLogic/max/max3-form.xhtml
-* http://www.w3.org/Math/testsuite/build/main/StrictContent/ArithmeticAlgebraLogic/max/rec-max2-form.xhtml
-etc
-
-* http://www.w3.org/Math/testsuite/build/main/StrictContent/ArithmeticAlgebraLogic/minus/minus2-form.xhtml
-
+  * lambda is not properly resolved (sort of duplicated); "such that" seems bad.
+  * http://www.w3.org/Math/testsuite/build/main/StrictContent/ArithmeticAlgebraLogic/forall/rec-forall4-form.xhtml
+  * http://www.w3.org/Math/testsuite/build/main/StrictContent/ArithmeticAlgebraLogic/max/max3-form.xhtml
+  * http://www.w3.org/Math/testsuite/build/main/StrictContent/ArithmeticAlgebraLogic/max/rec-max2-form.xhtml
+  * http://www.w3.org/Math/testsuite/build/main/StrictContent/ArithmeticAlgebraLogic/min/min1-form.xhtml
+  * http://www.w3.org/Math/testsuite/build/main/StrictContent/ArithmeticAlgebraLogic/min/rec-min2-form.xhtml
 * http://www.w3.org/Math/testsuite/build/main/StrictContent/BasicContentElements/image/rec-image1-form.xhtml
-* http://www.w3.org/Math/testsuite/build/main/StrictContent/BasicContentElements/interval/rec-interval2-form.xhtml
-* http://www.w3.org/Math/testsuite/build/main/StrictContent/BasicContentElements/lambda/rec-lambda1-form.xhtml
-* http://www.w3.org/Math/testsuite/build/main/StrictContent/BasicContentElements/lambda/rec-lambda2-form.xhtml
+  * interval_cc should not be visible?
+  * http://www.w3.org/Math/testsuite/build/main/StrictContent/BasicContentElements/interval/rec-interval2-form.xhtml
 * http://www.w3.org/Math/testsuite/build/main/StrictContent/BasicContentElements/piecewise/rec-piecewise1-form.xhtml
+  * pieceswise basically fails
+
+
+
+
+
 * http://www.w3.org/Math/testsuite/build/main/StrictContent/BasicContentElements/reln/rec-reln3-form.xhtml
 * http://www.w3.org/Math/testsuite/build/main/StrictContent/BasicContentElements/share/rec3-share-1-form.xhtml
 * http://www.w3.org/Math/testsuite/build/main/StrictContent/Calculus/bvar/rec-bvar1-form.xhtml