next | previous | forward | backward | up | top | index | toc | Macaulay2 web site

UnirationalBNSchemes :: isSmoothAndIrreducible

isSmoothAndIrreducible -- checks whether a curve is smooth and irreducible

Synopsis

Usage:
isSmoothAndIrreducible(J)
Inputs:
- J, an ideal, ideal of a curve in P1*P1*P1
Outputs:
- a Boolean value, true means that the curve is smooth and irreducible false means the curve is singular or reducible

Description

i1 : p=101;

i2 : C=time curveViaLiaison(p,{1,1,3},{{0,0,0},{0,0,0}},{{2,2,1},{2,2,2}});
     -- used 1.38453 seconds

i3 : time isSmoothAndIrreducible(C_1)
     -- used 56.3385 seconds

o3 = true

i4 : C=time curveViaLiaison(p,{1,1,5},{{0,0,0},{0,0,0}},{{1,2,1},{4,2,2}});
     -- used 1.19516 seconds

i5 : time isSmoothAndIrreducible(C_1)
     -- used 34.817 seconds

o5 = false

Ways to use `isSmoothAndIrreducible` :

isSmoothAndIrreducible(Ideal)