Documentation

Test auf Äquivalenz zweier V-Repräsentationen. Liefert True wenn die V-Repräsentationen äquivalent sind, sonst False. Erst werden alle Invarianten (Dimension des Polytops, Determinante des Schwerpunkts, Anzahl der Kanten des Kegels) überprüft, dann wenn notwendig ISOM aufgerufen.

Beipsiel für V-Repräsentationen mit verschiedener Dimension (ISOM wird nicht aufgerufen)

disom VR { vr_dim = 3, vr_nvert = 3, dim = 4
	 , vr_vert = [[0,1,0,0], [0,0,0,1], [0,1,-1,1]] 
	 } 
      VR { vr_dim = 2, vr_nvert = 2, dim = 3
	 , vr_vert = [[0,1,0,0], [0,0,0,1]]
	 }
= False

Beispiel für äquivalente V-Repräsentationen (nach Test der Invarianten wird ISOM aufgerufen)

disom VR { vr_dim = 2, vr_nvert = 2, dim = 3
	 , vr_vert = [[0,1,0,0], [0,0,0,1]]
	 }
      VR { vr_dim = 2, vr_nvert = 2, dim = 3
	 , vr_vert = [[0,0,0,1], [0,1,-1,1]]
	 }
= True

Test auf Äquivalenz zweier V-Repräsentationen durch Test der Grammatrizen, die durch die Schwerpunkte der V-Repräsentationen gegeben sind, auf arithmetische Äquivalenz mittels ISOM. Liefert True, wenn die Grammatrizen arithmetisch äquivalent sind, sonst False.