I do not understand this statement "reduce the coefficient modulo 5 and take remainder"?
Is the following Maple command to reduce the coefficient modulo 5 , which coefficient to reduce?
rem(6*x^2*y-5*x^2-x*y^3+7*y^2+13, pmod(6*x^2*y-5*x^2-x*y^3+7*y^2+13,5));
And why use 5 and 7 ? where do these integer come from?
I find a statement divide each coefficient by $q$ and take the remainder but type command according to this statement is not correct
rem(6*x^2*y-5*x^2-x*y^3+7*y^2+13, quo(6*x^2*y-5*x^2-x*y^3+7*y^2+13, 5));
The following two also not equal x^2y-xy^3+2y^2-2
rem(pmod(6*x^2*y-5*x^2-x*y^3+7*y^2+13, 5), 6*x^2*y-5*x^2-x*y^3+7*y^2+13) rem(6*x^2*y-5*x^2-x*y^3+7*y^2+13, pmod(6*x^2*y-5*x^2-x*y^3+7*y^2+13, 5))/5
What is the difference between mod and rem in Maple? Aren't they both remainder?