The following example

sage: p = 17
sage: F = GF(p)
sage: P2.<X,Y,Z> = ProjectiveSpace(F,2)
sage: C = Curve(X^2+Y^2-Z^2)
sage: len(C.rational_points())
18
sage: C.rational_points(algorithm='bn')
---------------------------------------------------------------------------
RuntimeError                              Traceback (most recent call last)
...
RuntimeError: Singular error:
Computing affine singular points ...
Computing all points at infinity ...
Computing affine singular places ...
Computing singular places at infinity ...
Computing non-singular places at infinity ...
The given polynomial is a unit in the power series ring!
// ** right side is not a datum, assignment ignored
   ? `_` is undefined
   ? error occurred in brnoeth.lib::place line 1155: ` return(HND); `
   ? leaving brnoeth.lib::place
   skipping text from `;` error at token `)`
   ? leaving brnoeth.lib::Adj_div

 ** Unable to use the Brill-Noether Singular package to compute all
points (see above).

suggests to me that there is a bug in Singular's code to enumerate the
rational points on a (very simple) curve.  If it's not a bug then we
need to find out what the restrictions are on the singular function
being called, and catch this.

Has anyone seen this before?

John

-- 
To post to this group, send an email to sage-devel@googlegroups.com
To unsubscribe from this group, send an email to 
sage-devel+unsubscr...@googlegroups.com
For more options, visit this group at http://groups.google.com/group/sage-devel
URL: http://www.sagemath.org

Reply via email to