1## P1xP1 as polytope 2 3## gapcolor ## 4gap> LoadPackage( "ToricVarieties" ); 5true 6gap> P1P1 := Polytope( [[1,1],[1,-1],[-1,-1],[-1,1]] ); 7<A polytope in |R^2> 8gap> P1P1 := ToricVariety( P1P1 ); 9<A projective toric variety of dimension 2> 10gap> IsProjective( P1P1 ); 11true 12gap> IsComplete( P1P1 ); 13true 14gap> CoordinateRingOfTorus( P1P1, "x" ); 15Q[x1,x1_,x2,x2_]/( x2*x2_-1, x1*x1_-1 ) 16gap> IsVeryAmple( Polytope( P1P1 ) ); 17true 18gap> ProjectiveEmbedding( P1P1 ); 19[ |[ x1_*x2_ ]|, |[ x1_ ]|, |[ x1_*x2 ]|, |[ x2_ ]|, 20|[ 1 ]|, |[ x2 ]|, |[ x1*x2_ ]|, |[ x1 ]|, |[ x1*x2 ]| ] 21gap> Length( last ); 229 23## endgapcolor ##