A simpler representation of programs. The frontend representation (Numeric.Limp.Program) has many different kinds of constraints (<=, <, ==, between), as well as constant additions on each linear function (eg. x + 2y + 5). The so-called canonical representation removes the constant addition from each linear constraint, and converts each constraint (Lin Op Lin) to (Num <= Lin <= Num).

The most interesting function here is program for converting from Program representation to Canon.