AMP
Algebraic Manipulation Package