next | previous | forward | backward | up | top | index | toc | Macaulay2 web site
PHCpack :: isWitnessSetMember(..., Verbose => ...)

isWitnessSetMember(..., Verbose => ...) -- option to specify whether additional output is wanted

Synopsis

Description

Use Verbose=>true for additional output which includes the input and solution file names used by phc.

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 /var/folders/11/t6mmkf11455d4nt0fn639c6h0000gn/T/M2-30059-0/17PHCwitset
writing test point to file /var/folders/11/t6mmkf11455d4nt0fn639c6h0000gn/T/M2-30059-0/18PHCtestpoint
calling phc -f < /var/folders/11/t6mmkf11455d4nt0fn639c6h0000gn/T/M2-30059-0/19PHCbatch > /var/folders/11/t6mmkf11455d4nt0fn639c6h0000gn/T/M2-30059-0/21PHCsession
output of phc -f is in file /var/folders/11/t6mmkf11455d4nt0fn639c6h0000gn/T/M2-30059-0/20PHCoutput

o6 = true

Further information