[Om] OM->OM Phrasebook

Paul Libbrecht paul at activemath.org
Sun Dec 28 20:18:17 CET 2008


well, sure... that would be the function of an OM->OM-phrasebook.
But I think that what you are looking for is a document-format trying  
to encode "food for such a phrasebook", right?
In our case I suppose it could just mean, maybe, to use FMPs of CDs  
with particular "heads" (i.e. "proposed-implementation").

the phrasebook, to my knowledge, is the piece of software that would  
be able to do that, right?


Le 27-déc.-08 à 18:18, Bryce L Nordgren a écrit :

> -----Paul Libbrecht <paul at activemath.org> wrote: -----
>> What about... another symbol?
>> Just one that says something such as "the expression on the left *can
>> be* computed with the expression on the right" ?
> Paul,
> Something that just occurred to me is that the OM spec already  
> elucidates
> the concept for what we are talking about.  I think we're talking  
> about an
> OM->OM Phrasebook here.  When an implementation is required on a host
> system, the Phrasebook is the device specified to match symbol to
> executable code.
> Why can it not be the same here?  Obviously, an OM->OM Phrasebook  
> can only
> be used for the case where the new symbol is completely defined in  
> terms of
> existing/well known symbols.  Such a device should be portable between
> systems.
> What do you think?
> BTW: I've sent a couple of messages to the list with GIF image  
> attachments,
> but I think the listserver ate them.  Is there a more appropriate  
> way to
> share visual information (e.g. UML diagram of the OM object model)?
> Thanks,
> Bryce

-------------- next part --------------
A non-text attachment was scrubbed...
Name: smime.p7s
Type: application/pkcs7-signature
Size: 2203 bytes
Desc: not available
Url : http://openmath.org/pipermail/om/attachments/20081228/825bdb68/attachment.bin 

More information about the Om mailing list