Documentation

berechnet Liste der Facetten einer V-Repräsentation mittles lrs

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

Aufruf von lrs für V-Repräsentation oder H-Repräsentation

liest aus Ausgabe von lrs angewendet auf eine V-Repräsentation mit Option incidence die Facetten aus

getfcs "*lrs:lrslib v.4.2c, 2010.7.7(32bit,lrsmp.h)
	*Copyright (C) 1995,2010, David Avis   avis@cs.mcgill.ca 
	*incidence
	H-representation
	begin
	***** 4 rational
	F#1 B#1 h=0 vertices/rays  1* 2 3 4 I#3 det= 1  in_det= 1 
	 1  0  0  0 
	F#2 B#1 h=0 vertices/rays  1 2 3 4* I#3 det= 1  in_det= 1 
	 0  0 -1  0 
	F#3 B#1 h=0 vertices/rays  1 2* 3 4 I#3 det= 1  in_det= 1 
	 0  1  1  0 
	F#4 B#1 h=0 vertices/rays  1 2 3* 4 I#3 det= 1  in_det= 1 
	 0  0  1  1 
	end
	*Totals: facets=4 bases=1
	*lrs:lrslib v.4.2c, 2010.7.7(32bit,lrsmp.h) max digits=8/100
	*0.001u 0.001s 2004Kb 0 flts 0 swaps 0 blks-in 0 blks-out" 
      VR {dim = 3, vr_nvert = 4, vr_dim = 4, vr_vert = [[1, 0, 0, 0], [0, 1, 0, 0], [0, 0, 0, 1], [0, 1, -1, 1]]}
 = [VR { vr_dim = 2, vr_nvert = 3, dim = 4, vr_vert = [[1, 0, 0, 0], [0, 1, 0, 0], [0, 0, 0, 1]]}
   ,VR { vr_dim = 2, vr_nvert = 3, dim = 4, vr_vert = [[1, 0, 0, 0], [0, 0, 0, 1], [0, 1, -1, 1]]}
   ,VR { vr_dim = 2, vr_nvert = 3, dim = 4, vr_vert = [[1, 0, 0, 0], [0, 1, 0, 0], [0, 1, -1, 1]]}
   ]

Parser für Liste der Indexlisten der Facetten wird aufgerufen in getfcs

Hilfsparser für facets für eine Facette als Liste von Indices

Hilfsparser für facet für eine Liste von Indices

eckind " 1* 2 3 : 4 5 " = [2,3,4,5]

Bestimmt aus der Liste der Indices die Facetten als V-Repräsentationen

Hilfsfunktion für facetsfromind zur Bestimmung einer Facette aus der Indexliste