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.
The source of this document is in /build/reproducible-path/macaulay2-1.25.06+ds/M2/Macaulay2/packages/PhylogeneticTrees.m2:1383:0.