[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [Axiom-developer] Re: subscribing to axiom-developer, user interface
From: |
Mike Dewar |
Subject: |
Re: [Axiom-developer] Re: subscribing to axiom-developer, user interface issues. |
Date: |
Tue, 1 Jul 2003 10:06:07 +0100 |
Oops, I think this is because Axiom isn't being built with the OpenMath
libraries from INRIA. I took this out when passing the sources to Tim
because of licensing issues - there is a general free license but we
have access to the libraries under a different arrangement. You can
download the libraries at http://www.openmath.org/software/OMCv1.4a.tgz
if you're interested, but you'll need to look at the appropriate part of
CCL (src/cslbase/openmath.c which Tim has) to work out what the Lisp API
should look like.
Mike.
On Thu, Jun 26, 2003 at 11:28:39AM +1000, Jason White wrote:
> Mike Dewar writes:
> > On Wed, Jun 25, 2003 at 07:53:47PM +1000, Jason White wrote:
> > > While on the subject of output formats, as a longer-term goal, MathML
> > > would probably be a useful addition.
> > I agree. Actually we started including OpenMath (which in a way is a
> > superset of MathML) and were planning to include MathML once it
> > stabilised.
> >
> > G82328 (2) -> OMwrite sin(x)
>
> Interesting. Upon issuing this command under Tim's test release I get:
>
> (1) -> OMwrite sin(x)
>
> >> System error:
> OM-STRINGTOSTRINGPTR is invalid as a function.
>
> protected-symbol-warn called with (NIL)
>
> Another item for the bug list?
>
> ________________________________________________________________________
> This e-mail has been scanned for all viruses by Star Internet. The
> service is powered by MessageLabs. For more information on a proactive
> anti-virus service working around the clock, around the globe, visit:
> http://www.star.net.uk
> ________________________________________________________________________
________________________________________________________________________
This e-mail has been scanned for all viruses by Star Internet. The
service is powered by MessageLabs. For more information on a proactive
anti-virus service working around the clock, around the globe, visit:
http://www.star.net.uk
________________________________________________________________________
[Prev in Thread] |
Current Thread |
[Next in Thread] |
- Re: [Axiom-developer] Re: subscribing to axiom-developer, user interface issues.,
Mike Dewar <=