|
# CddInterface, single 3
#
# DO NOT EDIT THIS FILE - EDIT EXAMPLES IN THE SOURCE INSTEAD!
#
# This file has been generated by AutoDoc. It contains examples extracted from
# the package documentation. Each example is preceded by a comment which gives
# the name of a GAPDoc XML file and a line range from which the example were
# taken. Note that the XML file in turn may have been generated by AutoDoc
# from some other input.
#
gap> START_TEST( "cddinterface03.tst");
# doc/_Chunks.xml:149-184
gap> P := Cdd_PolyhedronByGenerators( [ [ 1, 1, 2 ], [ 1, 4, 5 ] ] );
<Polyhedron given by its V-representation>
gap> H := Cdd_H_Rep( P );
<Polyhedron given by its H-representation>
gap> Display( H );
H-representation
linearity 1, [ 3 ]
begin
3 X 3 rational
4 -1 0
-1 1 0
-1 -1 1
end
gap> P_x1 := Cdd_FourierProjection( H, 2);
<Polyhedron given by its H-representation>
gap> Display( P_x1 );
H-representation
linearity 1, [ 3 ]
begin
3 X 3 rational
4 -1 0
-1 1 0
0 0 1
end
gap> Display( Cdd_V_Rep( P_x1 ) );
V-representation
begin
2 X 3 rational
1 1 0
1 4 0
end
#
gap> STOP_TEST("cddinterface03.tst", 1 );
[ Dauer der Verarbeitung: 0.15 Sekunden
(vorverarbeitet)
]
|
