Maximaでは、少数の予約語を除く英数字からなる語に、定数・変数（スカラー・ベクトル・行列）だけでなく、式、関数、演算子、事実、属性、文脈、lispのコマンドなどを割り当てたり、定義することができる。Maximaではこの様に広く対応する語をatom(原子)と呼ぶ。しかし、本書では数学に対応させてMaximaの解説をおこなうので、定数、変数、関数と場合により呼びわけることにする。
変数に具体的数式を1対1で対応させる場合は、割り当て(assignment)をおこなう。
記号によって、左の変数に右の内容を割り当てる。
右が定数なら代入、多項式なら関数定義、方程式なら方程式に名前をつけたことになる。
基本的には:記号と同じであるが、左の変数(変数1,変数2,...)の変数1,変数2,...に右の式の変数1,...に対応するして、置き換えの機能を持つ。簡易な関数定義../関数を定義するになるが、置き換えられるまで右の式が評価されないので、注意しよう。
values()は現在具体的な実態を割り当てられ定義された文字の一覧を返す。
kill(変数名)は変数名に割り当てられた定義を消す。
kill(all)はすべての割り当てられた定義を消す。
変数は複数ある場合、優先順位をつけることができる。優先順位の低い変数は分解されやすく、式の後ろの方にまわされる。Maximaでの変数序列は次のようになる。
ここで定数(constant)とは、他の変数の影響をまったく受けない不変の数のことである。
declare(a1,属性1,a2,属性2,...)は、a1に属性1,a2に属性2,を付ける。変数の序列にかかわる属性としては、
constant - 定数(%pi,%eと同じ)。
がある。
ordergrate(変数1,変数2,..)は変数の順位を上げる。
orderless(変数1,変数2,..)は変数を順位を下げる。
unorder(変数1,変数2,..)は変数の順位を普通にもどす。
ordergreatp(変数1,変数2)は変数1>変数2の順のときtrueを返す。
constantp(式)は式が定数か定数の関数であるときにtrueを返す。