[om] query on binary encoding of OpenMath

[Andreas Strotmann]

Actually, I think that we fixed that problem somewhat by providing a "streaming"
version of the binary representation of integers of arbitrary size in the new
draft, which should be considerably more compact than the character-based
representation you refer to since it is essentially a base-2^n representation
for some reasonable n.

 -- Andreas


Quoting Michael Kohlhase <m.kohlhase at iu-bremen.de>:

> Bill,
> 
> thanks for the insistence, I have worked most with the binary encoding this
> 
> time, so the question is problably for me to answer.
> 
> However, I just do not know. I can only assume that this makes
> enc0ding/decoding 
> faster. Does anybody who was involved in the first round of the binary
> encoding 
> remember?
> 
> Michael
> -------------------------------------------------------------------------
>     Prof. Dr. Michael Kohlhase,         Office: Research 1, Room 62
>     Professor for Computer Science      Campus Ring 12,
>     School of Engineering & Science     D-28758 Bremen, Germany
>     International University Bremen     tel/fax: +49 421 200 3140/3103
>     http://www.cs.cmu.edu/~kohlhase     e-mail: <m.kohlhase at iu-bremen.de>
> --------------------------------------------------------------------------
> 
> 
> W Naylor wrote:
> > Hi,
> > 
> > I have a query regarding the binary encoding of big integers in OpenMath.
> 
> > I asked this question some months back but didn't get any response. So I'm
> 
> > going to try again, maybe someone can enlighten me ;-)
> > 
> > "I also have a query about the encoding for big integers, in the most
> > general form. Why are they encoded as a length, followed by the base 10
> or
> > base 16 representation as characters? Surely if the idea of this encoding
> > is compactness, it is better to send the size and the value. This would 
> > give
> > a saving of a factor of two for base 16 and more for base 10! You don't
> > lose any information because you still know that the 'source' OpenMath is
> > base 10/16 because of the 'sign/base' byte."
> > 
> > cheers,
> > 
> > Bill
> > 
> > --
> > om at openmath.org  -  general discussion on OpenMath
> > Post public announcements to om-announce at openmath.org
> > Automatic list maintenance software at majordomo at openmath.org
> > Mail om-owner at openmath.org for assistance with any problems
> --
> om at openmath.org  -  general discussion on OpenMath
> Post public announcements to om-announce at openmath.org
> Automatic list maintenance software at majordomo at openmath.org
> Mail om-owner at openmath.org for assistance with any problems
> 


--
om at openmath.org  -  general discussion on OpenMath
Post public announcements to om-announce at openmath.org
Automatic list maintenance software at majordomo at openmath.org
Mail om-owner at openmath.org for assistance with any problems