[Om] Binary Encoding in org.symcomp.openmath
hornp at mathematik.uni-kassel.de
Thu Feb 12 17:24:59 CET 2009
Well... It's mainly the same thing. I don't know why, but I didn't see
the "new" binary encoding before.
The trouble is, in both cases, to decide whether some subtree occurs
multiple times. This could be archived (of course), but to
automatically find that representation is possibly costly. (I know,
that's not mandatory.)
We need to make some experiments on how much time generating an
'optimally compressed' representation takes.
Nevertheless, adding support for the "new" binary encoding, I will.
Best Regards, Peter
On 12.02.2009, at 17:01, David Carlisle wrote:
> How does this compare with the existing sharing mechanisms in the
> whic was intended to mirror the OMR reference element
-------------- next part --------------
A non-text attachment was scrubbed...
Size: 1782 bytes
Desc: not available
Url : http://openmath.org/pipermail/om/attachments/20090212/07aef261/attachment.bin
More information about the Om