[Om] binary prefixes

Arjeh Cohen amc at win.tue.nl
Mon Aug 7 12:27:21 CEST 2006


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



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


More information about the Om mailing list