1# CddInterface, single 10 2# 3# DO NOT EDIT THIS FILE - EDIT EXAMPLES IN THE SOURCE INSTEAD! 4# 5# This file has been generated by AutoDoc. It contains examples extracted from 6# the package documentation. Each example is preceded by a comment which gives 7# the name of a GAPDoc XML file and a line range from which the example were 8# taken. Note that the XML file in turn may have been generated by AutoDoc 9# from some other input. 10# 11gap> START_TEST( "cddinterface10.tst"); 12 13# doc/_Chunks.xml:382-423 14gap> A:= Cdd_PolyhedronByInequalities( [ [ 0, 1, 1 ], [ 0, 5, 5 ] ] ); 15<Polyhedron given by its H-representation> 16gap> B:= Cdd_V_Rep( A ); 17<Polyhedron given by its V-representation> 18gap> Display( B ); 19V-representation 20linearity 1, [ 2 ] 21begin 22 2 X 3 rational 23 24 0 1 0 25 0 -1 1 26end 27gap> C:= Cdd_H_Rep( B ); 28<Polyhedron given by its H-representation> 29gap> Display( C ); 30H-representation 31begin 32 1 X 3 rational 33 34 0 1 1 35end 36gap> D:= Cdd_PolyhedronByInequalities( [ [ 0, 1, 1, 34, 22, 43 ], 37> [ 11, 2, 2, 54, 53, 221 ], [33, 23, 45, 2, 40, 11 ] ] ); 38<Polyhedron given by its H-representation> 39gap> Cdd_V_Rep( D ); 40<Polyhedron given by its V-representation> 41gap> Display( last ); 42V-representation 43linearity 2, [ 5, 6 ] 44begin 45 6 X 6 rational 46 47 1 -743/14 369/14 11/14 0 0 48 0 -1213 619 22 0 0 49 0 -1 1 0 0 0 50 0 764 -390 -11 0 0 51 0 -13526 6772 99 154 0 52 0 -116608 59496 1485 0 154 53end 54 55# 56gap> STOP_TEST("cddinterface10.tst", 1 ); 57