Commit History

Author SHA1 Message Date
  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
  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