NZMATH  1.2.0 About: NZMATH is a Python based number theory oriented calculation system.   Fossies Dox: NZMATH-1.2.0.tar.gz  ("inofficial" and yet experimental doxygen-generated source code documentation)
nzmath.poly.multiutil.PseudoDivisionProvider Class Reference
Inheritance diagram for nzmath.poly.multiutil.PseudoDivisionProvider:
[legend]
Collaboration diagram for nzmath.poly.multiutil.PseudoDivisionProvider:
[legend]

## Public Member Functions

def pseudo_divmod (self, other)

def pseudo_floordiv (self, other)

def pseudo_mod (self, other)

def __truediv__ (self, other)

def exact_division (self, other)

## Detailed Description

```PseudoDivisionProvider provides pseudo divisions for multivariate
polynomials.  It is assumed that the coefficient ring of the
polynomials is a domain.

The class should be used with NestProvider, RingElementProvider.
```

Definition at line 141 of file multiutil.py.

## ◆ __truediv__()

 def nzmath.poly.multiutil.PseudoDivisionProvider.__truediv__ ( self, other )
```self / other

The result is a rational function.
```

Definition at line 214 of file multiutil.py.

## ◆ exact_division()

 def nzmath.poly.multiutil.PseudoDivisionProvider.exact_division ( self, other )

## ◆ pseudo_divmod()

 def nzmath.poly.multiutil.PseudoDivisionProvider.pseudo_divmod ( self, 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'.
```

Definition at line 149 of file multiutil.py.

## ◆ pseudo_floordiv()

 def nzmath.poly.multiutil.PseudoDivisionProvider.pseudo_floordiv ( self, 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'.
```

Definition at line 172 of file multiutil.py.

## ◆ pseudo_mod()

 def nzmath.poly.multiutil.PseudoDivisionProvider.pseudo_mod ( self, 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'.
```

Definition at line 193 of file multiutil.py.

The documentation for this class was generated from the following file: