poly module: (C) 2002 Sebastian Ritterbusch

This module includes the generic poly datatype into Rascal. You may
construct polynomes from monomes produced by 'poly("X")', but it is 
more useful to directly assign X to the named monome:

   >X=poly("X");

Now polynomes can be created as

   >p=X*X+2*X+4;
   >q=(X+1)^5;
   >q(1)
    32

You can compute the symbolic derivative as

   >p'
    2*X+2
   >p'(3)
    8