NumericalImplicitization : Index
- attemptExact -- finds implicit equations in a fixed degree for the image of a variety
- extractImageEquations -- finds implicit equations in a fixed degree for the image of a variety
- extractImageEquations(..., attemptExact => ...) -- finds implicit equations in a fixed degree for the image of a variety
- extractImageEquations(NumericalInterpolationTable) -- finds implicit equations in a fixed degree for the image of a variety
- extractImageEquations(Thing,Ideal,ZZ) -- finds implicit equations in a fixed degree for the image of a variety
- hilbertFunctionArgument -- the class of all NumericalInterpolationTables
- hilbertFunctionValue -- the class of all NumericalInterpolationTables
- imageDegree -- the class of all PseudoWitnessSets
- imagePoints -- the class of all NumericalInterpolationTables
- imageSlice -- the class of all PseudoWitnessSets
- interpolationBasis -- the class of all NumericalInterpolationTables
- interpolationSVD -- the class of all NumericalInterpolationTables
- isCompletePseudoWitnessSet -- the class of all PseudoWitnessSets
- isGraded -- whether input is homogeneous
- isOnImage -- whether a point lies on the image of a variety
- isOnImage(..., isGraded => ...) -- whether input is homogeneous
- isOnImage(..., maxAttempts => ...) -- whether a point lies on the image of a variety
- isOnImage(..., maxThreads => ...) -- specify maximum number of processor threads
- isOnImage(..., pointEqualityThreshold => ...) -- computes a pseudo-witness set for the image of a variety
- isOnImage(..., repeats => ...) -- whether a point lies on the image of a variety
- isOnImage(..., Software => ...) -- specify software for homotopy continuation
- isOnImage(..., traceThreshold => ...) -- whether a point lies on the image of a variety
- isOnImage(..., Verbose => ...) -- display detailed output
- isOnImage(PseudoWitnessSet,Point) -- whether a point lies on the image of a variety
- isOnImage(Thing,Ideal,Point) -- whether a point lies on the image of a variety
- isWellDefined(NumericalInterpolationTable) -- whether a point lies on the image of a variety
- isWellDefined(PseudoWitnessSet) -- whether a point lies on the image of a variety
- maxAttempts -- computes a pseudo-witness set for the image of a variety
- maxThreads -- specify maximum number of processor threads
- net(NumericalInterpolationTable) -- the class of all NumericalInterpolationTables
- net(PseudoWitnessSet) -- the class of all PseudoWitnessSets
- numericalHilbertFunction -- computes the values of the Hilbert function for the image of a variety
- numericalHilbertFunction(..., isGraded => ...) -- whether input is homogeneous
- numericalHilbertFunction(..., Software => ...) -- specify software for homotopy continuation
- numericalHilbertFunction(..., Threshold => ...) -- computes the values of the Hilbert function for the image of a variety
- numericalHilbertFunction(..., Verbose => ...) -- display detailed output
- numericalHilbertFunction(Thing,Ideal,List,ZZ) -- computes the values of the Hilbert function for the image of a variety
- numericalHilbertFunction(Thing,Ideal,ZZ) -- computes the values of the Hilbert function for the image of a variety
- numericalImageDegree -- computes a pseudo-witness set for the image of a variety
- numericalImageDegree(..., isGraded => ...) -- whether input is homogeneous
- numericalImageDegree(..., maxAttempts => ...) -- computes a pseudo-witness set for the image of a variety
- numericalImageDegree(..., maxThreads => ...) -- specify maximum number of processor threads
- numericalImageDegree(..., pointEqualityThreshold => ...) -- computes a pseudo-witness set for the image of a variety
- numericalImageDegree(..., repeats => ...) -- computes a pseudo-witness set for the image of a variety
- numericalImageDegree(..., Software => ...) -- specify software for homotopy continuation
- numericalImageDegree(..., traceThreshold => ...) -- computes a pseudo-witness set for the image of a variety
- numericalImageDegree(..., Verbose => ...) -- display detailed output
- numericalImageDegree(Thing,Ideal) -- computes a pseudo-witness set for the image of a variety
- numericalImageDegree(Thing,Ideal,Point) -- computes a pseudo-witness set for the image of a variety
- numericalImageDegree(Thing,Ideal,Thing,Point) -- computes a pseudo-witness set for the image of a variety
- numericalImageDim -- computes the dimension of the image of a variety
- numericalImageDim(..., Software => ...) -- specify software for homotopy continuation
- numericalImageDim(Thing,Ideal) -- computes the dimension of the image of a variety
- numericalImageDim(Thing,Ideal,Point) -- computes the dimension of the image of a variety
- numericalImageSample -- samples general points on the image of a variety
- numericalImageSample(..., Software => ...) -- specify software for homotopy continuation
- numericalImageSample(Thing,Ideal) -- samples general points on the image of a variety
- numericalImageSample(Thing,Ideal,ZZ) -- samples general points on the image of a variety
- NumericalImplicitization -- implicitization using numerical algebraic geometry
- NumericalInterpolationTable -- the class of all NumericalInterpolationTables
- numericalNullity -- numerical kernel dimension of a matrix
- numericalNullity(..., Precondition => ...) -- numerical kernel dimension of a matrix
- numericalNullity(..., Threshold => ...) -- numerical kernel dimension of a matrix
- numericalNullity(..., Verbose => ...) -- display detailed output
- numericalNullity(List,Boolean) -- numerical kernel dimension of a matrix
- numericalNullity(Matrix) -- numerical kernel dimension of a matrix
- numericalNullity(Matrix,Boolean) -- numerical kernel dimension of a matrix
- numericalSourceSample -- samples a general point on a variety
- numericalSourceSample(..., Software => ...) -- specify software for homotopy continuation
- numericalSourceSample(Ideal) -- samples a general point on a variety
- numericalSourceSample(Ideal,Thing) -- samples a general point on a variety
- numericalSourceSample(Ideal,Thing,ZZ) -- samples a general point on a variety
- numericalSourceSample(Ideal,ZZ) -- samples a general point on a variety
- pointEqualityThreshold -- computes a pseudo-witness set for the image of a variety
- Precondition -- numerical kernel dimension of a matrix
- PseudoWitnessSet -- the class of all PseudoWitnessSets
- repeats -- computes a pseudo-witness set for the image of a variety
- sourceEquations -- the class of all PseudoWitnessSets
- sourceSlice -- the class of all PseudoWitnessSets
- traceTest -- the class of all PseudoWitnessSets
- traceThreshold -- computes a pseudo-witness set for the image of a variety
- witnessPointPairs -- the class of all PseudoWitnessSets