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