fixed linear eqn win condition
changed bounds used to copy monomials
changed polynomial generation
changed bounds for copying coefficients
added condition to avoid generating fractions with zero denominators
added first version of fraction addition rule
simplified add fractions (same denom)
added conditions for addDiffFrac rule
addDiffFrac rule partially complete (denominator is correct)
addDiffFrac numerator has correct structure
first version addDiffFrac rule
fixed minor bug in addcommonterms condition
changed solver to count number of rule applications occuring in a solution
added rule params for addCommTerms
added rule params for fracCancel
fixed bug with addDiffFrac and added rule params for add same frac
added condition so denoms are not reducible to zero
fixed minor bug with denom constraints