ZPQ |
Syntax |
ZPQ(F:POLY):POLY ZPQ(F:LIST of POLY):LIST of POLY ZPQ(I:IDEAL):IDEAL |
Description |
Example |
Use R ::= QQ[x,y,z]; F := 1/2*x^3 + 34/567*x*y*z - 890; -- a poly with rational coefficients Use S ::= ZZ/(101)[x,y,z]; QZP(F); -- compute its image with coeffs in ZZ/(101) -50x^3 - 19xyz + 19 ------------------------------- G := It; Use R; ZPQ(G); -- now map that result back to QQ[x,y,z] it is NOT the same as F... 51x^3 + 82xyz + 19 ------------------------------- |
See Also |