-- -*- M2-comint -*- hash: 370242144

i1 : R = CC[x,y,z]; f = {(x^2-y)*(x-1), x^3 - z};

i3 : (w,ns) = topWitnessSet(f,1);

i4 : w

o4 = w

o4 : WitnessSet

i5 : L = factorWitnessSet(w)
found 2 irreducible factors 

o5 = L

o5 : NumericalVariety

i6 : 
