slight optimization for _call_ of AugmentedValuation
improved equivalence_unit() over non-fields
rewrote is_equivalence_irreducible()
some caching for speed
fixed a precision problem
a hard totally ramified case