[Om] binary prefixes

Arjeh Cohen amc at win.tue.nl
Sun Aug 6 17:37:17 CEST 2006


Dear OM-cds crew,

This CD looks good to me. Has David Carlisle or Paul tested it?

My only concern is the reference to units_ops1 which does not seem to be quite mature.
For instance, it has only one symbol called prefix whereas the intro promises more,
and the informal description says that the symbols represents a fact in which the factor
1,000 is involved, which seems to be related to the symbol "kilo" also occurring  in the
expression added.

So: Bill, do you have a better units_ops1 available, or will you see to it?


Thanks and best regards, Arjeh

-----------------

On Fri, Aug 04, 2006 at 11:52:24AM +0100, W Naylor wrote:
> 
> Hi,
> 
> I noticed that the binary prefixes CD which was submitted as part of the 
> OpenMath units and dimensions development has not been included in the 
> 'units and dimensions' CDGroup. It is available at:
> 
> http://www.openmath.org/cd/contrib/cd/units_binaryprefix1.ocd
> 
> all the best,
> 
> Bill
> 
> -*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*
> -
> -                  Dr. W.A. Naylor
> -
> -                  http://www.cs.bath.ac.uk/~wn
> -                  http://orcca.on.ca/~bill
> -
> -                  work tel: +44 1225 386183
> -
> -*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*
> 
> _______________________________________________
> Om mailing list
> Om at openmath.org
> http://openmath.org/mailman/listinfo/om


More information about the Om mailing list