On May 5, 12:01 pm, Martin Albrecht <m...@xxxxxxxxxxxxxxxxxxxxxxxx>
wrote:
> > 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.
Ok, I did discuss that with Max Coboara a couple month back and GBasis
computation over rings is a medium size project for him. He stated
that he needed a diophantic solver for CoCoALib. Linbox provides one
and I have been working on fixing bugs in Linbox, so we are very close
to integrate Linbox with CoCoALib shortly. I will remind Max soon that
those pesky geometry people really would like to compute GBases over
rings ;)
Regarding Linbox: The svn snapshot in 2.5.0alpha2 is about 6 weeks old
and juding from the svn log it seems to be a good idea to update.
Another taks I would suggest is also adding "make check" to the build
script because that would obviously greatly expand the testing base
for the Linbox code. This would increase the build time of that spkg
very much, but at least we can catch build issues and/or bugs much
earlier. There is also now two google groups for Linbox: linbox-use
and linbox-devel, so if you are interested please check them out.
Another package which should also do a "make check" is gmp because it
is famous for being miscompiled, especially on MacOSX.
I can package those two spkgs with the suggested changes if William
would like me to. I am not sure if there are dedicated maintainers to
individual spkgs in SAGE at the moment.
>
> Sorry for replying so late, I am going through my mail just now.
> Martin
> --
No problem.
Cheers,
Michael
--~--~---------~--~----~------------~-------~--~----~
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/
-~----------~----~----~----~------~----~------~--~---
|
