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 dualizing 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 dualization 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: 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])