# NormalizationPackage(R, E, V, P, TS)¶

normalize(p, ts) normalizes p w.r.t ts.
normalizedAssociate(p, ts) returns a normalized polynomial n w.r.t. ts such that n and p are associates w.r.t ts and assuming that p is invertible w.r.t ts.
normInvertible?(p, ts) is an internal subroutine, exported only for developement.
outputArgs(s1, s2, p, ts) is an internal subroutine, exported only for developement.
recip(p, ts) returns the inverse of p w.r.t ts assuming that p is invertible w.r.t ts.