Simplification of ExpressionsSuppose we compute
Type: Union(f1: OrderedCompletion? Expression Integer,...)
And now I wonder why common factors are not cancelled and why not the result "1" is produced. In general (unlike some other computer math systems) Axiom automatically
performs only a very small number of basic simplifications. This is not
one of them, so we need to provide some help. In particular we need to
tell Axiom how to expand square roots. (Since
Type: RewriteRule?(Integer,Integer,Expression Integer)
Next, notice that the output of the integration operation has a complicated type structure. This would interfere with the simplification, so we first simplify the type before we apply the rule.
Type: Expression Integer
Type: Expression Integer
|