Maxima 5.46.0 Manual: Package rducon

Next: Package scifac, Previous: Package ineq, Up: simplification [Contents][Index]

### 75.6 Package rducon

Expressions ·Share packages ·Package rducon ·

関数: reduce_consts (expr)

  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)`はこの関数のデモを見せます。

  Package rducon ·Expressions ·

Next: Package scifac, Previous: Package ineq, Up: simplification [Contents][Index]