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

MathML Test suite questions

From: Stéphane Lavirotte <stephane@lavirotte.com>
Date: 17 Jan 2003 13:31:47 +0100
To: www-math@w3.org
Message-Id: <1042806708.5786.187.camel@kistren>

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.
>>>

Stéphane
-- 
Stéphane LAVIROTTE                    
Maître de Conférences                 web: http://stephane.lavirotte.com
IUFM de Nice                          tél: +33 (0) 4 93 53 75 67
I3S (CNRS / Univerité de Nice)        tél: +33 (0) 4 92 96 51 72
Received on Friday, 17 January 2003 07:36:58 GMT

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