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.