truncatedDual point bug fixed.  gCorners in working order.
Merge branch 'NAG' of github.com:antonleykin/M2
todo and minor changes
regrouped some functions
various changes to NumericalHilbert
Cauchy endgame test: indeterminancy fixed
Merge branch 'master' of github.com:kroner/M2 into NAG
isOn is a unique component membership command; isOn(P,W,n) checks the membership of P in the projection onto first n coordinates
changed some code for WitnessSet; (random, WitnessSet) truncates the sampled point to the number of coordinates specified by the key ProjectionDimension
new data type for truncated dual computation etc
Merge branch 'NAG' of github.com:antonleykin/M2
minor fixes
proposed partitioning of dualSpace and NPD functions
a lot of changes in refine; new method 'sample WitnessSet' (takes Tolerance option)
reorganization of code.  2 new files
NAG/intersection.m2 implements hypersurfaceSection, which simplifies regeneration considerably
Merge branch 'master' of github.com:kroner/M2 into NAG

# Please enter a commit message to explain why this merge is necessary,
# especially if it merges an updated upstream into a topic branch.
#
# Lines starting with '#' will be ignored, and an empty message aborts
# the commit.
Merge branch 'NAG' into linalg