Context Navigation

Changes between Initial Version and Version 1 of Ticket #6200, comment 13

initial	v1
1	1	I also have another idea, which some friends in Lund may consider heretic, but which could turn out to be extremely effective.
2	2
3		In 99% of the cases I am aware of (mostly thermo-fluid models), the redundant equations of the initialization have a very simple form, either {{{der(x) = 0}}} or {{{x = some_value}}}, where {{{x}}} are state or dummy state variables, and they simply show up more than one time in the final equation set.
	3	In 99% of the cases I am aware of (mostly thermo-fluid models), the redundant equations of the initialization problem have a very simple form, either {{{der(x) = 0}}} or {{{x = some_value}}}, where {{{x}}} are state or dummy state variables, and they simply show up more than one time in the final equation set.
4	4
5	5	Assuming the V-nodes are ordered lexicographically, we just iterate over them, and for each of the ones that correspond to states or derivatives, we check if there is more than one arc connecting to an equation node that has no other arcs. In that case, it is very likely that those equation nodes correspond to redundant initial equations, and we can symbolically check if they are consistent or not.