Hi, I'd just add a function groebner_basis(F) to sage.libs.giac (or wherever the Giac Cython interface lives) which takes a Sage sequence, computes a Gröbner basis and returns a Sage sequence.
Integrating that into multi_polynomial_ideal.py is then very easy. I've created http://trac.sagemath.org/ticket/18824 Let's move this there. Cheers, Martin On Monday 29 Jun 2015 14:06:19 Han Frederic wrote: > I think I can start something it looks to be in > src/sage/rings/polynomial/multi_polynomial_ideal.py > <http://git.sagemath.org/sage.git/tree/src/sage/rings/polynomial/multi_polyn > omial_ideal.py?id=c0e721783317f205106c9c3c552e366ce4e6c50e> It may not be > necessary to modify the cython interface for this. > > best > Frederic -- .www: https://martinralbrecht.wordpress.com .pgp: 40BC 7F0D 724B 4AB1 CC98 4014 A040 043C 6532 AFB4 .xmpp: martinralbre...@jabber.ccc.de .twitter: https://twitter.com/martinralbrecht .keybase: https://keybase.io/martinralbrecht -- You received this message because you are subscribed to the Google Groups "sage-devel" group. To unsubscribe from this group and stop receiving emails from it, send an email to sage-devel+unsubscr...@googlegroups.com. To post to this group, send email to sage-devel@googlegroups.com. Visit this group at http://groups.google.com/group/sage-devel. For more options, visit https://groups.google.com/d/optout.