#5947: Coleman integrals of exact forms
--------------------------------+-------------------------------------------
Reporter: jen | Owner: was
Type: defect | Status: new
Priority: major | Milestone: sage-4.0.1
Component: algebraic geometry | Keywords:
--------------------------------+-------------------------------------------
Comment(by robertwb):
{{{
sage: sage: R.<x> = QQ['x']
sage: sage: H = HyperellipticCurve(x*(x-1)*(x+9))
sage: from sage.schemes.elliptic_curves.monsky_washnitzer import
SpecialHyperellipticQuotientRing
sage: x, y = SpecialHyperellipticQuotientRing(H).gens()
sage: (x+y).diff()
((-9+2*y)*1 + 16*x + 3*x^2) dx/2y
sage: x.diff()
2*y*1 dx/2y
}}}
So it appears that the sign problem is in the coleman_integral, not diff.
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/5947#comment:2>
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
-~----------~----~----~----~------~----~------~--~---
