CAS systémy jsou schopny pracovat s formulemi a řešit úlohy, ve kterých se vyskytují 
neznamé a parametry.

solve(a*x^2+b*x+c,x);

Zde a,b a c jsou parametry a x je neznámá. Jsou použity jako symboly. Toto použití 
"volných proměnných", které neukazují na žádnou hodnotu, kromě jejich vlastního jména, 
je charakteristické pro symbolické systémy.

Promennym prirazujeme hodnoty pomoci operatoru :. jmeno:vyraz

pol:9*x^3-37*x^2+47*x-19;

factor(pol);

x;pol;

x:19/9;

x;pol;

Narozdíl od Maplu zde nedochází k úplnému vyhodnocení.

ev(pol,x:19/9);

kill(pol);

pol;

Příkaz kill(all) zruší nastavení všech proměnných.

kill(all);

ev(solve(a*x+b=0),x,a:3,b:12);

a;

Vidíme, že přiřazení hodnot proměnným a, b bylo jen lokální 
(v rámci příkazu ev). Vně příkazu nemá proměnná a přiřazenu 
žádnou hodnotu.

a:9/4;

exp(a);

ev(exp(a),float);

kill(all);

## Funkce assume a forget

sqrt(a^2);

assume(a>0);

is (a>0);

sqrt(a^2);

forget(a>0);

sqrt(a^2);

Zmenu predpokladu muzeme provest az po jeho zruseni (forget).

Pomoci assume a forget muzeme zadat i vice predpokladu zaraz.

assume(n+1>0,m+1>0);

integrate(a*x^n+b*x^m, x);