Quelle  new.g   Sprache: unbekannt

LoadPackage( "Cdd" );

C := Cdd_PolyhedronByInequalities( [ [ 0, 1, 1 ] ] );

D := Cdd_V_Rep( C );

[ Dauer der Verarbeitung: 0.21 Sekunden  (vorverarbeitet)  ]