|
7.7.16.0. is_pure
Procedure from library purityfiltration.lib (see purityfiltration_lib).
- Usage:
- is_pure(R), R representing the module M=D^p/D^q(R^t)
- Return:
- int, 0 or 1
- Purpose:
- checks pureness of M.
returns 1, if M is pure, or 0, if it's not
remark: if M is zero, is_pure returns 1
Example:
|