i1 : 4/2 o1 = 2 o1 : QQ |
i2 : 4//2 o2 = 2 |
i3 : R = QQ[x]; |
i4 : (x^2-3)//(x-1) o4 = x + 1 o4 : R |
i5 : (x^2-3)%(x-1) o5 = -2 o5 : R |
i6 : (x^2-3)/(x-1) 2 x - 3 o6 = ------ x - 1 o6 : frac R |
This operator may be used as a binary operator in an expression like x//y. The user may install binary methods for handling such expressions with code such as
X // Y := (x,y) -> ...
where X is the class of x and Y is the class of y.