Maybe the best version we can code, but a strange behavior is still
present about duplicate knots in internal partition. Is it allowed
to have a double internal knot? :(
Add a little paragraph about Polar Form exercise.