Polynomial with domain coefficients.
This class inherits RingPolynomial and PseudoDivisionProvider.
Initialize the polynomial.
Required argument:
Keyword arguments should include:
self.pseudo_divmod(other) -> (Q, R)
Q, R are polynomials such that
d**(deg(self) - deg(other) + 1) * self == other * Q + R,
w.r.t. a fixed variable, where d is the leading coefficient of other.
The leading coefficient varies with term orders, so does the
result. The term order can be specified via the attribute
'order'.
(This method is inherited from PseudoDivisionProvider.)
self.pseudo_floordiv(other) -> Q
Q is a polynomial such that
d**(deg(self) - deg(other) + 1) * self == other * Q + R,
where d is the leading coefficient of other and R is a polynomial.
The leading coefficient varies with term orders, so does the
result. The term order can be specified via the attribute
'order'.
(This method is inherited from PseudoDivisionProvider.)
self.pseudo_mod(other) -> R
R is a polynomial such that
d**(deg(self) - deg(other) + 1) * self == other * Q + R,
where d is the leading coefficient of other and Q a polynomial.
The leading coefficient varies with term orders, so does the
result. The term order can be specified via the attribute
'order'.
(This method is inherited from PseudoDivisionProvider.)
Return quotient of exact division.
(This method is inherited from PseudoDivisionProvider.)
f / g | division (result is a rational function) |