chrisb wrote: ↑Mon Sep 20, 2021 8:56 pm
+1 (if you mean the transitive hull of equalities, and not repeated dimensions, which is another issue).
transitive hull of equalities ???
(1) : Line with
Sketcher_ConstrainEqual with the dimension selected (= direct equality)
(2) : any line logicaly equal (eg opposite sides of a rectangle) (= logical equality)
(3) : any line numericaly equal (= numerical equality)
I think (1) and (3) are easy to compute : just check constrains or values.
(2) is more difficult :
(* suppress (1) from other same dimension)
* find (3)
* modify the dimension
* solve the sketch
* find (3') with the new dimension
* (2) = intersection of (3) and (3')
* undo dimension modification
I need (1) and (2).