K3 g
K3(g,CoefficientRing=>K)
i1 : K3 9 o1 = K3 surface of genus 9 and degree 16 in PP^9 o1 : Embedded K3 surface
The source of this document is in K3Surfaces.m2:918:0.