^

x ^ y -- a binary operator used for powers and raising nets.

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:

  • SimplePowerMethod
  • BinaryPowerMethod

    • 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.

    Examples:

  • Net ^ ZZ -- raising a net or string
  • Ring ^ ZZ -- making a free module over a ring
  • Ring ^ List -- making a graded free module over a graded ring
  • Ext^i -- Ext functor

    • See also power.

    Go to main index.

    Go to concepts index.