
polydenorm(?NormPoly, -Expression)

   Convert a polynomial form back to a standard arithmetic expression

Arguments
   NormPoly            Normalized polynomial form
   Expression          Arithmetic expression with constants and variables

Type
   library(linearize)

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
