The user may install binary methods for this operator with code such as
X ^ Y := (x,y) -> ...where X is the class of x and Y is the class of y.
Here are some methods for computing powers:
If n is 0, then the unit element (class x)#1 is returned. If n is negative, then the method named InverseMethod will be called.