Dagwood

Dagwood: A system for manipulating polynomials given by straight-line programs