next up previous
: roll : Primitive Operators : reduction

replace

<< 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



Nobuki Takayama 平成20年1月30日