REDUCE
UpNextPrevPrevTailTail

10 Assigning and Testing Algebraic Properties

Sometimes algebraic expressions can be further simplified if there is additional information about the value ranges of its components. The following section describes how to inform REDUCE of such assumptions.

10.1 REALVALUED Declaration and Check
10.2 SELFCONJUGATE Declaration
10.3 Declaring Complex Conjugates
10.4 Declaring Expressions Positive or Negative
UpNextPrevPrevTailFront

Hosted by Download REDUCE Powered by MathJax