Macaulay2 » Documentation
Packages » PHCpack :: factorWitnessSet
next | previous | forward | backward | up | index | toc

factorWitnessSet -- applies monodromy to factor a witness set into irreducible components

Description

A witness set is irreducible if there exists a path between any two of its generic points that does not pass through a singularity.

We illustrate the factorization via the twisted cubic and a line.

i1 : R = CC[x,y,z]; f = {(x^2-y)*(x-1), x^3 - z};
i3 : (w,ns) = topWitnessSet(f,1);
i4 : w

o4 = w

o4 : WitnessSet
i5 : L = factorWitnessSet(w)
found 2 irreducible factors 

o5 = L

o5 : NumericalVariety

See also

Ways to use factorWitnessSet:

  • factorWitnessSet(WitnessSet)

For the programmer

The object factorWitnessSet is a method function with options.


The source of this document is in /build/reproducible-path/macaulay2-1.25.06+ds/M2/Macaulay2/packages/PHCpack/PHCpackDoc.m2:397:0.