The coincident root locus associated with a partition λ=(λ1,...,λd) of a number n is the closed subvariety of the projective space ℙn = ℙ(Symn(K2)) given by binary forms that factor as L1λ1…Ldλd for some linear forms L1,...,Ld over K. For instance, if λ=(2,1,...,1), then we have the classical discriminant hypersurface; in the opposite case, if λ=(n) we have the rational normal curve of degree n.
The object CoincidentRootLocus is a type, with ancestor classes MutableHashTable < HashTable < Thing.