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