next up previous contents index
Next: NCSimplify1Rational[expr] Up: Simplification Previous: Simplification   Contents   Index

NCSimplifyRational[ expr ], NCSimplify1Rational[ expr ], and NCSimplify2Rational[ expr ]

Aliases: NCSR
Description: The objective is to simplify expressions which include polynomials and inverses of very simple polynomials. These work by appling a collection of relations implemented as rules to expr. The core of NCSimplifyRational is NCSimplify1Rational and NCSimplify2Rational; indeed roughly NCSimplifyRational[expr] $ =$ NCSimplify1Rational[NCSimplify2Rational[expr]] together with some NCExpand's. NCSimplify1Rational[expr] contains one set of rules while NCSimplify2Rational[expr] contains another.
Arguments: $ expr$ is an algebraic expression.
Comments / Limitations: Works only for a specialized class of functions.



NCAlgebra Project 2002-09-09