steve123 wrote: ↑Tue Nov 10, 2020 4:26 pm
Sometimes I prefer to constrain a different way than the solver would appear to want to.
That is the reason that "Auto remove redundants" is a checkbox. It seems to work correctly, but it has no way to know what is important to the user.
I am not the least bit qualified to talk about the Sketcher solver, but a simplified way to think about it is that it essentially tries to solve a system of linear equations. As you may recall from Algebra classes strange things can happen when two or more equations are co-dependent or are conflicting. Similar things happen to the Sketcher solver when there are conflicting or redundant constraints.
No doubt there are cases where the solution can be just fine when there are redundant constraints, but it is not always true. There have been numerous strange cases on the forum over the past few years that were eventually found to be due to bad constraints. As noted above, the Sketcher is much more careful now about allowing the redundancies to remain.
Gene