関数 trigsubs は有効な三角関数の恒等式のテーブルを扱います。

trigsubs が 1 つの引数 0 で呼び出されると、この手続きが知っている関数の集合が返されます。

trigsubs が 1 つの三角式 expr で呼び出されると、expr に等しい三角式のリストを返します。

trigsubs が三角関数の恒等式を表す 1 つの等式 s で呼び出されると、これがテーブルに属していると文字列 `found` が返され、そうでなければ `not found` が返されます。

trigsubs が 2 つの引数で呼び出されると、恒等式 s がテーブルに属するかどうかをチェックします。含まれる場合、関数はこの恒等式を expr に提供して結果を返します。そうでない場合、関数はエラーメッセージを返します。

この手続きが知らない恒等式を代入するには subs を使います。

trigsubs(0);

trigsubs(cos(a+b*w));

trigsubs(cos(w) = sin(w));

trigsubs(cos(w) = sin(w), 1);

Error, (in trigsubs) not found in table - use subs to over
ride

trigsubs(sin(2*z) = 2*cos(z)*sin(z), sin(2*z)*cos(z));