|
D.4.2.8 is_bijective
Procedure from library algebra.lib (see algebra_lib).
- Usage:
- is_bijective(phi,pr); phi map to basering, pr preimage ring
- Return:
- an integer, 1 if phi is bijective, 0 if not
- Note:
- The algorithm checks first injectivity and then surjectivity.
To interprete this for local/mixed orderings, or for quotient rings
type help is_surjective; and help is_injective;
- Display:
- A comment if printlevel >= voice-1 (default)
Example:
|