ShowBase -- Option for @TO linearSeries@

Synopsis

• Usage:

  (ls,B) = geometricGenus(C,ShowBase => true)

• Inputs:
  • C, a ring,
• Outputs:
  • ls, a matrix, 1xn matrix whose entres span the linear series plus basepoints
  • B, an ideal, the base locus

Description

i1 : C = ZZ/19[a,b,c]/(ideal"a5+b5-c5")

o1 = C

o1 : QuotientRing

i2 : geometricGenus C == 6

o2 = true

i3 : p = fromCoordinates({0,1,1}, C)

o3 = ideal (a, - b + c)

o3 : Ideal of C

i4 : (ls, B) = linearSeries(p^6, p^3, ShowBase => true)

                             2           2   2     2
o4 = (| b2-2bc+c2 |, ideal (b  - 2b*c + c , a b - a c))

o4 : Sequence

See also

• linearSeries -- compute a linear series
• fromCoordinates -- Compute the ideal of a point from its coordinates

Functions with optional argument named ShowBase :

• linearSeries(...,ShowBase=>...) -- see linearSeries -- compute a linear series