[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [Axiom-developer] Openmath, Singular

From: M. Edward (Ed) Borasky
Subject: Re: [Axiom-developer] Openmath, Singular
Date: Fri, 30 Sep 2005 08:09:04 -0700
User-agent: Mozilla Thunderbird 1.0.6 (X11/20050925)

Speaking of Singular, it has recently been added to the CygWin distribution! I update my CygWin installations every few days, and it is now working.

For the Axiom folks -- will Axiom build under CygWin?

Michael Brickenstein wrote:


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.

Michael Brickenstein

Axiom-developer mailing list

M. Edward (Ed) Borasky

reply via email to

[Prev in Thread] Current Thread [Next in Thread]