inert power function
The Power function is a placeholder for representing an. It is used in conjunction with either mod or modp1.
The call Power(a, n) mod p computes anmodp. 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 anmodp. 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.
Download Help Document
What kind of issue would you like to report? (Optional)