[ 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