normaliz
