W3C home > Mailing lists > Public > www-math@w3.org > April 2000

Re: comments re draft version 2.0

From: Stan Devitt <jsdevitt@radicalflow.com>
Date: Tue, 11 Apr 2000 23:21:00 -0400
Message-ID: <010901bfa42e$20a37f60$6561a8c0@devitt.local>
To: "William F. Hammond" <hammond@csc.albany.edu>, <hutch@psfc.mit.edu>
Cc: <www-math@w3.org>

----- Original Message -----
From: William F. Hammond <hammond@csc.albany.edu>
To: <hutch@psfc.mit.edu>
Cc: <www-math@w3.org>
Sent: Tuesday, April 11, 2000 8:16 PM
Subject: Re: comments re draft version 2.0


> Ian Hutchinson writes:
>
>
> \declaremathsymbol{D}{operator}
> \declaremathsymbol{y}{function}
>

Note that in the current spec, you can write:

<math>
<declare type="operator"><ci>D</ci></declare>
<declare type="function"><ci>D</ci></declare>
<declare definitionURL="extendedPowerDefinition"><power/></declare>
<apply>
     <apply><power/><ci>D</ci><ci>D</ci></apply>
     <ci>y<ci>
</apply>
</math>

where the definition identified by "extendedPowerDefinition" would extend
the
standard definition with a specific signature for [operator,operator] ->
operator,
and is a definition based on composition..

That signature is not currently part of the standard definition of power,
since    D^2 ( y )  could equally  well mean   D(y) * D(y)

Alternatively, you could write

<apply>
     <apply><csymbol definitionURL="composition">@</csymbol>
        <ci>D</ci><ci>D</ci>
     </apply>
     <ci>y<ci>
</apply>

The capability seems to be present.

Stan Devitt
Received on Tuesday, 11 April 2000 23:18:46 GMT

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