The Power function is a placeholder for representing $a^n$. It is used in conjunction with either mod or modp1.

The call Power(a, n) mod p computes $a^n\mathbf{mod}p$. The multivariate polynomial a must have rational coefficients or coefficients from a finite field specified by RootOfs.

The call modp1(Power(a, n), p) also computes $a^n\mathbf{mod}p$. The polynomial a must be in the modp1 representation and p must be a positive integer.

Power is also equivalent to the infix operator &^ as shown in the examples.

$\mathrm{Power}\left(x+1\,3\right)\mathbf{mod}2$

$x^3+x^2+x+1$

$\mathrm{Power}\left(x+1\,4\right)\mathbf{mod}2$

$x^4+1$

$\left(x+1\right)\&ˆ4\mathbf{mod}2$

$\left(x+1\right)\&ˆ4$

$3\&ˆ781247\mathbf{mod}99999617$

$67158091$