Minimality of the cones produced by the Newton–Puiseux algorithm
Let K\mathbb{K}K be the coefficient field, let x\bold{x}x denote the tuple of auxiliary variables, and let p∈K[x][y]p\in\mathbb{K}[\bold{x}][y]p∈K[x][y] be a primitive polynomial. Let…