[ library(linearize) | Reference Manual | Alphabetic Index ]
# polyrenorm(+PolyOld, -PolyNew)

Renormalize a polynomial form
*PolyOld*
- Possibly denormal polynomial form
*PolyNew*
- Normalized polynomial form

## Description

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
renormalizes it.
## Examples

?- polynorm(3*(X+Y), Poly1, []), writeln(Poly1),
Y = 3,
polyrenorm(Poly1, Poly2), writeln(Poly2).
[[[3, X], [3, Y]]]
[[[9]], [[3, X]]]

## See Also

polynorm / 3, polydenorm / 2