secant(I,n)
This function computes the kth secant of I by constructing the abstract secant and then projecting with elimination.
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.
Setting the optional argument DegreeLimit to \{d\} will produce only the generators of the secant ideal up to degree d.
This method is general and will work for arbitrary polynomial ideals, not just phylogenetic ideals.
|
|
|
The object secant is a method function with options.