[Om] binary prefixes

W Naylor wn at cs.bath.ac.uk
Mon Aug 7 12:31:04 CEST 2006


On Mon, 7 Aug 2006, Arjeh Cohen wrote:

> 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

I'd be happy to be a member,

Bill

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

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