Re: Another bug?

["John Cremona (Maths)" <cremona@maths.ex.ac.uk>]

Gerhard's explanantion does not quite solve Igor's problem, since the
content and leading coefficients of the factors (in Z[X]) are both
normalized to be positive, so that factorback() gives a primitive poly
with positive leading coefficient, and the identity

	   f == content(f)*factorback(factor(f))

only holds when f has positive leading coefficient, otherwise the
right hand side gives -f.  Beware!

John

-- 
John Cremona
University of Exeter
School of Mathematical Sciences   ** NOTE NEW NAME**
North Park Road
Exeter EX4 4QE
UK

Tel.: 	+44-1392-263974 (Office)
	+44-1392-210758 (Home)
	
Fax:    +44-1392-263997

email:	cremona@maths.exeter.ac.uk