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.

Reply via email to