w = projectiveWitnessSet(E,C,S,P)
Used to construct a witness set for a component of the variety V(E). An affine chart is specified by the matrix of the coefficients of the (normalized) linear equation defining the chart: e.g., ax+by+cz=1 is encoded as [a,b,c].
It is expected that the, V(E) and the plane V(S) defined by S are of complementary dimensions and that P is contained in the intersection of V(E+C) and V(S).
|
|
|
The object projectiveWitnessSet is a method function.