|  |  D.12.3.13 powerX Procedure from librarycrypto.lib(see  crypto_lib).
 
Example:Usage:
powerX(q,i,I);
Return:
the q-th power of the i-th variable modulo I
Assume:
I is a standard basis
 |  | LIB "crypto.lib";
ring R = 0,(x,y),dp;
powerX(100,2,std(ideal(x3-1,y2-x)));
==> x2
 | 
 
 |