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.ring.CommutativeRingElement Class Reference
Inheritance diagram for nzmath.ring.CommutativeRingElement:
[legend]
Collaboration diagram for nzmath.ring.CommutativeRingElement:
[legend]

## Public Member Functions

def __init__ (self)

def mul_module_action (self, other)

def exact_division (self, other)

Public Member Functions inherited from nzmath.ring.RingElement
def __init__ (self, *args, **kwd)

def getRing (self)

def __eq__ (self, other)

def __hash__ (self)

def __ne__ (self, other)

## Detailed Description

```CommutativeRingElement is an abstract class for elements of
commutative rings.
```

Definition at line 291 of file ring.py.

## ◆ __init__()

 def nzmath.ring.CommutativeRingElement.__init__ ( self )
```This class is abstract and cannot be instantiated.
```

Definition at line 297 of file ring.py.

## ◆ exact_division()

 def nzmath.ring.CommutativeRingElement.exact_division ( self, other )
```In UFD, if other divides self, return the quotient as a UFD
element.  The main difference with / is that / may return the
quotient as an element of quotient field.

Simple cases:
- in a euclidean domain, if remainder of euclidean division
is zero, the division // is exact.
- in a field, there's no difference with /.

If other doesn't divide self, raise ValueError.
```

Reimplemented in nzmath.ring.FieldElement.

Definition at line 320 of file ring.py.

## ◆ mul_module_action()

 def nzmath.ring.CommutativeRingElement.mul_module_action ( self, other )
```Return the result of a module action.
other must be in one of the action rings of self's ring.
```

Definition at line 305 of file ring.py.

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