 Samuel W. Flint
|
8c473777a8
Added Classification Case
|
8 years ago |
|
Samuel W. Flint
|
0b8ea95f6d
Wrote about polynomial classification
|
8 years ago |
|
Samuel W. Flint
|
b48044a741
Added base tangent manipulator
|
8 years ago |
|
Samuel W. Flint
|
758630c5fa
Added a basic manipulator for sine
|
8 years ago |
|
Samuel W. Flint
|
7d5d263efe
Added a basic manipulator for sin
|
8 years ago |
|
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 |
