 Samuel W. Flint
|
80848b4837
Added some trigonometric manipulator stuff
|
8 years ago |
|
Samuel W. Flint
|
263848d2fe
Added a basic division manipulator
|
8 years ago |
|
Samuel W. Flint
|
1a50a737bd
Added basic multiplication manipulator
|
8 years ago |
|
Samuel W. Flint
|
53d758ab87
Wrote about miscellaneous functions
|
8 years ago |
|
Samuel W. Flint
|
3bd31622ec
Updated the classify function, should be a bit more efficient
|
8 years ago |
|
Samuel W. Flint
|
e953abd8f7
Export a couple of other symbols
|
8 years ago |
|
Samuel W. Flint
|
47a6388e75
Added a simple trigonometric classification
|
8 years ago |
|
Samuel W. Flint
|
486af29d73
Wrote about packaging
|
8 years ago |
|
Samuel W. Flint
|
8beaccf26c
Fixed manipulate
|
8 years ago |
|
Samuel W. Flint
|
8b7cbe5512
Changed to working
|
8 years ago |
|
Samuel W. Flint
|
6e9b2fc1c8
Added an ID
|
8 years ago |
|
Samuel W. Flint
|
627756e123
Temporarily remove term collection from the system
|
8 years ago |
|
Samuel W. Flint
|
ee61b38775
Wrote about many of the classifications
|
8 years ago |
|
Samuel W. Flint
|
3ee4837255
Wrote about classifications and added non-atomics
|
8 years ago |
|
Samuel W. Flint
|
139bbb5bd9
Wrote about the storage of classifications
|
8 years ago |
|
Samuel W. Flint
|
01a874f896
Wrote about expression classification
|
8 years ago |
|
Samuel W. Flint
|
cd95e82556
Updated to use classification instead of type, more consistent
|
8 years ago |
|
Samuel W. Flint
|
c0a1e3dd6a
Wrote about classification checking, and renamed expression-type-p to classified-as-p
|
8 years ago |
|
Samuel W. Flint
|
29df433860
Wrote about classification definition, updated classifier definition macro
|
8 years ago |
|
Samuel W. Flint
|
04e06ab518
Moved classification storage to the end
|
8 years ago |
|
Samuel W. Flint
|
8f765b1d67
Wrote introduction to expression typing
|
8 years ago |
|
Samuel W. Flint
|
e48ed0d6b2
Removed expression-type, not needed
|
8 years ago |
|
Samuel W. Flint
|
87ef1a9eea
Archived the Rewrite rules, will be needed for other part of the system
|
8 years ago |
|
Samuel W. Flint
|
5cb5d2decc
Added an ID
|
8 years ago |
|
Samuel W. Flint
|
3560b96364
Changed to define-operation, fixed a couple of minor things and added
|
8 years ago |
|
Samuel W. Flint
|
dba42566e3
Fixed a couple of polynomial functions
|
8 years ago |
|
Samuel W. Flint
|
9546edb01a
Changed to define-classification and added trig classifications
|
8 years ago |
|
Samuel W. Flint
|
193478007f
Don't export rewrite rules, they aren't done yet
|
8 years ago |
|
Samuel W. Flint
|
a46e7fd1b2
Added start of manipulators for multiplication
|
8 years ago |
|
Samuel W. Flint
|
1b92cba2f0
Moved some functions around
|
8 years ago |
