WhiteheadAutoSet Namespace Reference

Functions
Word	reduceBy (const Word &w, const SetOfMaps &theSet)
	Reduce the length of a given word by automorphisms form a set.

---

Function Documentation

Word WhiteheadAutoSet::reduceBy (  const Word &  w, const SetOfMaps &  theSet )

Reduce the length of a given word by automorphisms form a set. Tries to reduce the length of a given word by applying automorphisms from a set. Will return if a shorter word is found Note, it does not return the minimal length word. Parameters: w  - the initial word to be reduced. theSet  - set of automorphisms to reduce by. Returns: a shorter word if found, original word otherwise.

---