Peter seems to have implemented part of the #n# syntax in the ANSI Common Lisp printer/reader for common subexpressions. (also circular lists). This encoding is potentially exponentially faster than the alternative.
Other kinds of compression may be faster for writing and reading. There is a format "FASL" in many Lisps that could be used for OM, and might be more compact and faster for reading. (Perhaps not faster for writing). One of the obvious attributes of the notation developed by OM, and one that it shares with XML, is "it compresses well". ;) RJF _______________________________________________ Om mailing list [email protected] http://openmath.org/mailman/listinfo/om
