arguments: f g >> bool [type of f,g is ringelem, vector, freemodule, matrix, gbcomp, monideal, monomial, ring]
Yields true(1) or false(0) depending on whether f and g are equal.
