Mazur 13 port: minpoly_alpha