#9684: Make use of _tidy_model() optional
-------------------------------+--------------------------------------------
Reporter: arminstraub | Owner: cremona
Type: enhancement | Status: new
Priority: minor | Milestone:
Component: elliptic curves | Keywords: local_data
Author: Armin Straub | Upstream: N/A
Reviewer: | Merged:
Work_issues: |
-------------------------------+--------------------------------------------
Currently, local_data() after running Tate's algorithm always also calls
_tidy_model(). The attached patch makes this behaviour optional by
introducing a parameter tidy. This functionality is needed for the
implementation of ticket #9320.
{{{
sage: E = EllipticCurve([2, 1, 0, -2, -1])
sage: E.local_data(ZZ.ideal(2), algorithm="generic").minimal_model()
Elliptic Curve defined by y^2 = x^3 - x^2 - 3*x + 2 over Rational Field
sage: E.local_data(ZZ.ideal(2),
algorithm="generic").minimal_model(tidy=False)
Elliptic Curve defined by y^2 + 2*x*y + 2*y = x^3 + x^2 - 4*x - 2 over
Rational Field
}}}
Since Pari also does this "tidying", the patch needs to add the parameter
algorithm to various functions.
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/9684>
Sage <http://www.sagemath.org>
Sage: Creating a Viable Open Source Alternative to Magma, Maple, Mathematica,
and MATLAB
--
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.
