Macaulay2 » Documentation
Packages » NAGtypes :: WitnessSet
next | previous | forward | backward | up | index | toc

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: Also one may determine 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:

See also

Types of witness set:

Functions and methods returning a witness set:

Methods that use a witness set:

  • declareIrreducible(WitnessSet) -- see declareIrreducible -- declares a component represented by the witness set irreducible
  • generalEquations(WitnessSet) -- see generalEquations -- random linear combinations of equations/generators
  • codim(WitnessSet)
  • degree(WitnessSet)
  • dim(WitnessSet)
  • equations(WitnessSet)
  • ideal(WitnessSet)
  • net(WitnessSet)
  • points(WitnessSet)
  • ring(WitnessSet)
  • slice(WitnessSet)

For the programmer

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


The source of this document is in NAGtypes/doc-NAGtypes.m2:590:0.