Ideal ^ ZZ -- power of an ideal

Ideal ^ ZZ -- power of an ideal

Synopsis:

Operator: ^ -- a binary operator, usually used for exponents

Input:

an instance of class Ideal.

an instance of class ZZ.

Output:

an instance of class Ideal.

I^n -- the n-th power of an ideal I.

Code:

     -- ../../../Macaulay2/m2/matrix1.m2:517
     Ideal ^ ZZ := Ideal => (I,n) -> ideal symmetricPower(n,generators I)