RationalSolution

Maps each solved variable to a reduced rational numerator/denominator pair. Only rational coordinates discovered by triangular back-substitution are represented.