Fractions
Axiom handles fractions in many different contexts and will automatically simplify fractions whenever possible. Here are some examples:
Additional Topics:
Rational Numbers
Quotients of integers
Quotient Fields
Quotients over an arbitrary integral domain