#5765: [with patch, with review, needs work] improve doctest coverage for
schemes/generic/algebraic_scheme.py
--------------------------------+-------------------------------------------
Reporter: AlexGhitza | Owner: AlexGhitza
Type: defect | Status: assigned
Priority: major | Milestone: sage-3.4.2
Component: algebraic geometry | Keywords: doctest algebraic scheme
--------------------------------+-------------------------------------------
Comment(by cremona):
The patch applies but tests in ell_point.py fila revealing this horror:
{{{
sage: Fx.<b>=GF(2^(4*5))
sage: Ex=EllipticCurve(Fx,[0,0,1,1,1])
sage: Ex.defining_polynomial()
x^3 + y^2*z + 0*x*z^2 + 0*y*z^2 + 0*z^3
}}}
-- note the zero coefficients!
Adding a whole lot of print statements I get to this:
{{{
sage: Ex=EllipticCurve(Fx,[0,0,1,1,1])
K = Finite Field in b of size 2^20
PP = Projective Space of dimension 2 over Finite Field in b of size 2^20
PP.coordinate_ring() = Multivariate Polynomial Ring in x, y, z over
Finite Field in b of size 2^20
PP.coordinate_ring().base_ring() = Finite Field in b of size 2^20
PP.coordinate_ring()(1) = 1
ainvs = [0, 0, 1, 1, 1]
a1, a2, a3, a4, a6 = 0 0 1 1 1
a4*x*z**2 = 0*x*z^2
a4's parent = Finite Field in b of size 2^20
f = x^3 + y^2*z + 0*x*z^2 + 0*y*z^2 + 0*z^3
}}}
At which point I am stuck. We have the constant 1 in the multivariate
poly ring in x,y,z over the field GF(2^20), but when I multiply a monomial
by it it displays with coefficient zero.
This has surely been caused by something not in this patch! I tried
constructing an example outside this bit of code but failed (to make it
fail in this way). In fact this happens in unpatched 3.4.2.alpha0:
{{{
sage: Fx.<b>=GF(2^(4*5))
sage: Ex=EllipticCurve(Fx,[0,0,1,1,1])
sage: Ex.defining_polynomial()
x^3 + y^2*z + 0*x*z^2 + 0*y*z^2 + 0*z^3
}}}
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/5765#comment:20>
Sage <http://sagemath.org/>
Sage - Open Source Mathematical Software: Building the Car Instead of
Reinventing the Wheel
--~--~---------~--~----~------------~-------~--~----~
You received this message because you are subscribed to the Google Groups
"sage-trac" group.
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-trac?hl=en
-~----------~----~----~----~------~----~------~--~---
