|
D.12.5.10 chaincrit
Procedure from library teachstd.lib (see teachstd_lib).
- Usage:
- chaincrit(f,g,h); f,g,h poly or module
- Return:
- 1 if chain criterion applies, 0 else
- Note:
- if chain criterion applies to f,g,h we can delete (g,h) from pairset
Example:
|