7.3. Simplificaciones

7.3.1. Sustitución de expresiones

Es posible realizar sustituciones en nuestros cálculos. Hay veces que necesitamos escribir expresiones muy largas que han de ser tratadas. Para simplificar su escritura las podemos sustuituir por otras y una vez terminados los cálculos volver a ponerlas en su forma original:

In> Simplify((x+3*x^2)^2-(2+x^2-3*x^3);
Out> 9*x^4+9*x^3-2;
In> Subst(x, Cos(a)+Ln(b)) %;
Out> 9*(Cos(a)+Ln(b))^4+9*(Cos(a)+Ln(b))^3-2;
In>
	  

7.3.2. Reglas de simplificación

Es posible indicar algunas reglas de simplificación que no se hacen por defecto, para ello disponemos de los operadores /: y /::.

In> Sin(x)*Ln(a*b);
Out> Sin(x)*Ln(a*b);
In> % /: {Ln(_x*_y) <- Ln(x)+Ln(y)};
Out> Sin(x)*(Ln(a)+Ln(b));
In>
	  

/: aplica las reglas de simplificación, pero puede ser necesario aplicarlas varias veces en ese caso se utiliza /:::

In> Sin(x)*Ln(a*b);
Out> Sin(x)*Ln(a*b);
In> % /: {a <- 2, b <- 3};
Out> Sin(x)*(Ln(2*3));
In> Sin(x)*Ln(a*b);
Out> Sin(x)*Ln(a*b);
In> % /:: {a <- 2, b <- 3};
Out> Sin(x)*(Ln(6));
In>
	  

Tenemos que tener cuidado a la hora de establecer las reglas ya que si establecemos reglas contradictorias podriamos entrar en un bucle infinito.