mabshoff <mabsh...@googlemail.com> writes:

> Is this what you want?

Actually, I want:

(15) -> f := x*(y^2-x)^2+y^5; g := y^4+y^3-x^2

          4    3    2
   (15)  y  + y  - x
                                                    Type: Polynomial(Integer)
(16) -> factor resultant(f,g,x)

          9        2
   (16)  y (2y + 1)
                                          Type: Factored(Polynomial(Integer))
(17) -> factor resultant(f::POLY PF 3,g::POLY PF 3,x)

                2 9
   (17)  (y + 2) y
                                    Type: Factored(Polynomial(PrimeField(3)))

(well, here it's 3 instead of 5, doesn't matter)

Well, I'll tell them to do the computation in ZZ, and reduce afterwards.  But
this somewhat misses the point, paedagogically.

> ----------------------------------------------------------------------
> | Sage Version 3.2.3, Release Date: 2009-01-05                       |
> | Type notebook() for the GUI, and license() for information.        |
> ----------------------------------------------------------------------
> sage: P.<x,y>=IntegerModRing(5)[]
> sage: f=x*(y^2-x)^2+y^5;
> sage: g=y^4+y^3-x^2
> sage: f
> x*y^4 + y^5 + 3*x^2*y^2 + x^3
> sage: g
> y^4 + y^3 - x^2
> sage: f.res
> f.reset_name  f.resultant
> sage: f.resultant(g)

isn't that the same?

> It seems broken also in the current release :(

Yes. (upgrading would be next to impossible anyway) still, thanks

Martin


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

Reply via email to