- From: Stan Devitt <jsdevitt@radicalflow.com>
- Date: Fri, 9 Jun 2000 09:45:48 -0400
- To: "Andreas Strotmann" <strotman@cs.fsu.edu>, <www-math@w3.org>
Andreas,
This is just a quick note to acknowledge receipt your recent messages on
interval, and on type attributes. We are currently working through responses
to the issues raised during last call, and I have included reminders of these
earlier concerns. In particular, the issue of how to deal with \int_D f
has will be addressed (clarified).
Stan.
----- Original Message -----
From: "Andreas Strotmann" <strotman@cs.fsu.edu>
To: <www-math@w3.org>
Sent: Wednesday, June 07, 2000 10:54 AM
Subject: interval (a recap)
> Hi,
>
> here is another recap of a concern I've voiced over the last two years
> or so, rephrased to match the current draft.
>
> - Dual role of <interval> as container and qualifier is problematic
>
> In an earlier message I pointed out that the dual role of the interval
> element as a constructor for an interval on the one hand and as a
> qualifier in an integral on the other is problematic. I gave an example
> where this dual role can lead to notational ambiguities and unintuitive
> interpretations, at least, and problems marking up legitimate mathematical
> constructions.
>
> Is it really necessary to have interval as a qualifier? I'm not sure if
> the integral, product, and sum operators (and their like) might not just
> come in one- and two-argument form, similar to OpenMath's representation,
> where the optional second argument would provide a set over which the
> operator ranges. In the case of an interval, that second argument might
> then simply be constructed using interval not as a qualifier, but as a
> constructor/container element.
>
> This suggestion would also solve another problem that recently resurfaced
> in this discussion, namely
>
> - allow something like \int_{D} f to be marked up in MathML
>
> This is not possible in the current draft, though compatibility to
> OpenMath should allow it (and it is apparently intended that this be
> allowed). [Note that f may be a lambda expression or just a csymbol.]
>
> -- Andreas
>
> ____________________________________________________________
> "The act of defending any of the cardinal virtues has today
> all the exhilaration of a vice." -
> G.K.Chesterton: A Defense of Humilities, The Defendant, 1901
> www.chesterton.org/acs/quotes.htm
>
>
Received on Friday, 9 June 2000 09:42:26 UTC