Description
This type stores a witness set of an equidimensional solution component. The following methods can be used to access a
WitnessSet:
- ideal -- get the defining ideal of the algebraic superset
- equations -- get the list of defining polynomials of the algebraic superset
- slice -- get linear functions defining the slicing plane
- points -- get the list of witness points (which are zeroes of all above)
Also one may determine
- dim -- the dimension
- codim -- the codimension
- deg -- the degree (the number of witness points)
- ring -- the ring of the defining polynomials
Only dimension and degree are displayed (by
net); to see the data stored in a witness set use
peek.
For developers:
Required keys in a
WitnessSet are
Optional keys:
- ProjectionDimension -- an integer, the witness set describes a lifted variety (its projection on the first ProjectionDimension coordinates is the variety the witness set represents)