Tim,

I searched through my source archives but I did not find the
file 'src/cslbase/openmath.c' referred to by Mike Dewar in the
email below. Apparently we need to write something analogous
for GCL to interface with the Open Math library in OMCv1.4a.tgz

OMCv1.4a.tgz is in the current zips directory. It compiles
but does not pass the make tests (maybe not significant as
implied by warning in the README).

Do you know where I can file src/cslbase/openmath.c?

Regards,
Bill Page.

--------

From:   Mike Dewar
Subject:        Re: [Axiom-developer] Re: ... 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?




_______________________________________________
Axiom-developer mailing list
Axiom-developer@nongnu.org
http://lists.nongnu.org/mailman/listinfo/axiom-developer

Reply via email to