-- -*- M2-comint -*- hash: 12384192892894043068

i1 : R = CC[x_(1,1)..x_(2,4)]; I = ideal 0_R;

o2 : Ideal of R

i3 : F = (minors(2, genericMatrix(R, 2, 4)))_*;

i4 : W = pseudoWitnessSet(F, I, Repeats => 2, Verbose => false);

i5 : q = first numericalImageSample(F, I)

o5 = q

o5 : Point

i6 : isOnImage(W, q)

o6 = true

i7 : isOnImage(W, point random(CC^1, CC^#F))

o7 = false

i8 : isOnImage(W, point{{1_CC,0,0,0,0,0}})

o8 = true

i9 : 
