[Axiom-developer] Openmath, Singular

[Michael Brickenstein]

Hello!

I am a member from the Singular team.
Singular is a computer algebra system for Algebraic Geometry/ 
Singularity Theory/Commutative Algebra.
It provides functionality with focus in the areas
Gröbner bases (even standard bases), primary decomposition, free  
resolutions, syzygies, polynomial equations.

We are working on providing our functionality to other systems via  
the openmath standard.
We base our work at the moment on the polyd content dictionary.
How is the status for openmath in Axiom?
Are you interested in connecting with Singular?
Can I test your Openmath functionality (maybe some examples, since I  
don't know axiom)?

At the moment I have written a prototype implementation for Singular,  
which has the core functionality of openmath and in especial provides  
the possibility to calculate Groebner Bases.

I hope, that this proposal could be the basis of a future cooperation.

Yours,
Michael Brickenstein