Revision 024c9750ac3f39428818576cba043d57e6a7f2c1 authored by Mohamed Barakat on 09 July 2015, 13:37:30 UTC, committed by Mohamed Barakat on 09 July 2015, 16:29:51 UTC
1 parent cea8169
P1P1AsPolytope.g
LoadPackage( "ToricVarieties" );
P1P1 := Polytope( [[1,1],[1,-1],[-1,-1],[-1,1]] );
P1P1 := ToricVariety( P1P1 );
IsProjective( P1P1 );
IsComplete( P1P1 );
CoordinateRingOfTorus( P1P1, "x" );
IsVeryAmple( Polytope( P1P1 ) );
ProjectiveEmbedding( P1P1 );
Length( last );
![swh spinner](/static/img/swh-spinner.gif)
Computing file changes ...