 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 |
|
Samuel W. Flint
|
f30d8e34c0
Got vary far on the manipulator
|
8 years ago |
|
Samuel W. Flint
|
12e71220b7
Started writing algebraic manipulator
|
8 years ago |
|
Samuel W. Flint
|
11b57caa21
Added a few more rules
|
8 years ago |
|
Samuel W. Flint
|
246a22dae3
Made a few modifications
|
8 years ago |
|
Samuel W. Flint
|
19794cd4c0
Completed Lisp To Tex
|
8 years ago |
|
Samuel W. Flint
|
c17b2fb184
Added a gitignore file
|
8 years ago |
|
Samuel W. Flint
|
c91d56e3d3
Initial commit, bringing stuff over
|
9 years ago |
