This type stores a collection of witness sets representing a variety.
Note that
- The ambient space is expected to be the same, i.e., Equations of witness sets are should come from the same ring.
- The witness sets need not come from the decomposition of the same variety.
- The constructor numericalVariety(List) does not check the sensibility of the input; run check(NumericalVariety) (missing documentation) to verify the validity of a numerical variety.