Category of quotient fields
This functionality does not run in MATLAB.
Cat::QuotientField(R) represents the category of quotient fields over R.
A Cat::QuotientField is the field of fractions over the integral domain R.
A domain which must be from the category Cat::IntegralDomain.
The default implementation uses the method "_divide" to divide numerator and denominator.