Add LLL reduction
Remove obsolete functions
Use PolynomialFactorizationExplicit instead of EuclideanDomain
Avoid side effects in 'mergeFactors'
Fix gcd in field
Update documentation
Misc cleanups
Fix handling of content
Fix handling of leading coefficients
Generalize LEADCDET