RealRoots -- Package for exploring counting and locating real solutions to polynomial systems

Description

The purpose of this package is to provide tools for elimination and solving, with a particular emphasis on counting and isolating real zeros of ideals in QQ[X].

Authors

Version

This documentation describes version 0.1 of RealRoots.

Source code

The source code from which this documentation is derived is in the file RealRoots.m2.

Exports

Functions and commands
- "BudanFourierBound" -- see BudanFourierBound(RingElement,Number,Number)
- "charPoly" -- see charPoly(Matrix)
- "eliminant" -- see eliminant(RingElement)
- "numSturm" -- see numSturm(RingElement,Number,Number)
- "numSylvester" -- see numSylvester(RingElement,RingElement,Number,Number)
- "numTrace" -- see numTrace(QuotientRing)
- "realRootIsolation" -- see realRootIsolation(RingElement,RR)
- "regularRep" -- see regularRep(RingElement,Ideal)
- "SturmSequence" -- see SturmSequence(RingElement)
- "SylvesterSequence" -- see SylvesterSequence(RingElement,RingElement)
- "traceForm" -- see traceForm(RingElement)
- "variations" -- see variations(List)
Methods
- "BudanFourierBound(RingElement,InfiniteNumber,InfiniteNumber)" -- see BudanFourierBound(RingElement,Number,Number)
- "BudanFourierBound(RingElement,InfiniteNumber,Number)" -- see BudanFourierBound(RingElement,Number,Number)
- "BudanFourierBound(RingElement,Number,InfiniteNumber)" -- see BudanFourierBound(RingElement,Number,Number)
- BudanFourierBound(RingElement,Number,Number)
- charPoly(Matrix)
- eliminant(RingElement)
- "eliminant(RingElement,Ideal)" -- see eliminant(RingElement)
- "numSturm(RingElement,InfiniteNumber,InfiniteNumber)" -- see numSturm(RingElement,Number,Number)
- "numSturm(RingElement,InfiniteNumber,Number)" -- see numSturm(RingElement,Number,Number)
- "numSturm(RingElement,Number,InfiniteNumber)" -- see numSturm(RingElement,Number,Number)
- numSturm(RingElement,Number,Number)
- "numSylvester(RingElement,RingElement,InfiniteNumber,InfiniteNumber)" -- see numSylvester(RingElement,RingElement,Number,Number)
- "numSylvester(RingElement,RingElement,InfiniteNumber,Number)" -- see numSylvester(RingElement,RingElement,Number,Number)
- "numSylvester(RingElement,RingElement,Number,InfiniteNumber)" -- see numSylvester(RingElement,RingElement,Number,Number)
- numSylvester(RingElement,RingElement,Number,Number)
- "numTrace(Ideal)" -- see numTrace(QuotientRing)
- "numTrace(List)" -- see numTrace(QuotientRing)
- numTrace(QuotientRing)
- "numTrace(RingElement)" -- see numTrace(QuotientRing)
- realRootIsolation(RingElement,RR)
- "regularRep(RingElement)" -- see regularRep(RingElement,Ideal)
- regularRep(RingElement,Ideal)
- SturmSequence(RingElement)
- SylvesterSequence(RingElement,RingElement)
- traceForm(RingElement)
- variations(List)
Symbols
- Multiplicity (missing documentation)

For the programmer

The object RealRoots is a package.