next | previous | forward | backward | up | top | index | toc | Macaulay2 web site
NumericalCertification :: NumericalCertification

NumericalCertification -- certifying solutions to square polynomial systems (Smale's alpha test)



This documentation describes version 0.5 of NumericalCertification.

Source code

The source code from which this documentation is derived is in the file NumericalCertification.m2. The auxiliary files accompanying it are in the directory NumericalCertification/.


  • Functions and commands
    • absValue (missing documentation)
    • certifyDistinctSoln (missing documentation)
    • certifySolution (missing documentation)
    • complexToRational (missing documentation)
    • computeConstants (missing documentation)
    • frobeniusNormSq (missing documentation)
    • hermitianNorm (missing documentation)
    • oneNorm (missing documentation)
    • polyNorm (missing documentation)
    • polySysNorm (missing documentation)
    • rationalToComplex (missing documentation)