Quelle comparing_polyhedrons.g
Sprache: unbekannt
|
|
Spracherkennung für: .g vermutete Sprache: Unknown {[0] [0] [0]} [Methode: Schwerpunktbildung, einfache Gewichte, sechs Dimensionen]
LoadPackage( "CddInterface" );
#! @BeginChunk comparing_polyhedrons
#! @BeginExample
A := Cdd_PolyhedronByInequalities( [ [ 10, - 1, 1, 0 ],
[ - 24, 9, 2, 0 ], [ 1, 1, - 1, 0 ], [ - 23, - 12, 1, 11 ] ], [ 4 ] );
#! <Polyhedron given by its H-representation>
B := Cdd_PolyhedronByInequalities( [ [ 1, 0, 0, 0 ],
[ - 4, 1, 0, 0 ], [ 10, - 1, 1, 0 ], [ - 3, - 1, 0, 1 ] ], [ 3, 4 ] );
#! <Polyhedron given by its H-representation>
Cdd_IsContained( B, A );
#! true
Display( Cdd_V_Rep( A ) );
#! V-representation
#! begin
#! 3 X 4 rational
#!
#! 1 2 3 4
#! 1 4 - 6 7
#! 0 1 1 1
#! end
Display( Cdd_V_Rep( B ) );
#! V-representation
#! begin
#! 2 X 4 rational
#!
#! 1 4 - 6 7
#! 0 1 1 1
#! end
#! @EndExample
#! @EndChunk
[Dauer der Verarbeitung: 0.3 Sekunden, vorverarbeitet 2026-06-17]
|
2026-08-25
|
