NAGtypes : Index
- AffineChart -- a projective witness set
- Ambient -- (under construction!) new types and methods needed to generalize WitnessSet
- ambient(SlicingVariety) -- (under construction!) new types and methods needed to generalize WitnessSet
- ambient(WSet) -- (under construction!) new types and methods needed to generalize WitnessSet
- areEqual -- determine if solutions are equal
- areEqual(..., Projective => ...) -- determine if solutions are equal
- areEqual(..., Tolerance => ...) -- the tolerance of a numerical computation
- areEqual(BasicList,BasicList) -- determine if solutions are equal
- areEqual(BasicList,Point) -- determine if solutions are equal
- areEqual(CC,CC) -- determine if solutions are equal
- areEqual(List,List) -- determine if solutions are equal
- areEqual(Matrix,Matrix) -- determine if solutions are equal
- areEqual(MutableMatrix,MutableMatrix) -- determine if solutions are equal
- areEqual(Number,Number) -- determine if solutions are equal
- areEqual(Point,BasicList) -- determine if solutions are equal
- areEqual(Point,Point) -- determine if solutions are equal
- check(NumericalVariety) -- a numerical variety
- codim(SlicingVariety) -- (under construction!) new types and methods needed to generalize WitnessSet
- codim(WitnessSet) -- a witness set
- codim(WSet) -- (under construction!) new types and methods needed to generalize WitnessSet
- components(NumericalVariety) -- list components of a numerical variety
- components(NumericalVariety,ZZ) -- list components of a numerical variety
- components(NumericalVariety,ZZ,InfiniteNumber) -- list components of a numerical variety
- components(NumericalVariety,ZZ,ZZ) -- list components of a numerical variety
- ConditionNumber -- a type used to store a point in complex space
- ContinuationParameter -- a polynomial system
- Coordinates -- a type used to store a point in complex space
- coordinates -- a type used to store a point in complex space
- coordinates(Point) -- a type used to store a point in complex space
- DecreasePrecision -- a type used to store a point in complex space
- DeflationNumber -- a type used to store a point in complex space
- degree(NumericalVariety) -- a numerical variety
- degree(WitnessSet) -- a witness set
- degree(WSet) -- (under construction!) new types and methods needed to generalize WitnessSet
- differencePointSet(..., Tolerance => ...) -- the tolerance of a numerical computation
- dim(Ambient) -- (under construction!) new types and methods needed to generalize WitnessSet
- dim(DualSpace) -- a dual functional vector subspace
- dim(NumericalVariety) -- a numerical variety
- dim(PolySpace) -- a polynomial vector subspace
- dim(SlicingVariety) -- (under construction!) new types and methods needed to generalize WitnessSet
- dim(WitnessSet) -- a witness set
- dim(WSet) -- (under construction!) new types and methods needed to generalize WitnessSet
- DualSpace -- a dual functional vector subspace
- dualSpace -- construct a DualSpace
- dualSpace(DualSpace) -- construct a DualSpace
- dualSpace(Matrix,Point) -- construct a DualSpace
- dualSpace(PolySpace,Point) -- construct a DualSpace
- Equations -- a witness set
- equations -- a witness set
- equations(PolySystem) -- a polynomial system
- equations(WitnessSet) -- a witness set
- ErrorBoundEstimate -- a type used to store a point in complex space
- evaluate -- evaluate a polynomial system or matrix at a point
- evaluate(Matrix,Matrix) -- evaluate a polynomial system or matrix at a point
- evaluate(Matrix,Point) -- evaluate a polynomial system or matrix at a point
- evaluate(PolySystem,Matrix) -- evaluate a polynomial system or matrix at a point
- evaluate(PolySystem,Point) -- evaluate a polynomial system or matrix at a point
- generalEquations -- random linear combinations of equations/generators
- generalEquations(WitnessSet) -- random linear combinations of equations/generators
- generalEquations(ZZ,Ideal) -- random linear combinations of equations/generators
- generalEquations(ZZ,List) -- random linear combinations of equations/generators
- generators(DualSpace) -- a dual functional vector subspace
- generators(PolySpace) -- a polynomial vector subspace
- homogenize(PolySystem,Ring,RingElement) -- homogenize a polynomial system
- ideal(PolySystem) -- a polynomial system
- ideal(WitnessSet) -- a witness set
- IncreasePrecision -- a type used to store a point in complex space
- Infinity -- a type used to store a point in complex space
- isGEQ -- compare two points
- isGEQ(..., Tolerance => ...) -- the tolerance of a numerical computation
- isGEQ(List,List) -- compare two points
- isGEQ(Point,Point) -- compare two points
- isHomogeneous(PolySystem) -- a polynomial system
- IsIrreducible -- a witness set
- isRealPoint -- determine whether a point is real
- isRealPoint(..., Tolerance => ...) -- the tolerance of a numerical computation
- isRealPoint(Point) -- determine whether a point is real
- Jacobian -- a polynomial system
- jacobian(PolySystem) -- a polynomial system
- LastT -- a type used to store a point in complex space
- map(SlicingVariety) -- (under construction!) new types and methods needed to generalize WitnessSet
- matrix(Point) -- a type used to store a point in complex space
- MaxPrecision -- a type used to store a point in complex space
- MinStepFailure -- a type used to store a point in complex space
- Multiplicity -- a type used to store a point in complex space
- NAGtypes -- Common types used in Numerical Algebraic Geometry
- net(Ambient) -- (under construction!) new types and methods needed to generalize WitnessSet
- net(DualSpace) -- a dual functional vector subspace
- net(NumericalVariety) -- a numerical variety
- net(Point) -- a type used to store a point in complex space
- net(PolySpace) -- a polynomial vector subspace
- net(PolySystem) -- a polynomial system
- net(SlicingVariety) -- (under construction!) new types and methods needed to generalize WitnessSet
- net(WitnessSet) -- a witness set
- net(WSet) -- (under construction!) new types and methods needed to generalize WitnessSet
- Norm -- p in the p-norm
- norm(Thing,Point) -- p-norm of the point
- NumberOfPolys -- a polynomial system
- NumberOfSteps -- a type used to store a point in complex space
- NumberOfVariables -- a polynomial system
- numericalAffineSpace -- affine space as a numerical variety
- numericalAffineSpace(PolynomialRing) -- affine space as a numerical variety
- NumericalRankFailure -- a type used to store a point in complex space
- NumericalVariety -- a numerical variety
- numericalVariety -- construct a numerical variety
- numericalVariety(List) -- construct a numerical variety
- Origin -- a type used to store a point in complex space
- Point -- a type used to store a point in complex space
- point -- construct a Point
- Point == Point -- determine if solutions are equal
- point(DualSpace) -- a dual functional vector subspace
- point(List) -- construct a Point
- point(Matrix) -- construct a Point
- point(Point) -- construct a Point
- Points -- a witness set
- points -- a witness set
- points(WitnessSet) -- a witness set
- points(WSet) -- (under construction!) new types and methods needed to generalize WitnessSet
- PolyMap -- a polynomial system
- PolySpace -- a polynomial vector subspace
- polySpace -- construct a PolySpace
- polySpace(..., Reduced => ...) -- construct a PolySpace
- polySpace(Matrix) -- construct a PolySpace
- polySpace(PolySpace) -- construct a PolySpace
- PolySystem -- a polynomial system
- polySystem -- construct a polynomial system
- polySystem(Ideal) -- construct a polynomial system
- polySystem(List) -- construct a polynomial system
- polySystem(Matrix) -- construct a polynomial system
- polySystem(PolySystem) -- construct a polynomial system
- project -- project a point
- project(Point,ZZ) -- project a point
- ProjectionDimension -- a witness set
- ProjectiveNumericalVariety -- a projective numerical variety
- projectiveNumericalVariety -- construct a numerical variety
- projectiveNumericalVariety(List) -- construct a numerical variety
- projectiveSliceEquations -- slicing linear functions
- projectiveSliceEquations(Matrix,Ring) -- slicing linear functions
- ProjectiveWitnessSet -- a projective witness set
- projectiveWitnessSet -- construct a ProjectiveWitnessSet
- projectiveWitnessSet(Ideal,Matrix,Matrix,List) -- construct a ProjectiveWitnessSet
- realPoints -- select real points
- realPoints(..., Tolerance => ...) -- the tolerance of a numerical computation
- realPoints(List) -- select real points
- Reduced -- construct a PolySpace
- RefinementFailure -- a type used to store a point in complex space
- Regular -- a type used to store a point in complex space
- residual -- residual of a polynomial function at a point
- residual(..., Norm => ...) -- p in the p-norm
- residual(List,Point) -- residual of a polynomial function at a point
- residual(Matrix,Matrix) -- residual of a polynomial function at a point
- residual(PolySystem,Point) -- residual of a polynomial function at a point
- ring(DualSpace) -- a dual functional vector subspace
- ring(PolySpace) -- a polynomial vector subspace
- ring(PolySystem) -- a polynomial system
- ring(WitnessSet) -- a witness set
- Singular -- a type used to store a point in complex space
- Slice -- a witness set
- slice -- a witness set
- slice(WitnessSet) -- a witness set
- sliceEquations -- slicing linear functions
- sliceEquations(Matrix,Ring) -- slicing linear functions
- SlicingVariety -- (under construction!) new types and methods needed to generalize WitnessSet
- SolutionStatus -- a type used to store a point in complex space
- solutionsWithMultiplicity -- replaces clusters of approximately equal points by single points with multiplicity
- solutionsWithMultiplicity(..., Tolerance => ...) -- the tolerance of a numerical computation
- solutionsWithMultiplicity(List) -- replaces clusters of approximately equal points by single points with multiplicity
- sortSolutions -- sort the list of solutions
- sortSolutions(..., Tolerance => ...) -- the tolerance of a numerical computation
- sortSolutions(..., Weights => ...) -- sort the list of solutions
- sortSolutions(List) -- sort the list of solutions
- SpecializationRing -- a polynomial system
- status(Point) -- a type used to store a point in complex space
- substitute(PolySystem,Ring) -- substitute a ring in a polynomial system
- toAffineChart -- coordinates of a point in the projective space in an affine chart
- toAffineChart(ZZ,List) -- coordinates of a point in the projective space in an affine chart
- Tolerance -- the tolerance of a numerical computation
- unionPointSet(..., Tolerance => ...) -- the tolerance of a numerical computation
- WindingNumber -- a type used to store a point in complex space
- WitnessSet -- a witness set
- witnessSet -- construct a WitnessSet
- witnessSet(Ideal,Ideal,List) -- construct a WitnessSet
- witnessSet(Ideal,Matrix,List) -- construct a WitnessSet
- witnessSet(PolySystem,Matrix,List) -- construct a WitnessSet
- witnessSet(PolySystem,PolySystem,List) -- construct a WitnessSet
- WSet -- (under construction!) new types and methods needed to generalize WitnessSet