#10172: Rational Point algorithm bug
----------------------------------+-----------------------------------------
Reporter: nkaplan | Owner: AlexGhitza
Type: defect | Status: new
Priority: major | Milestone: sage-4.6.1
Component: algebraic geometry | Keywords:
Author: | Upstream: None of the above - read trac
for reasoning.
Reviewer: | Merged:
Work_issues: |
----------------------------------+-----------------------------------------
When you have a curve defined over a projective space over a finite field,
it looks like sometimes the rational point list coming from the Brill-
Noether package in Singular is not the full list of rational points.
{{{
sage: S.<x,y,z> = GF(5)[]
sage: g = x*z+z^2
sage: G = Curve(g)
sage: G.rational_points('enum')
[(0 : 1 : 0), (1 : 0 : 0), (1 : 1 : 0), (2 : 1 : 0), (3 : 1 : 0), (4 : 0 :
1), (4 : 1 : 0), (4 : 1 : 1), (4 : 2 : 1), (4 : 3 : 1), (4 : 4 : 1)]
sage: G.rational_points('bn')
[(0 : 1 : 0), (4 : 0 : 1), (4 : 1 : 1), (4 : 2 : 1), (4 : 3 : 1), (4 : 4 :
1)]
}}}
It's not clear yet whether this is a Sage or a Singular problem.
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/10172>
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.
