A randomized algorithm for computing the affine dimension of a secant of a toric variety using Terracini's Lemma.
Here the kth secant means the join of k copies of I. Setting k to 1 gives the dimension of the ideal, while 2 is the usual secant, and higher values correspond to higher order secants.
The matrix A defines a parameterization of the variety. The algorithm chooses k vectors of parameter values at random from a large finite field. The dimension of the sum of the tangent spaces at those points is computed.
This algorithm is much much faster than computing the secant variety.
|
|
|
|
|
The object toricSecantDim is a method function.