On 9/12/07, Martin Albrecht <[EMAIL PROTECTED]> wrote: > > On Wednesday 12 September 2007, Joel B. Mohler wrote: > > Hi, > > > > Consider the following: > > > > sage: x,y=ZZ['x,y'].gens() > > sage: f=(x+1)*(y+1)*(1-x*y) > > sage: f.factor() > > ... > > <type 'exceptions.TypeError'>: no conversion to a Singular ring defined > > > > It certainly seems to me that this should coerce just fine to a Singular > > ring. Is this a bug? > > SINGULAR doesn't support ZZ as a base ring yet. There is some experimental > code but nothing officially released yet.
For factoring polynomials over ZZ one could just factor over QQ (using Singular), then deal with the content. I would be happy to apply such a patch to SAGE if somebody were to create a trac ticket, implement this, and post a patch. -- William --~--~---------~--~----~------------~-------~--~----~ To post to this group, send email to sage-devel@googlegroups.com 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/ -~----------~----~----~----~------~----~------~--~---
