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 : I = ideal random(R^1, R^{-2,-3}); o2 : Ideal of R |
i3 : genera I o3 = {1, 4, 5} o3 : List |