[Om] binary prefixes

[Olga Caprotti]

On Mon, 2006-08-07 at 12:27 +0200, Arjeh Cohen wrote:
> Dear Bill,
> 
> On Mon, Aug 07, 2006 at 10:56:55AM +0100, W Naylor wrote:
> > 
> > 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,
> > 
> 
> Quite true. I am trying to set up a group of people who will be concerned
> and do their best to make things more official. It starts with Paul, I suppose,
> who is setting up the mother of all OpenMath repositories and some method of
> editing  and up/downloading files from a distance (svn?).
> 
> David Carlisle and Mike Dewar, with their great experience and
> knowledge should be on the CD steering committee as well. Will you
> join? It is still quite informal, but we will try and make it more
> informal by logging things on the web site and mentioning the committee there.
> 
> Further members might be Andreas Strotmann and Olga Caprotti---are they still
> reading these messages??
> 

Yes Arjeh,
also with JEM starting we will get more impetus to cleaning things up.

--olga


> 
> 
> > 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?
> 
> 
> ---> Paul???
> 
> 
> > 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
> > -
> > -*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*
> _______________________________________________
> Om mailing list
> Om at openmath.org
> http://openmath.org/mailman/listinfo/om