- Adds
Generator(E,F)andDefiningPolynomial(E,F)for an extensionE/F. - Adds
HasRoot(f)andIsIrreducible(f)for univariate polynomialf. RamificationFiltrationnow more robust.- Fixes bugs in
IsCoercibleand univariate factorization.
Generator(E,F) and DefiningPolynomial(E,F) for an extension E/F.HasRoot(f) and IsIrreducible(f) for univariate polynomial f.RamificationFiltration now more robust.IsCoercible and univariate factorization.