<< f [[L1 R1] ... [Ln Rn]] replace g >> poly f, L1, R1, ..., Ln, Rn, g; <<replace>> applies the rules L1-->R1, ..., Ln-->Rn to transform f. Example: (x^2+x+1). [[(x). (2).]] replace :: ---> 7