Documentation of prem()

[Tatiana Zolo]

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