Dynamic Computer Algebra System

Dcas és un programa d'àlgebra computacional que té com a característica principal l'us d'identitats com a regles per a la manipulació d'àlgebra. Robert Fenichel va desenrollar un programa cridat FAMOUS en la década de 1970 usant el llenguage de programació LISP en el mateix fi.

Martin Johansen ha desenrollat un nou programa basat en Dcas, cridat DCAS Ether. El programa treballa seleccionant una classe d'identitats basades en la forma de l'expressió d'entrada.

Els següents són eixemples de colecció d'identitats, el primer per a àlgebra bàsica, el següent per a operacions boleanas:

/* Llei distributiva*/

	x*(a + b) = ax + bx;

/* Potenciació*/

	(ab)^c = a^cb^c;
	(a^b)^c = a^(bc);

/* Suma, resta*/

	solveequ(x, (gfvi(f(x)) + gfve(a(x)) = gfve(b(x)))) = solveequ(x, f = b - a);
	solveequ(x, (gfvi(f(x)) + gfve(a(x)) + c = gfve(b(x)))) = solveequ(x, f + c = b - a);

/* Multiplicació, divisió */

	solveequ(x, (gfvi(f(x))*gfve(a(x))c = gfve(b(x)))) = solveequ(x, fc = b/a);
	solveequ(x, gfvi(f(x))*gfve(a(x)) = gfve(b(x))) = solveequ(x, f = b/a);

Vore també

• Llista de programes d'àlgebra computacional