Polyhedron multiplicative routine should handle strong/weak inequalities
correctly now. Code needs to be cleaned and commented better, but I
believe things are stable right now.