DotPower is an option for DotSimplify. It determines whether non-commutative powers are represented by successive multiplication or by Power.
DotPower
DotSimplify
Power
Overview, DotSimplify.