PREDUCET _ _ _ _ _ _ _ _ _ _ _ _ operator

syntax:

preduce(<p>,{<v>=<exp>...})

where <p> is an expression, <v> are kernels (simple or indexed variables), exp are polynomials.

preducetcomputes the remainder of <p> modulo {<exp>,...} similar to preduce, but the result is an equation which expresses the remainder as combination of the polynomials.

example:

                             
   GB2 := {G1=2*X - Y + 1,G2=9*Y**2  - 2*Y - 199}
   preducet(q=x**2,gb2);

 - 16*Y + 208= - 18*X*G1 - 9*Y*G1 + 36*Q + 9*G1 - G2