getFieldAndRing -- computes a prime number p>=n, the field kk=ZZ/p and the coordinate Ring S of PP^1(kk)

Synopsis

• Usage:

  (p,kk,S)=getFieldAndRing(n)

• Inputs:

  • n, an integer
• Outputs:

  • p, an integer, prime number p>=n
  • kk, a quotient ring, the quotientring ZZ/p
  • S, a polynomial ring, the coordinatering kk[x₀,x₁] of PP¹(kk)

Description