21 Sep
                
                    2002
                
            
            
                21 Sep
                
                '02
                
            
            
            
        
    
                4: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