v / c
This operation is equivalent to right scalar multiplication by the multiplicative inverse of c, i.e., v * (1/c).
c
v * (1/c)
i1 : R = QQ[a,b,c,d] o1 = R o1 : PolynomialRing
i2 : matrix {{d, -b}, {-c, a}} / (a * d - b * c) o2 = | (-d)/(bc-ad) b/(bc-ad) | | c/(bc-ad) (-a)/(bc-ad) | 2 2 o2 : Matrix (frac R) <-- (frac R)
The base ring of the output will be a field containing the base ring of v.
v