import qualified Algebra.Absolute as Absolute
import qualified Algebra.Algebraic as Algebraic
import qualified Algebra.RealField as RealField
-import qualified Algebra.RealRing as RealRing
import qualified Algebra.ToInteger as ToInteger
-- Since the norm is defined on a vector space, we should be able to