Contents

User information

If you want to get information about what is happening inside the Convex package, you can use the infolevel variable. For each structured type T the value of infolevel[T] governs the amount of user information for that type. In addition, infolevel[CONVEX] gives information about the double description method used for dualising cones and polyhedra. The reason for having several parameters is that the functions of the package are highly interrelated. For example, a call to PCOMPLEX[pcomplex] to define a polyhedral complex can result in a great many calls to the basic dualisation procedure (to check that the arguments are compatible). If there was only one infolevel parameter, the user information of PCOMPLEX[pcomplex] would get lost in the pages of user information of the low level routine.

Example

infolevel[PCOMPLEX] := 5:
pcomplex(cube(3), cube(3));
PCOMPLEX[_fan] redundant argument

PCOMPLEX(3,3,8,[0, 0, 0, 1])
infolevel[CONVEX] := 5:
infolevel[PCOMPLEX] := 5:
pcomplex(cube(3), cube(3));
CONE[_intersection] 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[_fan] redundant argument
CONE[_intersection] starting with CONE(4,4,4,0,0)
convex/motzkin: 8 constraints
convex/motzkin: 4 lines, 0 rays
convex/motzkin: constraint # 1
convex/motzkin: reducing lineality space
convex/motzkin: 3 lines, 0 rays
convex/motzkin: constraint # 2
convex/motzkin: reducing lineality space
convex/motzkin: 2 lines, 0 rays
convex/motzkin: constraint # 3
convex/motzkin: reducing lineality space
convex/motzkin: 1 lines, 0 rays
convex/motzkin: constraint # 4
convex/motzkin: reducing lineality space
convex/motzkin: normalising lines and rays
PCOMPLEX(3,3,8,[0, 0, 0, 1])