**Example**

infolevel[PCOMPLEX] := 5: pcomplex(cube(3), cube(3)); |

PCOMPLEX: redundant argument

PCOMPLEX(3,[0, 0, 0, 1])

infolevel[CONVEX] := 5: infolevel[PCOMPLEX] := 5: pcomplex(cube(3), cube(3)); |

CONE: starting with POLYTOPE(3,3,8,6)

convex/motzkin: 7 constraints

convex/motzkin: 0 lines, 8 rays

convex/motzkin: constraint # 1

convex/motzkin: computing new rays ...

convex/motzkin: r0 = 4 r+ = 4 r- = 0

convex/motzkin: 0 lines, 8 rays

convex/motzkin: constraint # 2

convex/motzkin: computing new rays ...

convex/motzkin: r0 = 4 r+ = 4 r- = 0

convex/motzkin: 0 lines, 8 rays

convex/motzkin: constraint # 3

convex/motzkin: computing new rays ...

convex/motzkin: r0 = 4 r+ = 4 r- = 0

convex/motzkin: 0 lines, 8 rays

convex/motzkin: constraint # 4

convex/motzkin: computing new rays ...

convex/motzkin: r0 = 4 r+ = 4 r- = 0

convex/motzkin: 0 lines, 8 rays

convex/motzkin: constraint # 5

convex/motzkin: computing new rays ...

convex/motzkin: r0 = 4 r+ = 4 r- = 0

convex/motzkin: 0 lines, 8 rays

convex/motzkin: constraint # 6

convex/motzkin: computing new rays ...

convex/motzkin: r0 = 4 r+ = 4 r- = 0

convex/motzkin: 0 lines, 8 rays

convex/motzkin: constraint # 7

convex/motzkin: computing new rays ...

convex/motzkin: r0 = 0 r+ = 8 r- = 0

PCOMPLEX: redundant argument

PCOMPLEX(3,[0, 0, 0, 1])