|  |  D.4.15.3 gcdMon Procedure from librarymonomialideal.lib(see  monomialideal_lib).
 
Example:Usage:
gcdMon (f,g); f,g polynomials.
Return:
a monomial, the greatest common divisor of f and g.
Assume:
f and g are monomials of the basering.
 |  | LIB "monomialideal.lib";
ring R = 0,(x,y,z,t),dp;
poly f = x^3*z^5*t^2;
poly g = y^6*z^3*t^3;
gcdMon(f,g);
==> z3t2
 | 
 
 |