First time here? Check out the FAQ!
answered 2021-09-12 09:44:51 +0100
If you know for sure that P is divisible by Q, you can use P // Q to get the quotient in the ring where P and Q live, rather than in the fraction field.
P
Q
P // Q