[Next] [Prev] [Right] [Left] [Up] [Index] [Root]
Operations on Elements
Operations on Elements
Subsections
Equality and Comparison
u eq v : GrpBBElt, GrpBBElt -> BoolElt
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 : GrpBBElt, GrpBBElt -> BoolElt
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.
[Next] [Prev] [Right] [Left] [Up] [Index] [Root]