Ticket #12187: 12187.patch

File 12187.patch, 1.0 KB (added by cturner, 17 months ago)

Added doctest to show it fixes the bug!

  • sage/schemes/plane_curves/projective_curve.py 

    # HG changeset patch
# User Charlie Turner <charlotteturner@gmail.com>
# Date 1324926507 0
# Node ID 13dc4e1aa4290c5b5d87bf2e827563df74baeaa8
# Parent  189639e8682ce996cafa0f18320234a797c0c6ee
Trac 12187 Fixes bug in is_singular

diff --git a/sage/schemes/plane_curves/projective_curve.py b/sage/schemes/plane_curves/projective_curve.py
    a b  
    300300            sage: E = Curve(Y^2*Z-X^3+Z^3) 
    301301            sage: E.is_singular() 
    302302            False 
    303  
     303         
     304        Showing that ticket #12187 is fixed: 
     305            sage: F.<X,Y,Z> = GF(2)[] 
     306            sage: G = Curve(X^2+Y*Z) 
     307            sage: G.is_singular() 
     308            False 
     309         
    304310        """ 
    305         return C.defining_polynomial().parent().ideal(C.defining_polynomial().gradient()).dimension()> 0 
     311        poly = C.defining_polynomial() 
     312        return poly.parent().ideal(poly.gradient()+[poly]).dimension()> 0 
    306313 
    307314 
    308315class ProjectiveCurve_finite_field(ProjectiveCurve_generic):