Ask Your Question

# Revision history [back]

Hello,

Here is a possible solution. One has to come back in the category of schemes :

rays = [(0,0,1),(1,0,-2),(0,1,-2),(-1,0,-2),(0,-1,-2)]
cones = [(1,2,3,4)]
Delta = Fan(cones,rays)
T = ToricVariety(Delta)
R = T.affine_patch(0).Spec().coordinate_ring()


By the way I also tried cohomology ring : this is not implemented for this toric variety, only for orbifold toric varieties so far.

Cheers,

Matthieu

Hello,

Here is a possible solution. One has to come back in the category of schemes :

rays = [(0,0,1),(1,0,-2),(0,1,-2),(-1,0,-2),(0,-1,-2)]
cones = [(1,2,3,4)]
Delta = Fan(cones,rays)
T = ToricVariety(Delta)
R = T.affine_patch(0).Spec().coordinate_ring()


By the way I also tried cohomology ring : this is not implemented for this toric variety, only for orbifold toric varieties so far.

Cheers,

Matthieu

Hello,

One has to come back in the category of schemes :

rays = [(0,0,1),(1,0,-2),(0,1,-2),(-1,0,-2),(0,-1,-2)]
cones = [(1,2,3,4)]
Delta = Fan(cones,rays)
T = ToricVariety(Delta)
R = T.affine_patch(0).Spec().coordinate_ring()


By Then, to answer your initial point about retrieving a list of relations :

R.defining_ideal().gens()


(By the way I also tried cohomology ring : this it is not implemented for this toric variety, only for orbifold toric varieties so far.far.)

Matthieu