Curve() accepts incorrect arguments

[Georgi Guninski]

I think this is a bug:

sage: Kt.<x,y,z,t>=QQ[]
sage: J=[x*y*z-t^2,x+2*y+3*z-t-1]
sage: Ideal(J).dimension()
2
sage: C=Curve(J);C
Affine Curve over Rational Field defined by x*y*z - t^2, x + 2*y + 3*z - t - 1
sage: C.genus()
1
sage:

[Kwankyu Lee]

sage: Ideal(J).dimension()
2

Curve code does not check the dimension of the input ideal, as it is an expensive computation in general.

I think this should be documented in the docstring, though in general, it is user's responsibility to pass appropriate input. 

[Kwankyu Lee]

Curve code does not check the dimension of the input ideal, as it is an expensive computation in general.

But in this case, it was actually fixed recently (in Sage 10.5.rc0):

sage: C=Curve(J);C
...
ValueError: defining equations (=[x*y*z - t^2, x + 2*y + 3*z - t - 1]) define a scheme of dimension 2 != 1