Thanks a lot for the feedback!
But I could not download your patch. I get a file with just one
newline.
Looking at it again I see that it easy to implement in the
same style the other coefficient rings singular supports
(transcendental extensions over QQ and Z/pZ).
Michel
On May 20, 2:20 am, "William Stein" <[EMAIL PROTECTED]> wrote:
> On 5/19/07, Michel <[EMAIL PROTECTED]> wrote:
>
> > I just implemented polynomial rings over number fields in the
> > singular interface. This is basically a copy of the finite field
> > implementation.
>
> Many thanks for implementing this.
>
> > The only tiny change outside
> > polynomial_singular_interface.py I made was to provide
> > a __call__("string") method for number fields. Finite fields
> > have a similar method.
>
> I improved this a little; in particular now
> things like K('1') work and give an element of K (instead of
> in ZZ).
>
> > My main motivation was to have gcd, factor etc... for polynomials
> > over
> > number fields (which I need):
>
> > sage: K.<s>=NumberField(p^3-2,'s')
> > sage: KXY.<x,y>=NumberField(p^3-2,'s')[]
> > sage: factor(x^3-2*y^3)
> > (x + (-s)*y) * (x^2 + s*x*y + s^2*y^2)
>
> > Here is the patch.
>
> >http://emis.uhasselt.be/sage_patches/numberfields_in_singular.patch
>
> > Of course this depends on William's latest gcd fixing patch.
>
> Which is in sage-2.5.1.
>
> > I know this is all going to be in libSingular sooner or later,
> > but until then I think this is a useful addition to sage and
> > I hope it can be incorporated.
>
> It's incredibly useful to do this now. It could be months or
> longer until things like this is in libsingular, and by getting
> this functionality used and tested now, it will be easier to
> implement the relevant things in libsingular later. Also, even
> if multivariate polynomials over number fields are in libsingular,
> we still may use the singular expect interface to access
> higher-level interpreter based functionality on those polynomials,
> and for that we need exactly what's in your patch. So thanks!
>
> > At least I would very much
> > appreciate feedback.
>
> Please see the attached patch, which is feedback.
>
>
>
> > Michel
>
>
>
> 4521.patch
> 11KDownload
--~--~---------~--~----~------------~-------~--~----~
To post to this group, send email to [email protected]
To unsubscribe from this group, send email to [EMAIL PROTECTED]
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/
-~----------~----~----~----~------~----~------~--~---
