powers

Synopsis

• Usage:

  x^n

• Inputs:
  • x, a ring map
  • n, an integer
• Outputs:
  • the n-th power of x