Skip to main content

Browse the archive

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 
declared and installed ClearDenominatorsRowWise
1 parent cea8169
Raw File
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 );
back to top