>XIV. Commutative Algebra
>
>   * Modules over multivariate rings.  This is a big Gap in
>     functionality in Sage; presumably Singular can help fill it in?
>
>PROJECT: If Singular can do this well, wrap it.  If not, consider
>Macaulay 2 which certainly can.

Actually, you have already wrapped it, ... Almost.
Vectors of multivariate polynomial rings are internally
just the same as polynomials, except for each term the component is
set to
some value unequal to zero.


>   * Differential rings:  I think we have nothing in Sage.
>
>PROJECT: Add support for differential rings.  Again, Singular or Macaulay2?

I started with Burcin on Sage days 10, wrapping that stuff.
Actually, the data structure is again the same, only the rings are
constructed differently.

So, what is missing is mainly a concept, how to use generic wrapping
of Singular's poly type
to get polynomials, vectors, noncommutative polynomials...

There is a team of Frank Seelisch, Oleksandr Motsak and Alexander
Dreyer working on a similar task in C++,
to generate a clean object oriented wrapper of the Singular
functionality. So they might be the experts for these design issues.

Michael


--~--~---------~--~----~------------~-------~--~----~
To post to this group, send email to sage-devel@googlegroups.com
To unsubscribe from this group, send email to 
sage-devel-unsubscr...@googlegroups.com
For more options, visit this group at http://groups.google.com/group/sage-devel
URLs: http://www.sagemath.org
-~----------~----~----~----~------~----~------~--~---

Reply via email to