[ library(linearize) | Reference Manual | Alphabetic Index ]
Renormalize a polynomial form
- Possibly denormal polynomial form
- Normalized polynomial form
See polynorm/3 for the definition of the polynomial form.
Such a form can become denormalized due to unifications
(instantiation or variable-variable aliasing). This predicate
?- polynorm(3*(X+Y), Poly1, ), writeln(Poly1),
Y = 3,
polyrenorm(Poly1, Poly2), writeln(Poly2).
[[[3, X], [3, Y]]]
[[], [[3, X]]]
polynorm / 3, polydenorm / 2