 Samuel W. Flint
|
627756e123
Temporarily remove term collection from the system
|
9 years ago |
|
Samuel W. Flint
|
ee61b38775
Wrote about many of the classifications
|
9 years ago |
|
Samuel W. Flint
|
3ee4837255
Wrote about classifications and added non-atomics
|
9 years ago |
|
Samuel W. Flint
|
139bbb5bd9
Wrote about the storage of classifications
|
9 years ago |
|
Samuel W. Flint
|
01a874f896
Wrote about expression classification
|
9 years ago |
|
Samuel W. Flint
|
cd95e82556
Updated to use classification instead of type, more consistent
|
9 years ago |
|
Samuel W. Flint
|
c0a1e3dd6a
Wrote about classification checking, and renamed expression-type-p to classified-as-p
|
9 years ago |
|
Samuel W. Flint
|
29df433860
Wrote about classification definition, updated classifier definition macro
|
9 years ago |
|
Samuel W. Flint
|
04e06ab518
Moved classification storage to the end
|
9 years ago |
|
Samuel W. Flint
|
8f765b1d67
Wrote introduction to expression typing
|
9 years ago |
|
Samuel W. Flint
|
e48ed0d6b2
Removed expression-type, not needed
|
9 years ago |
|
Samuel W. Flint
|
87ef1a9eea
Archived the Rewrite rules, will be needed for other part of the system
|
9 years ago |
|
Samuel W. Flint
|
5cb5d2decc
Added an ID
|
9 years ago |
|
Samuel W. Flint
|
3560b96364
Changed to define-operation, fixed a couple of minor things and added
|
9 years ago |
|
Samuel W. Flint
|
dba42566e3
Fixed a couple of polynomial functions
|
9 years ago |
|
Samuel W. Flint
|
9546edb01a
Changed to define-classification and added trig classifications
|
9 years ago |
|
Samuel W. Flint
|
193478007f
Don't export rewrite rules, they aren't done yet
|
9 years ago |
|
Samuel W. Flint
|
a46e7fd1b2
Added start of manipulators for multiplication
|
9 years ago |
|
Samuel W. Flint
|
1b92cba2f0
Moved some functions around
|
9 years ago |
|
Samuel W. Flint
|
f30d8e34c0
Got vary far on the manipulator
|
9 years ago |
|
Samuel W. Flint
|
12e71220b7
Started writing algebraic manipulator
|
9 years ago |
