A few questions/suggestions about MathML 2.0

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/exmo

Received on Thursday, 24 February 2000 05:24:34 UTC