Bryce,
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?
paul Le 27-déc.-08 à 18:18, Bryce L Nordgren a écrit :
-----Paul Libbrecht <[email protected]> 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 anOM->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 ofexisting/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 toshare visual information (e.g. UML diagram of the OM object model)? Thanks, Bryce
smime.p7s
Description: S/MIME cryptographic signature
_______________________________________________ Om mailing list [email protected] http://openmath.org/mailman/listinfo/om
