Operations on Elements

Equality and Comparison

u eq v : GrpSLPElt, GrpSLPElt -> BoolElt

Returns true if and only if the straight-line programs u and v are identical. Identical here means they are identical as expression trees, not that they will always evaluate to the same word in the generators.

u ne v : GrpSLPElt, GrpSLPElt -> BoolElt

Returns true if and only if the straight-line programs u and v are not identical. Identical here means they are identical as expression trees, not that they will always evaluate to the same word in the generators.