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