[sage-devel] Re: PolynomialRing over FractionField and Singular

2008-11-23 Thread Martin Albrecht
On Sunday 23 November 2008, Guillaume Moroz wrote: Youps, there was a little problem in my patch for the univariate fraction field case. This patch replaces the previous one. Hi there, the patch looks good! We've got two options now. Either one of the Sage developers takes care of the patch

[sage-devel] Re: PolynomialRing over FractionField and Singular

2008-11-23 Thread Simon King
Dear Guillaume, On Nov 23, 2:33 am, Guillaume Moroz [EMAIL PROTECTED] wrote: Cool: I modified this python script, ran some tests and now the singular interface is well used for fraction field coefficients :D. Good! If I remember correctly, long-time ago I did something into that direction,

[sage-devel] Re: PolynomialRing over FractionField and Singular

2008-11-22 Thread Martin Albrecht
ring R=(0,a,b),(x,y),dp; (following the syntax 2. given athttp://www.singular.uni-kl.de/Manual/latest/sing_30.htm#SEC40) In particular, Gröbner basis can be computed by Singular in these polynomial rings more efficiently than the toy algorithm currently used. This sounds very

[sage-devel] Re: PolynomialRing over FractionField and Singular

2008-11-22 Thread [EMAIL PROTECTED]
Hmm I asked the same question a while ago. Seems it wasn't noticed then:) http://groups.google.com/group/sage-support/browse_thread/thread/3ab2e924e5d887f7/ddeae645aced582f?lnk=gstq=michel#ddeae645aced582f Regards, Michel On Nov 22, 1:01 pm, Martin Albrecht [EMAIL PROTECTED] wrote: ring

[sage-devel] Re: PolynomialRing over FractionField and Singular

2008-11-22 Thread Martin Albrecht
On Saturday 22 November 2008, [EMAIL PROTECTED] wrote: Hmm I asked the same question a while ago. Seems it wasn't noticed then:) http://groups.google.com/group/sage-support/browse_thread/thread/3ab2e924e5 d887f7/ddeae645aced582f?lnk=gstq=michel#ddeae645aced582f Hi, if you want to give it a

[sage-devel] Re: PolynomialRing over FractionField and Singular

2008-11-22 Thread Guillaume Moroz
Hi, On Nov 22, 8:10 pm, Martin Albrecht [EMAIL PROTECTED] wrote: if you want to give it a try have a look at sage/rings/polynomial/polynomial_singular_interface.py Cool: I modified this python script, ran some tests and now the singular interface is well used for fraction field

[sage-devel] Re: PolynomialRing over FractionField and Singular

2008-11-22 Thread Guillaume Moroz
Youps, there was a little problem in my patch for the univariate fraction field case. This patch replaces the previous one. Guillaume 229c229,236 --- elif sage.rings.fraction_field.is_FractionField(self.base_ring()) and (self.base_ring().base_ring() is ZZ or

[sage-devel] Re: PolynomialRing over FractionField and Singular

2008-11-21 Thread mabshoff
On Nov 21, 6:10 pm, Guillaume Moroz [EMAIL PROTECTED] wrote: Hi, Hi, I'm new to sage, and so far I like it! :) Just my two cents here: it seems that the sage interface to singular is not aware that Singular handles multivariate polynomial rings with coefficients in a fraction field.