Common Lisp Package: MINI-CAS

README:

FUNCTION

Public

Undocumented

CAS* (&REST ARGS)

CAS+ (&REST ARGS)

CAS- (ARG)

CAS-COS (X)

CAS-SIN (X)

CAS/ (NUM DEN)

Private

FULL-SIMPLIFY (FORM)

Keep simplifying the form until a fixed point is reached.

Undocumented

/DEN (QUOTIENT)

/NUM (QUOTIENT)

TEST-FULL-DERIVATIVE

TEST-SIMPLIFICATION

TRANSPOSE (ARRAY)

MACRO

Private

Undocumented

CHECK (FORM EXPECTED)

GENERIC-FUNCTION

Public

Undocumented

FULL-DERIVATIVE (FORM VAR)

Private

*REDUCE (A B)

Methods for reducing added pairs - return nil or the sum

+REDUCE (A B)

Methods for reducing added pairs - return nil or the sum

CANONIC-ORDER-PRED (A B)

predicate for sorting terms, extend for entries in the same class

CANONIC-ORDER-RANK (FORM)

ordering of form types

CAS-SUBSTITUTE (NEW OLD FORM)

Like CL:substitute, but do a deep recursive replacement.

Undocumented

CANONIC-ORDER (FORM)

CANONIC-ORDER-LIST (CAR CDR)

CAS-EQUAL (A B)

CAS-SUBSITUTE (NEW OLD FORM)

FULL-DERIVATIVE-LIST (CAR CDR VAR)

SIMPLIFY (FORM)

SIMPLIFY-LIST (CAR CDR)