(27) SAM - A Symbolic and Algebraic Manipulation System on PSI

	Machine:     PSI-II
	Environment: SIMPOS
	Language:    ESP
	Source Code: 600 KB
	Documents:A  Manual (Japanese)

Overview

A software which performs algebraic computation.

Configuration

  1. Interpreter/Evaluator Reads and interprets mathematical expressions together with commands for algebraic computations, and evaluates the commands to process them.
  2. Computation Engine Performs algebraic computations given by the evaluator.
  3. Output Part Displays result of the computation.

Function

While the computation of numerical softwares is based on approximate arithmetics over numerical values represented by floating numbers with limited precisions, the computation of this software is based on exact numbers, such as integers and rational numbers with arbitrary precision so that it can deal with algebraic computations over mathematical expressions in exact symbolic form.

It can handle the following data.

  1. Integers and rational numbers with arbitrary precision.
  2. Residue class rings of rational integers, especially Galois fields.
  3. Algebraic extension fields of the rational number field, (√2, and √-1 for example.)
  4. Polynomials and rational functions.
  5. Mathematical esxpressions with exp, log.
  6. Vectors and matrices.
  7. Lists.
  8. Arrays.
The higher algebraic facilities include:
  1. Greatest common devisor computation of polynomials.
  2. Factorization of polynomials.
  3. Resultant of polynomials.
  4. Symbolic differentiation.
  5. Indefinite integrals of rational functions and some kind of elementary functions.
A programming language SAM and its interpreter/evaluator is available for processing higher level algebraic computations.

FTP

www-admin@icot.or.jp