On Thu, May 07, 2026 at 01:32:02PM +0200, 'Ralf Hemmecke' via FriCAS - computer
algebra system wrote:
> Oh, there is some code for OpenMath in FriCAS, but that certainly did never
> work in fricas.
>
> OMwrite(ex : Expression R, wholeObj : Boolean) : String ==
> s : String := ""
> sp : None := OM_-STRINGTOSTRINGPTR(s)$Lisp
> dev : OpenMathDevice := OMopenString(sp pretend String, OMencodingXML())
> OMwrite(dev, ex, wholeObj)
> OMclose(dev)
> s := OM_-STRINGPTRTOSTRING(sp)$Lisp pretend String
> s
>
> The function OM-STRINGPTRTOSTRING is non-existing in the initial import of
> the fricas git repo. Seemingly all the underlying lisp functions are
> missing. Is it actually hard to put our OpenMath machinery back to work?
>
> (No, I don't need it. Just a question about currently dead code.)
I looked a bit at this code and AFAICS it is just some amount of work.
IMO if we want to restore Open Math support, than this code needs
restructuing because it essentially assumes dynamic typing, while
static typing would be better fit to Spad.
Main question is "do we have anybody to exchange Open Math data with"?
I saw reports that GAP and Singular have Open Math support, that is
potentially quite interesting. But I did not found documentation
detailed enough to allow connection.
More generally, IMO "basic Open Math" is underspecified: it defines
encoding of messages (basically moral equivalent of Lisp S-expressions),
but meaning is delegated to so called "content dictionaries". And
the content dictionaries that I found contain only very basic math.
It seems that anyting non trival is a nonstandard extention.
--
Waldek Hebisch
--
You received this message because you are subscribed to the Google Groups
"FriCAS - computer algebra system" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to [email protected].
To view this discussion visit
https://groups.google.com/d/msgid/fricas-devel/af0jPrzUn-ZjEcj8%40fricas.org.
