NumericalImplicitization : Index
- AttemptZZ -- finds implicit equations in a fixed degree for the image of a variety
- ConvertToCone -- specifies whether to convert image to a cone
- DoRefinements -- computes a pseudo-witness set for the image of a variety
- DoTraceTest -- computes a pseudo-witness set for the image of a variety
- extractImageEquations -- finds implicit equations in a fixed degree for the image of a variety
- extractImageEquations(..., AttemptZZ => ...) -- finds implicit equations in a fixed degree for the image of a variety
- extractImageEquations(..., Threshold => ...) -- finds implicit equations in a fixed degree for the image of a variety
- extractImageEquations(List,Ideal,ZZ) -- finds implicit equations in a fixed degree for the image of a variety
- extractImageEquations(Matrix,Ideal,ZZ) -- 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(RingMap,Ideal,ZZ) -- finds implicit equations in a fixed degree for the image of a variety
- generalCombinations -- the class of all pseudo-witness sets
- hilbertFunctionArgument -- the class of all NumericalInterpolationTables
- hilbertFunctionValue -- the class of all NumericalInterpolationTables
- imagePoints -- the class of all NumericalInterpolationTables
- imageSlice -- the class of all pseudo-witness sets
- interpolationBasis -- the class of all NumericalInterpolationTables
- interpolationMatrix -- the class of all NumericalInterpolationTables
- interpolationSVD -- the class of all NumericalInterpolationTables
- isCompletePseudoWitnessSet -- the class of all pseudo-witness sets
- isOnImage -- tests whether a point lies on the image of a variety
- isOnImage(..., MaxThreads => ...) -- specifies the maximum number of processor threads
- isOnImage(..., Software => ...) -- specify software for homotopy continuation
- isOnImage(..., Threshold => ...) -- computes a pseudo-witness set for the image of a variety
- isOnImage(..., Verbose => ...) -- display detailed output
- isOnImage(List,Ideal,Point) -- tests whether a point lies on the image of a variety
- isOnImage(Matrix,Ideal,Point) -- tests whether a point lies on the image of a variety
- isOnImage(PseudoWitnessSet,Point) -- tests whether a point lies on the image of a variety
- isOnImage(RingMap,Ideal,Point) -- tests whether a point lies on the image of a variety
- MaxAttempts -- computes a pseudo-witness set for the image of a variety
- MaxPoints -- computes a pseudo-witness set for the image of a variety
- MaxThreads -- specifies the maximum number of processor threads
- net(NumericalInterpolationTable) -- the class of all NumericalInterpolationTables
- net(PseudoWitnessSet) -- the class of all pseudo-witness sets
- numericalHilbertFunction -- computes the values of the Hilbert function for the image of a variety
- numericalHilbertFunction(..., ConvertToCone => ...) -- specifies whether to convert image to a cone
- numericalHilbertFunction(..., Precondition => ...) -- computes numerical kernel dimension of a matrix
- numericalHilbertFunction(..., Software => ...) -- specify software for homotopy continuation
- numericalHilbertFunction(..., SVDGap => ...) -- computes numerical kernel dimension of a matrix
- numericalHilbertFunction(..., UseSLP => ...) -- computes the values of the Hilbert function for the image of a variety
- numericalHilbertFunction(..., Verbose => ...) -- display detailed output
- numericalHilbertFunction(List,Ideal,List,ZZ) -- computes the values of the Hilbert function for the image of a variety
- numericalHilbertFunction(List,Ideal,ZZ) -- computes the values of the Hilbert function for the image of a variety
- numericalHilbertFunction(Matrix,Ideal,List,ZZ) -- computes the values of the Hilbert function for the image of a variety
- numericalHilbertFunction(Matrix,Ideal,ZZ) -- computes the values of the Hilbert function for the image of a variety
- numericalHilbertFunction(RingMap,Ideal,List,ZZ) -- computes the values of the Hilbert function for the image of a variety
- numericalHilbertFunction(RingMap,Ideal,ZZ) -- computes the values of the Hilbert function for the image of a variety
- numericalImageDegree -- computes the degree of the image of a variety
- numericalImageDegree(..., DoRefinements => ...) -- computes a pseudo-witness set for the image of a variety
- numericalImageDegree(..., DoTraceTest => ...) -- computes a pseudo-witness set for the image of a variety
- numericalImageDegree(..., MaxAttempts => ...) -- computes a pseudo-witness set for the image of a variety
- numericalImageDegree(..., MaxPoints => ...) -- computes a pseudo-witness set for the image of a variety
- numericalImageDegree(..., MaxThreads => ...) -- specifies the maximum number of processor threads
- numericalImageDegree(..., Repeats => ...) -- computes a pseudo-witness set for the image of a variety
- numericalImageDegree(..., Software => ...) -- specify software for homotopy continuation
- numericalImageDegree(..., Threshold => ...) -- computes a pseudo-witness set for the image of a variety
- numericalImageDegree(..., TraceThreshold => ...) -- computes a pseudo-witness set for the image of a variety
- numericalImageDegree(..., Verbose => ...) -- display detailed output
- numericalImageDegree(List,Ideal) -- computes the degree of the image of a variety
- numericalImageDegree(Matrix,Ideal) -- computes the degree of the image of a variety
- numericalImageDegree(PseudoWitnessSet) -- computes the degree of the image of a variety
- numericalImageDegree(RingMap,Ideal) -- computes the degree of the image of a variety
- numericalImageDim -- computes the dimension of the image of a variety
- numericalImageDim(..., Software => ...) -- specify software for homotopy continuation
- numericalImageDim(List,Ideal) -- computes the dimension of the image of a variety
- numericalImageDim(List,Ideal,Point) -- computes the dimension of the image of a variety
- numericalImageDim(Matrix,Ideal) -- computes the dimension of the image of a variety
- numericalImageDim(Matrix,Ideal,Point) -- computes the dimension of the image of a variety
- numericalImageDim(RingMap,Ideal) -- computes the dimension of the image of a variety
- numericalImageDim(RingMap,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(List,Ideal) -- samples general points on the image of a variety
- numericalImageSample(List,Ideal,List,ZZ) -- samples general points on the image of a variety
- numericalImageSample(List,Ideal,ZZ) -- samples general points on the image of a variety
- numericalImageSample(Matrix,Ideal) -- samples general points on the image of a variety
- numericalImageSample(Matrix,Ideal,List,ZZ) -- samples general points on the image of a variety
- numericalImageSample(Matrix,Ideal,ZZ) -- samples general points on the image of a variety
- numericalImageSample(RingMap,Ideal) -- samples general points on the image of a variety
- numericalImageSample(RingMap,Ideal,List,ZZ) -- samples general points on the image of a variety
- numericalImageSample(RingMap,Ideal,ZZ) -- samples general points on the image of a variety
- NumericalImplicitization -- implicitization using numerical algebraic geometry
- NumericalInterpolationTable -- the class of all NumericalInterpolationTables
- numericalNullity -- computes numerical kernel dimension of a matrix
- numericalNullity(..., Precondition => ...) -- computes numerical kernel dimension of a matrix
- numericalNullity(..., SVDGap => ...) -- computes numerical kernel dimension of a matrix
- numericalNullity(..., Verbose => ...) -- display detailed output
- numericalNullity(List,Boolean) -- computes numerical kernel dimension of a matrix
- numericalNullity(Matrix) -- computes numerical kernel dimension of a matrix
- numericalNullity(Matrix,Boolean) -- computes 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,Point) -- samples a general point on a variety
- numericalSourceSample(Ideal,Thing,ZZ) -- samples a general point on a variety
- numericalSourceSample(Ideal,WitnessSet) -- samples a general point on a variety
- numericalSourceSample(Ideal,ZZ) -- samples a general point on a variety
- Precondition -- computes numerical kernel dimension of a matrix
- PseudoWitnessSet -- the class of all pseudo-witness sets
- pseudoWitnessSet -- computes a pseudo-witness set for the image of a variety
- pseudoWitnessSet(..., DoRefinements => ...) -- computes a pseudo-witness set for the image of a variety
- pseudoWitnessSet(..., DoTraceTest => ...) -- computes a pseudo-witness set for the image of a variety
- pseudoWitnessSet(..., MaxAttempts => ...) -- computes a pseudo-witness set for the image of a variety
- pseudoWitnessSet(..., MaxPoints => ...) -- computes a pseudo-witness set for the image of a variety
- pseudoWitnessSet(..., MaxThreads => ...) -- specifies the maximum number of processor threads
- pseudoWitnessSet(..., Repeats => ...) -- computes a pseudo-witness set for the image of a variety
- pseudoWitnessSet(..., Software => ...) -- specify software for homotopy continuation
- pseudoWitnessSet(..., Threshold => ...) -- computes a pseudo-witness set for the image of a variety
- pseudoWitnessSet(..., TraceThreshold => ...) -- computes a pseudo-witness set for the image of a variety
- pseudoWitnessSet(..., Verbose => ...) -- display detailed output
- pseudoWitnessSet(List,Ideal) -- computes a pseudo-witness set for the image of a variety
- pseudoWitnessSet(List,Ideal,List,Thing) -- computes a pseudo-witness set for the image of a variety
- pseudoWitnessSet(List,Ideal,Point) -- computes a pseudo-witness set for the image of a variety
- pseudoWitnessSet(Matrix,Ideal) -- computes a pseudo-witness set for the image of a variety
- pseudoWitnessSet(Matrix,Ideal,List,Thing) -- computes a pseudo-witness set for the image of a variety
- pseudoWitnessSet(Matrix,Ideal,Point) -- computes a pseudo-witness set for the image of a variety
- pseudoWitnessSet(RingMap,Ideal) -- computes a pseudo-witness set for the image of a variety
- pseudoWitnessSet(RingMap,Ideal,List,Thing) -- computes a pseudo-witness set for the image of a variety
- pseudoWitnessSet(RingMap,Ideal,Point) -- computes a pseudo-witness set for the image of a variety
- Repeats -- computes a pseudo-witness set for the image of a variety
- sourceEquations -- the class of all pseudo-witness sets
- sourceSlice -- the class of all pseudo-witness sets
- SVDGap -- computes numerical kernel dimension of a matrix
- TraceThreshold -- computes a pseudo-witness set for the image of a variety
- UseSLP -- computes the values of the Hilbert function for the image of a variety
- witnessPointPairs -- the class of all pseudo-witness sets