arguments: a:ringelem b:ringelem >> g:ringelem; OR monomial monomial >> monomial;
Place the gcd of the two elements onto the stack, if gcd's are defined.
