（２７）数式処理システム：ＳＡＭ


	マ シ ン：PSI-II
	環　　境：SIMPOS
	言　　語：ESP
	ソース量：600 KB
	文　　書：マニュアル (日本語)

概要

記号を含む数式をそのまま計算するソフトウェアである。

構成

（１）インタプリタ／エバリュエータ
数式とその処理を指示する命令を解釈し、適切な計算を実行する。
（２） 計算エンジン
エバリュエータの指示により必要な計算を実行し結果を返す。
（３） 出力部
計算結果を表示する。

機能

数値計算では浮動小数点に基づき近似計算を行うが、本ソフトウェアでは任意 に大きい整数をもとに、誤差のない有理数での演算を基本とした数式そのまま での計算を行う。扱えるデータは、
  1. 任意桁の整数、分数
  2. 整数の剰余環（とくに剰余体）
  3. 代数拡大体（√２や√−１など）
  4. 上記を係数とする多項式、有理式
  5. exp, logなどの関数を用いた数式
  6. ベクトル、マトリクス
  7. リスト
  8. 配列
である。

システムが提供するやや高度な機能として、

  1. 多項式の最大公約多項式演算
  2. 多項式の因数分解
  3. 多項式の終結式
  4. 記号微分
  5. 有理関数の不定積分
  6. log,expを含む関数の不定積分
などがある。

これらの機能を利用してより複雑な数式の処理が可能なように、数式処理のた めの言語とそのインタプリタとが用意されている。

ＦＴＰ

www-admin@icot.or.jp