Macaulay2 » Documentation
Packages » PHCpack :: topWitnessSet(...,Verbose=>...)
next | previous | forward | backward | up | index | toc

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

Description

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

The output file of phc contains information about the application of the blackbox solver to the embedded system.

Functions with optional argument named Verbose:

Further information

  • Default value: false
  • Function: topWitnessSet -- returns a witness set and nonsolutions for the top dimensional solution set
  • Option key: Verbose -- an optional argument

The source of this document is in /build/reproducible-path/macaulay2-1.25.05+ds/M2/Macaulay2/packages/PHCpack/PHCpackDoc.m2:1305:0.