Next: Package scifac, Previous: Package ineq, Up: simplification [Contents][Index]
exprの定部分式を構成された定アトムで置き換え、
これら構成された定数すべての定義を等式のリストconst_eqnsに保存し、
修正されたexprを返します。
exprのそれらのパーツは、関数constantpが施された時trueを返す
定数です。
それゆえ、
reduce_constsを呼び出す前に、
declare ([objects to be given the constant property], constant)$
をして、自分の式に現れる定数量のデータベースを設定すべきです。
もしこれらの数式計算の後、Fortran出力を生成する予定があるなら、 最初のコードセクションの1つはすべての定数の計算であるべきです。 このコードセグメントを生成するには、
map ('fortran, const_eqns)$
を実行してください。
reduce_constsに影響するconst_eqns
を除いた変数は以下の通りです:
const_prefix (デフォルト値: xx)
定部分式を表すためにreduce_constsが生成するシンボルすべてに接頭として付けるのに使われる文字列です。
const_counter (デフォルト値: 1)は
reduce_constsが見つける定部分式それぞれを表すためのユニークなシンボルを生成するのに使われる整数添字です。
load ("rducon")はこの関数をロードします。
demo (rducon)はこの関数のデモを見せます。
Next: Package scifac, Previous: Package ineq, Up: simplification [Contents][Index]