this looks like a real ticket on how to find the hermite normal form... never knew you could turn sieveknecht dis looper’s method into an integer programming thing again https://www.reddit.com/user/DataBaeBee