---------- Forwarded message ----------
From: Simon King <simon.k...@nuigalway.ie>
Date: Tue, May 18, 2010 at 7:22 AM
Subject: [sage-devel] Re: [sage-combinat-devel] factorization in
polynomial rings
To: sage-devel <sage-de...@googlegroups.com>


Hi Anne!

On May 18, 7:47 am, Anne Schilling <nicolas.thi...@u-psud.fr> wrote:
> sage: LD.<d>=LaurentPolynomialRing(QQ)
> sage: P=PolynomialRing(LD,'z',2)

Sage tries to use Singular to factor your polynomial. Hence, it needs
to convert both your polynomial and its ring to Singular.

The problem is that your coefficients are Laurent Polynomials, but
Singular can only do the fraction field of the Laurent polynomial
ring.

So, you can do:

 sage: LD.<d>=LaurentPolynomialRing(QQ)
 sage: P=PolynomialRing(Frac(LD),'z',2)
 sage: z = P.gens()
 sage: f = z[0]**2-d**2*z[1]**2
 sage: f.factor()
 (-z0 + (-d)*z1) * (-z0 + d*z1)

Best regards,
Simon

--
To post to this group, send an email to sage-de...@googlegroups.com
To unsubscribe from this group, send an email to
sage-devel+unsubscr...@googlegroups.com
For more options, visit this group at http://groups.google.com/group/sage-devel
URL: http://www.sagemath.org

-- 
You received this message because you are subscribed to the Google Groups 
"sage-combinat-devel" group.
To post to this group, send email to sage-combinat-de...@googlegroups.com.
To unsubscribe from this group, send email to 
sage-combinat-devel+unsubscr...@googlegroups.com.
For more options, visit this group at 
http://groups.google.com/group/sage-combinat-devel?hl=en.

Reply via email to