NumericalCertification -- certifying solutions to square polynomial systems (Smale's alpha test)
Version
This documentation describes version 0.5 of NumericalCertification.
Exports
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)