maxRankCondition -- checks whether a curve satisfies the maximal rank condition in special degree

Synopsis

• Usage:

  maxRankCondition(J,g,d,F)

• Inputs:

  • J, an ideal, ideal of a curve
  • g, an integer, genus of the curve
  • d, a list, degree of the curve
  • F, a list, a degree list
• Outputs:

  • a Boolean value, true means that the a curve of genus g and degree d satisfies the maximal rank condition in degree F. false means curve dose not satisfies the maximal rank condition in F.

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.36421 seconds

i3 : maxRankCondition(C_1,9,{5,5,5},{2,2,1})

o3 = true

i4 : maxRankCondition(C_1,9,{5,5,5},{2,2,2})

o4 = true