A complete intersection of type (2,3) in projective fourspace; its hyperplane section is a canonical curve of genus 4:
i1 : R = ZZ/101[x_0..x_4]; |
i2 : V = Proj(R/(ideal random(R^1, R^{-2,-3}))); |
i3 : genera V o3 = {1, 4, 5} o3 : List |