>x+y+z</code> es una subexpresión completa de  <code>2*(x+y+z)/w</code> mientras que <code>x+y</code> no lo es. Cuando <var>b</var> no cumple esta característica, se puede utilizar en algunos casos <code>substpart</code> o <code>ratsubst</code>
(ver más abajo).  Alternativamente, si <var>b</var> no es de la forma <code>e/f</code> entonces se puede usar <code>subst (a*f, e, c)</code>, pero si <var>b</var> es de la forma <code>e^(1/f)</code> se debe usar <code>subst (a^f, e, c)</code>.  La instrucción <co