arguments: a:monomial b:monomial >> int
Place 0, (or 1) onto the stack when a doesn't divide (does divide) b.
