Reduce to lowest terms, with the sign carried on the numerator (denominator made positive). After normalization two equal-valued rationals share identical numerator/denominator, so they may be compared structurally.
Reduce to lowest terms, with the sign carried on the numerator (denominator made positive). After normalization two equal-valued rationals share identical numerator/denominator, so they may be compared structurally.