WSet -- (under construction!) new types and methods needed to generalize WitnessSet

Types of (abstract) witness set:

• WitnessSet -- a witness set

Methods that use a (abstract) witness set:

• ambient(WSet)
• codim(WSet)
• degree(WSet)
• dim(WSet)
• net(WSet)
• points(WSet)

For the programmer

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

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