next | previous | forward | backward | up | top | index | toc | Macaulay2 web site
NumericalImplicitization :: isWellDefined(PseudoWitnessSet)

isWellDefined(PseudoWitnessSet) -- whether a point lies on the image of a variety

Synopsis

Description

This method checks that the underlying data type of an object represents a well-defined pseudo-witness set or numerical interpolation table.

For NumericalInterpolationTable: this method checks that the underlying HashTable has the following keys: hilbertFunctionArgument, hilbertFunctionValue, imagePoints, interpolationBasis, interpolationSVD, map, and that these keys have the expected types.

For PseudoWitnessSet: this method checks that the underlying HashTable has the following keys: isCompletePseudoWitnessSet, imageDegree, map, sourceEquations, sourceSlice, imageSlice, witnessPointPairs, traceTest, and that these keys have the expected types.

See also