REDUCE

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 Declaring Expressions Positive or Negative