DixonMatrix - Fully constructs Dixon Matrix
DixonPolynomial - Computes Dixon polynomial from which Dixon matrix can be assembled. Used by "DixonMatrix" procedure.
DixonMults - Compute monomial multipliers to construct Dixon Dialytic matrix.
Polynomial2Matrix - Given polynomial construct a matrix based on two sets of variables. Used by "DixonMatrix" procedure.
ConstructDialyticMatrix - Given polynomials and monomial multipliers constructs Sylvester-like matrix.
SizeDialyticMatrix - Determine the size of dialytic matrix without constructing it.
RSCCriteria - Test whether a resultant matrix satisfies RSC criteria (i.e. contains at least one independent column), see [KSY94].
RSC - Find list of subset of columns (or rows) so that maximal minor can be formed.
More to come ...