INTRODUCTION
------------
This is a symbolic manipulation library for the TI-Nspire (non-CAS). It does:
*univariate factorization
*grobner basis
*rational/hypergeometric summation
*rational integration
*differentiation
*polynomial multiplication, etc.
*expansion of expressions
*some simplification
*some equation solving (linear/quadratic in some expression)

IMPORTANT: NO IMPLIED MULTIPLICATION!!! Passing things like 2x-3y will give wrong answers

When the documentation says pass an expression as an argument, it means pass a string.
So to factor x^2-2*x+1 one would type alg\pfactor("x^2-2*x+1").

INSTALLATION
------------

Send everything except alg_docs.tns to your MyLib folder.

alg_docs.tns can go anywhere since it is documentation and not neccessary for program operation.

DESCRIPTION OF FILES
--------------------
alg.tns----main algebra library containing top-level functions.
gfp.tns----library for operations on modular (finite field) polynomials
gosper.tns----library for Gosper's hypergeometric summation algorithm
intg.tns----library for the Rothsein-Trager algorithm for rational integration
libchem.tns----chemistry library using libeq and libexpr, optional and incomplete
libeq.tns----equation solving library
libexpr.tns----the core expression tokenizing/parsing/expansion/simplification routines
linalg.tns----TI's Linear Algebra library
lll.tns----LLL Basis Reduction library, optional
mvpoly.tns----multivariate polynomial routines (reduction, grobner basis)
nt.tns----hacked version of TI's Number Theory library
poly.tns----operations on rational polynomials
rpoly.tns----operations on polynomials with coefficients a+b*sqrt(c), used by integrator
alg_docs.tns----documentation
README.txt----this file

KNOWN ISSUES
------------
*No argument checking/syntax error checking. Hence passing an invalid argument will give
 some sort of TI-OS error (such as a Dimension Error) or a WRONG ANSWER! Check your 
 arguments!
*Differentiator is significantly slower than a fast person.
*Simplifier is slow and doesn't do as much as it should.
*No implied multiplication (so write (2+1)*(3-1) not (2+1)(3-1)).
*Equation solver is incomplete.