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

Synopsis

• Usage:

  isWitnessSetMember(...,Verbose=>Boolean)

Description

i1 : R = CC[x11,x22,x21,x12,x23,x13];

i2 : system = {x11*x22-x21*x12,x12*x23-x22*x13};

i3 : V = numericalIrreducibleDecomposition (system);
found 4 irreducible factors 

i4 : W = first V#4;

i5 : isWitnessSetMember(W, point{{0,0,0,0,0,0}})

o5 = true

Further information

• Default value: false
• Function: isWitnessSetMember -- tests whether a point belongs to a 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
• 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
• 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