This method constructs the constraint graph associated to a polynomial set $F = \{f_1,\dots,f_m\}$. The vertices of this graph are the variables, and there is an edge connecting two variables iff there is a polynomial that uses both of them.
|
|
|
The object constraintGraph is a method function.