I was looking at a hypersurface in projective 3 space, so I did sage: PP.<x,y,z,w> = ProjectiveSpace(3,QQ)
and then defined a homogeneous polynomial f in x,y,z,w. I wanted to find the singularities, so I did sage: I = [f] + [f.derivative(zz) for zz in PP.gens()] sage: V = PP.subscheme(I) and then asked for the irreducible components of V. However, one of them was listed as Closed subscheme of Projective Space of dimension 3 over Rational Field defined by: x, y, z, w This seems wrong -- after all we're working in projective space. Victor --~--~---------~--~----~------------~-------~--~----~ To post to this group, send email to sage-support@googlegroups.com To unsubscribe from this group, send email to sage-support-unsubscr...@googlegroups.com For more options, visit this group at http://groups.google.com/group/sage-support URLs: http://www.sagemath.org -~----------~----~----~----~------~----~------~--~---
