[ library(linearize) | The ECLiPSe Libraries | 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