[ library(linearize) | Reference Manual | Alphabetic Index ]

# polydenorm(?NormPoly, -Expression)

Convert a polynomial form back to a standard arithmetic expression

NormPoly
  Normalized polynomial form
Expression
  Arithmetic expression with constants and variables

## Examples

        ?- polynorm(2*5 + 3*(X+5*Y+7)*Z, Poly, []), polydenorm(Poly, Expr).
        X = X
        Y = Y
        Z = Z
        Poly = [[[10]], [[21, Z]], [[3, X, Z], [15, Y, Z]]]
        Expr = 10 + 21 * Z + 3 * X * Z + 15 * Y * Z
        yes.

## See Also

polyrenorm / 2, polynorm / 3