fix: check in assert
chg: when building without NTL
chg: get normalization right