1############################################################################# 2## 3## LITorSubvar.gi ToricVarieties Sebastian Gutsche 4## 5## Copyright 2011 Lehrstuhl B für Mathematik, RWTH Aachen 6## 7## Logical implications for toric subvarieties. 8## 9############################################################################# 10 11############################# 12## 13## True methods 14## 15############################# 16 17## 18InstallTrueMethod( IsWholeVariety, IsOpen and IsClosedSubvariety ); 19 20## 21InstallTrueMethod( IsOpen, IsWholeVariety ); 22 23## 24InstallTrueMethod( IsClosedSubvariety, IsWholeVariety ); 25