Use Verbose=>true for additional output which includes the input and solution file names used by PHCpack.
i1 : R = CC[x11,x22,x21,x12,x23,x13]; |
i2 : system = {x11*x22-x21*x12,x12*x23-x22*x13}; |
i3 : V = numericalIrreducibleDecomposition (system); found 2 irreducible factors |
i4 : W = first V#4; |
i5 : isWitnessSetMember(W, point{{0,0,0,0,0,0}}) o5 = true |
i6 : isWitnessSetMember(W, point{{0,0,0,0,0,0}},Verbose=>true) writing witness set to file /tmp/M2-8434-0/17PHCwitset writing test point to file /tmp/M2-8434-0/18PHCtestpoint calling phc -f < /tmp/M2-8434-0/19PHCbatch > /tmp/M2-8434-0/21PHCsession output of phc -f is in file /tmp/M2-8434-0/20PHCoutput o6 = true |