top
|
index
|
Macaulay2 web site
NAGtypes : Table of Contents
NAGtypes
-- Common types used in Numerical Algebraic Geometry
areEqual
-- determine if solutions are equal
components(NumericalVariety)
-- list components of a numerical variety
DualSpace
-- a dual functional vector subspace
dualSpace
-- construct a DualSpace
evaluate
-- evaluate a polynomial system or matrix at a point
generalEquations
-- random linear combinations of equations/generators
homogenize(PolySystem,Ring,RingElement)
-- homogenize a polynomial system
Homotopy
-- a homotopy asbtract type
isGEQ
-- compare two points
isRealPoint
-- determine whether a point is real
Norm
-- p in the p-norm
norm(Thing,Point)
-- p-norm of the point
numericalAffineSpace
-- affine space as a numerical variety
NumericalVariety
-- a numerical variety
numericalVariety(List)
-- construct a numerical variety
ParameterHomotopy
-- a homotopy that involves parameters
Parameters
-- a collection of parameters
parameters
(missing documentation)
Point
-- a type used to store a point in complex space
point
-- construct a Point
PolySpace
-- a polynomial vector subspace
polySpace
-- construct a PolySpace
PolySystem
-- a polynomial system
polySystem
-- construct a polynomial system
project(Point,ZZ)
-- project a point
ProjectiveNumericalVariety
-- a projective numerical variety
ProjectiveWitnessSet
-- a projective witness set
projectiveWitnessSet
-- construct a ProjectiveWitnessSet
realPoints
-- select real points
residual
-- residual of a polynomial function at a point
sliceEquations(Matrix,Ring)
-- slicing linear functions
solutionsWithMultiplicity
-- replaces clusters of approximately equal points by single points with multiplicity
sortSolutions(List)
-- sort the list of solutions
SpecializedParameterHomotopy
-- a homotopy obtained from a parameter homotopy by specializing parameters
substitute(PolySystem,Ring)
-- substitute a ring in a polynomial system
System
-- a system of functions
toAffineChart(ZZ,List)
-- coordinates of a point in the projective space in an affine chart
Tolerance
-- the tolerance of a numerical computation
WitnessSet
-- a witness set
witnessSet
-- construct a WitnessSet
WSet
-- (under construction!) new types and methods needed to generalize WitnessSet