Up | Next | Prev | PrevTail | Tail |

For substituting kernels in standard forms or standard quotients by other kernels or arbitrary algebraic expressions the following functions are available :

subf(f,a) | substitute a in SF f |

subsq(q,a) | substitute a in SQ q |

where a is a list of pairs, each with a kernel to be replaced
in the car and its replacement as algebraic form in the cdr
^{13},
e.g.

uhu := simp(’(expt(plus x y) 10));

otto:= subsq(uhu, ’((x . 5) (y . (plus a b))));

otto:= subsq(uhu, ’((x . 5) (y . (plus a b))));

Here x is replaced by 5 while y is replaced by a + b.

Note that

- both subf and subsq return a standard quotient (the substitution might have caused a non trivial denominator),
- subf and subsq also introduce substitutions which have been coded in rules - so it makes sense to call these routines with nil as the second argument if you have introduced a new rule and some standard forms or standard quotients need to be re simplified under these.

Up | Next | Prev | PrevTail | Front |