Re: [Axiom-developer] Openmath, Singular

[M. Edward (Ed) Borasky]

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:

> 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
>
> _______________________________________________
> Axiom-developer mailing list
> address@hidden
> http://lists.nongnu.org/mailman/listinfo/axiom-developer

--
M. Edward (Ed) Borasky

http://www.borasky-research.net/
http://borasky-research.blogspot.com/

http://pdxneurosemantics.com
http://pdx-sales-coach.com
http://algocompsynth.com