Only use normaliz in some cases. For "small" vectors, whatever "small" means (to be determined).
Only use normaliz in some cases. For "small" vectors, whatever "small" means (to be determined).