isWitnessSetMember(...,Verbose=>Boolean)
Use Verbose=>true for additional output, which includes the input and solution file names used by phc.
|
|
|
|
|
The source of this document is in PHCpack/PHCpackDoc.m2:521:0.