#5948: Coleman integrals of df*f
--------------------------------+-------------------------------------------
Reporter: jen | Owner: robertwb
Type: defect | Status: new
Priority: major | Milestone: sage-4.0.1
Component: algebraic geometry | Keywords:
--------------------------------+-------------------------------------------
Comment(by kedlaya):
There already seems to be trouble with tiny integrals. Check this out:
{{{
sage: R.<x> = QQ['x']
sage: E= HyperellipticCurve(x^3-4*x+4)
sage: K = Qp(5,10)
sage: EK = E.change_ring(K)
sage: P = EK(2, 2)
sage: Q = EK.teichmuller(P)
sage: import sage.schemes.elliptic_curves.monsky_washnitzer as
monsky_washnitzer
sage: M_frob, forms =
monsky_washnitzer.matrix_of_frobenius_hyperelliptic(EK)
sage: f = forms[0]
sage: u = f.parent().gens()[0]
sage: u
x
sage: u.diff()
2*y*1 dx/2y
sage: EK.coleman_integral(-u.diff(), P, Q)
5 + 5^2 + 5^3 + 2*5^4 + 5^5 + 3*5^6 + 3*5^7 + 4*5^8 + O(5^10) # wrong
sage: u(Q[0], Q[1]) - u(P[0], P[1])
5 + 2*5^2 + 5^3 + 3*5^4 + 4*5^5 + 2*5^6 + 3*5^7 + 3*5^9 + O(5^10) # right
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/5948#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
-~----------~----~----~----~------~----~------~--~---
