nzmath.poly.multiutil

DomainPolynomial

Polynomial with domain coefficients.

This class inherits RingPolynomial and PseudoDivisionProvider.

Constructor

DomainPolynomail(coefficients [,keyword arguments])

Initialize the polynomial.

Required argument:

Keyword arguments should include:

Methods

pseudo_divmod(other)

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.)

pseudo_floordiv(other):

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.)

pseudo_mod(other)

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.)

exact_division(other)

Return quotient of exact division.
(This method is inherited from PseudoDivisionProvider.)

Operators

f / gdivision (result is a rational function)