K3(ZZ) -- make a general K3 surface

• Function: K3

• Usage:

  K3 g

  K3(g,CoefficientRing=>K)

• Inputs:
  • g, an integer
• Optional inputs:
  • CoefficientRing => ..., default value ZZ/65521, make a lattice-polarized K3 surface
  • Singular => ..., default value null, make a lattice-polarized K3 surface
  • Strategy => ..., default value null, make a lattice-polarized K3 surface
  • Verbose => ..., default value false, make a lattice-polarized K3 surface
• Outputs:
  • an embedded K3 surface, a general K3 surface defined over $K$ of genus $g$ in $\mathbb{P}^g$

i1 : K3 9

o1 = K3 surface of genus 9 and degree 16 in PP^9

o1 : Embedded K3 surface of genus 9