[PATCH 3/3] Stronger normalisation method for powers.
authorVladimir V. Kisil <V.Kisilv@leeds.ac.uk>
Sun, 11 Oct 2020 17:03:30 +0000 (19:03 +0200)
committerRichard Kreckel <kreckel@ginac.de>
Sun, 11 Oct 2020 17:03:30 +0000 (19:03 +0200)
commita6af5fc29d24dbdd73fbb80bf4e0ec1e577a5eb1
treeea9dc9c0dac4bf86ffcd51334c1b2e785e772da9
parent9d9503cff68b40c4c5f6a2f9eb7ae9b32c53a486
[PATCH 3/3] Stronger normalisation method for powers.

Now normalisation method try to express powers with the same base
as monomials of some dummy variables. This allows to make cancellations
of the sort:
(x-1)/(sqrt(x)-1)  ->  sqrt(x)+1

Signed-off-by: Vladimir V. Kisil <V.Kisilv@leeds.ac.uk>
check/exam_normalization.cpp
ginac/normal.cpp