|
D.12.5.7 minEcart
Procedure from library teachstd.lib (see teachstd_lib).
- Usage:
- minEcart(T,h); T ideal or module, h poly or vector
- Return:
- element g from T such that leadmonom(g) divides leadmonom(h)
ecart(g) is minimal with this property (if T != 0);
return 0 if T is 0 or h = 0
Example:
|