From: Je'ro^me Euzenat <Jerome.Euzenat@inrialpes.fr>

Date: Thu, 24 Feb 2000 11:25:01 +0200

Message-Id: <v04210103b4d9807b2648@[194.199.22.174]>

To: www-math@w3.org

Date: Thu, 24 Feb 2000 11:25:01 +0200

Message-Id: <v04210103b4d9807b2648@[194.199.22.174]>

To: www-math@w3.org

Hello, here are some comments from a MathML user (for non rendering purposes) on the last WD. If you find them non relevant, please just ignore. I number them with regard to the WD section numbers: 4.4.6.1) I would have liked to have in the examples for "set" that of the emptyset: <set/> ? 4.4.6.12) the example of the (awaited) card operator is a bit odd because: 1) it asserts the condition of veracity of the assertion ("where A is a set with five elements"). 2) unlike many (but not all) other examples, the "Default rendering" does not render the "Example". 4.4.6.12) card is defined for sets, so why not length for lists. OpenMath had retained a common "size" element. 4.4.6.1) I feel that the "set" and "list" constructors can only have ONE "bvar" construction (because it identifies the elements of the set, that is not the case for the other constructs). It might be said in the WD (I do not see this - or the contrary - mentionned neither in 4.4.6.1(set) nor in the 4.4.5.6/4.2.3.2/4.2.1.8 (bvar) nor in the 4.2.5(condition), nor in the 4.2.2.1(tokens discussing sets)). If this is not the case, what is the meaning of: <set> <bvar><ci>x</ci></bvar> <bvar><ci>y</ci></bvar> <condition> <apply><and/> <apply><in/> <ci>x</ci> <ci>A</ci> </apply> <apply><in/> <ci>y</ci> <ci>B</ci> </apply> </apply> </condition> <apply><eq/> <apply><minus/> <ci>x</ci> <ci>y</ci> </apply> <apply><div/> <ci>x</ci> <ci>y</ci> </apply> </apply> </set> --> { x\in A, y\in B | x-y=x/y } ? This example arouse while trying to define cartesian product by: A*B = { <x,y> | x\in A /\ y\in B } with the binding of two variables x and y. __ Jérôme Euzenat / /\ _/ _ _ _ _ _ INRIA Rhône-Alpes, /_) | ` / ) | \ \ /_) (___/___(_/_/ / /_(_________________ 655, avenue de l'Europe / 38330 Montbonnot St Martin,/ Jerome.Euzenat@inrialpes.fr France____________________/ http://www.inrialpes.fr/exmoReceived on Thursday, 24 February 2000 05:24:34 UTC

*
This archive was generated by hypermail 2.3.1
: Tuesday, 6 January 2015 21:27:29 UTC
*