W3C home > Mailing lists > Public > www-math@w3.org > March 2003

Re: MathML Test suite questions

From: Robert Miner <RobertM@dessci.com>
Date: Wed, 12 Mar 2003 16:04:03 -0600
Message-Id: <200303122204.h2CM43W02575@wisdom.geomtech.com>
To: stephane@lavirotte.com
CC: www-math@w3.org


Hi.

This is now fixed.  The second assertion is correct.  Thanks for the
report.

--Robert

------------------------------------------------------------------
Dr. Robert Miner                                RobertM@dessci.com
MathML 2.0 Specification Co-editor                    651-223-2883
Design Science, Inc.   "How Science Communicates"   www.dessci.com
------------------------------------------------------------------




> Hi,
> 
> I had a look at the MathML content testsuite. I've got a problem with
> the "testsuite/Content/ArithmeticAlgebraLogic/forall/forall2" sample.
> 
> In REC, should we understand: "an optional condition and an optional
> assertion" or "an optional condition and a required assertion" ? If the
> second statement is the right one, the forall2 sample should not be
> valid.
> 
> <<<
> 4.4.3.17 Universal quantifier (forall)
> 
> The forall element represents the universal quantifier of logic. It must
> be used in conjunction with one or more bound variables, an optional
> condition element, and an assertion, which should take the form of an
> apply element. In MathML 1.0, the reln element was also permitted here:
> this usage is now deprecated.
> >>>
Received on Wednesday, 12 March 2003 17:04:13 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Saturday, 20 February 2010 06:12:54 GMT