Using RCDD
The Name of the Game | Representations | Trying it Out | Using GMP Rational Arithmetic | Linear Programming | Redundant Row Elimination | Faces | Image and Preimage