#727: find rational points on plane conic curves [with patch, needs work]
---------------------------------------------------+------------------------
Reporter: was | Owner: mstreng
Type: enhancement | Status: needs_work
Priority: major | Milestone: sage-4.5.1
Component: geometry | Keywords: rational
point points conic quadratic form
Author: Nick Alexander, Marco Streng | Upstream: N/A
Reviewer: | Merged:
Work_issues: documentation formatting, reviewing |
---------------------------------------------------+------------------------
Changes (by newvalueoldvalue):
* cc: pbruin (added)
* work_issues: => documentation formatting, reviewing
* author: => Nick Alexander, Marco Streng
Old description:
> {{{
> John Cremona <[email protected]> hide details 1:37 am
> (2 minutes ago)
> reply-to [email protected]
> to [email protected]
> date Sep 21, 2007 1:37 AM
> subject [sage-support] Re: rational solutions to a
> bivariate polynomial
> mailed-by googlegroups.com
>
> It *is* a ternary quadratic form once you homogenize with a 3rd variable
> z.
>
> Finding rational points on plane conics (which is what this is) has
> advanced substantially in the last few years. My paper with Rusin
> (Mathematics of Computation, 72 (2003), no. 243, pages 1417-1441.)
> works well for diaginal ones and is behind Magma's first
> implementations for RationalPoint(Conic()); a different method by
> Denis Simon is better for non-diagonal ones and is (I believe) what
> Magma uses.
>
> My method is implemented in the C++ code which is already in Sage in
> the mwrank package, so all tat would be needed would be to write the
> appropriate wrappers!
>
> }}}
New description:
Implement a Conic class that is able to find rational points on plane
conic curves.
{{{
John Cremona <[email protected]> hide details 1:37 am
(2 minutes ago)
reply-to [email protected]
to [email protected]
date Sep 21, 2007 1:37 AM
subject [sage-support] Re: rational solutions to a
bivariate polynomial
mailed-by googlegroups.com
It *is* a ternary quadratic form once you homogenize with a 3rd variable
z.
Finding rational points on plane conics (which is what this is) has
advanced substantially in the last few years. My paper with Rusin
(Mathematics of Computation, 72 (2003), no. 243, pages 1417-1441.)
works well for diaginal ones and is behind Magma's first
implementations for RationalPoint(Conic()); a different method by
Denis Simon is better for non-diagonal ones and is (I believe) what
Magma uses.
My method is implemented in the C++ code which is already in Sage in
the mwrank package, so all tat would be needed would be to write the
appropriate wrappers!
}}}
--
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/727#comment:10>
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.
