Ticket #12187: trac_12187.2.patch

File trac_12187.2.patch, 1.0 KB (added by davidloeffler, 17 months ago)

Apply only this patch -- whitespace changes by reviewer

  • sage/schemes/plane_curves/projective_curve.py 

    # HG changeset patch
# User Charlie Turner <charlotteturner@gmail.com>
# Date 1324926507 0
# Node ID 4e04942b9393288d8d7ce79bd3081cd28b7c255d
# Parent  1b839118be6362d56aed8c61bfcfe0e5ee168062
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         
     304        Showing that ticket #12187 is fixed:: 
    303305 
     306            sage: F.<X,Y,Z> = GF(2)[] 
     307            sage: G = Curve(X^2+Y*Z) 
     308            sage: G.is_singular() 
     309            False 
    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):