We present a software package for computing determinants of 
matrices with polynomial entries using an interpolator based 
on straight line programs (SLPs). One of the applications of 
this tool is computation of multivariate resultants. The tool 
enabled computing the determinant of a Dixon dialytic matrix, 
a multivariate resultant matrix based on the Dixon-Cayley 
formulation, for a PDE stability problem presented by Hong 
at ACA 2004, from which the resultant can be extracted by
factorization.


The software allows expressing interpolating polynomials as SLPs. 
Besides standard arithmetic operations (+,-,*,/,^), the determinant 
of a matrix with polynomial entries is considered an SLP statement. 
In its first release, the tool used Zippel's sparse probabilistic 
algorithm which interpolated one variable at a time with a few 
improvements. Zipple's algorithm has now been generalized to allow 
interpolation of many variables in a single stage. Recently, the 
tool has been expanded to allow interpolation of more general SLP 
statements, including implementation of interpolation algorithms 
by Kaltofen at al in which terms are pruned using a homogenizing 
variable.

An Maple interface for translating matrices with polynomial entries 
into a format acceptable by the package is available as well.