> That is good news. CoCoALib will hopefully get generic field
> extensions over the summer. We already do Weyl Algebras and there is
> code for non-commutative monoids, even though that code isn't in the
> trunk yet and it is uncertain when it will be finished. Another
> interesting thing we are actively working on are differential
> algebras.
Interesting, I might start looking into noncommutative algebra soon, so it is
interesting to know that there is a variety of code out there.
> > Btw: Am I right to assume that
> > CoCoALib only supports basic polynomial arithmetic over Z_n?
>
> Could you define "basic" in this context?
Does it compute a Gröbner basis (AFAIK: no)? Does it allow to do a reduction
modulo an ideal basis (e.g. if I know I have a Gröbner basis)? LCM, GCD? As
opposed to adding and multiplying.
Sorry for replying so late, I am going through my mail just now.
Martin
--
name: Martin Albrecht
_pgp: http://pgp.mit.edu:11371/pks/lookup?op=get&search=0x8EF0DC99
_www: http://www.informatik.uni-bremen.de/~malb
_jab: martinralbrecht@xxxxxxxxxxxxx
--~--~---------~--~----~------------~-------~--~----~
To post to this group, send email to sage-devel@xxxxxxxxxxxxxxxx
To unsubscribe from this group, send email to
sage-devel-unsubscribe@xxxxxxxxxxxxxxxx
For more options, visit this group at http://groups.google.com/group/sage-devel
URLs: http://sage.scipy.org/sage/ and http://modular.math.washington.edu/sage/
-~----------~----~----~----~------~----~------~--~---
|
