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

Synopsis

• Usage:

  topWitnessSet(...,Verbose=>Boolean)

Description

Further information

• Default value: false
• Function: topWitnessSet -- returns a witness set and nonsolutions for the top dimensional solution set
• Option key: Verbose -- request verbose feedback

Functions with optional argument named Verbose :

• cascade(...,Verbose=>...) -- option to specify whether additional output is wanted
• check(...,Verbose=>...) -- see check -- perform tests of a package
• checkDegrees(...,Verbose=>...) -- see checkDegrees -- compares the degrees of generators of two modules
• constructEmbedding(...,Verbose=>...) -- option to specify whether additional output is wanted
• copyDirectory(...,Verbose=>...) -- see copyDirectory(String,String)
• copyFile(...,Verbose=>...) -- see copyFile(String,String)
• factorWitnessSet(...,Verbose=>...) -- option to specify whether additional output is wanted
• findProgram(...,Verbose=>...) -- see findProgram -- load external program
• installPackage(...,Verbose=>...) -- see installPackage -- load and install a package and its documentation
• isIsomorphic(...,Verbose=>...) -- see isIsomorphic -- Probabilistic test for isomorphism of modules
• isWitnessSetMember(...,Verbose=>...) -- option to specify whether additional output is wanted
• mixedVolume(...,Verbose=>...) -- option to specify whether additional output is wanted
• moveFile(...,Verbose=>...) -- see moveFile(String,String)
• numericalIrreducibleDecomposition(...,Verbose=>...) -- option to specify whether additional output is wanted
• refineSolutions(...,Verbose=>...) -- option to specify whether additional output is wanted
• runProgram(...,Verbose=>...) -- see runProgram -- run an external program
• solveRationalSystem(...,Verbose=>...) -- option to specify whether additional output is wanted
• solveSystem(...,Verbose=>...) -- option to specify whether additional output is wanted
• symlinkDirectory(...,Verbose=>...) -- see symlinkDirectory(String,String) -- make symbolic links for all files in a directory tree
• topWitnessSet(...,Verbose=>...) -- option to specify whether additional output is wanted
• trackPaths(...,Verbose=>...) -- option to specify whether additional output is wanted
• versionNumber(...,Verbose=>...) -- option to print the output of phc --version to screen