next | previous | forward | backward | up | top | index | toc | Macaulay2 web site
NAGtypes :: WitnessSet

WitnessSet -- a witness set

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 rest use peek.

Functions and methods returning a witness set :

Methods that use a witness set :

For the programmer

The object WitnessSet is a type, with ancestor classes MutableHashTable < HashTable < Thing.