w = witnessSet(E,S,P)
Used to construct a witness set of a component of the variety V(E). It is expected that codim E == dim S and that P is a subset of the intersection of V(E) and V(S).



The object witnessSet is a method function.