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
• 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