[Om] binary prefixes

[W Naylor]

Indeed Arjeh,

this error in units_ops1 I reported (for the second time!) with a 
suggested mend, see:

http://openmath.org/pipermail/om/2005-July/000913.html
http://openmath.org/pipermail/om/2003-September/000669.html (and the
following few mails, Jacques Carette, Paul Libbrecht, James Davenport)   


Maybe there should be some official way of reporting errors, so that 
they
can actually be acted on,

cheers,

Bill

P.S. I'm a little worried now that there are is at least one (pull 
based)
mirror of the OpenMath sight, how will consistency be maintained between
them?

On Sun, 
6 Aug 2006, Arjeh Cohen wrote:

> 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
> 
> 
> 

-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*
-
-                  Dr. W.A. Naylor
-
-                  http://www.cs.bath.ac.uk/~wn
-                  http://orcca.on.ca/~bill
-
-                  work tel: +44 1225 386183
-
-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*