More efficient norm of fractional ideals.
Authored by: whebisch 2013-08-18
Parent: [r1631]
Child: [r1633]