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 ##