more functionality...using ZZ instead of gmp primitives
linf norm