
21 Sep
2002
21 Sep
'02
2:21 p.m.
Dear all, the documentation about the function prem() (section 5.5.3 of GiNaC 1.0.11) says that the pseudo-remainder of 'a' and 'b' satisfies c*a = b*q + prem(a, b, x), where c = b.lcoeff(x)^(a.degree(x) - b.degree(x) + 1).
I think there is maybe a mistake (probably a printing mistake), the formula should be c*a = c*b*q + prem(a, b, x), where c = b.lcoeff(x)^(a.degree(x) - b.degree(x) + 1).
Regards, Tatiana Zolo