library(linearize)

Predicates

delinearize(?Linear, -Expression)

Convert a linear form back to a standard arithmetic expression

linearize(?Expression, -Linear, -Residue)

Split and arithmetic expression into linear and nonlinear parts

linrenorm(+LinOld, -LinNew)

Renormalize a linear form

normalize(?, ?, ?)

No description available

polydenorm(?NormPoly, -Expression)

Convert a polynomial form back to a standard arithmetic expression

polynorm(?Expression, -NormPoly, -Residue)

Extracts and normalises the polynomial part of an arithmetic expression

polyrenorm(+PolyOld, -PolyNew)

Renormalize a polynomial form

quadnorm(?Expression, -Const, -Linear, -Quadratic, -PolyRes, -Residue)

Extracts constant, linear and quadratic part of an arithmetic expression

simplify(?, ?)

No description available

About

• Author: Joachim Schimpf, IC-Parc
• Copyright © Cisco Systems, Inc.
• Date: $Date: 2017/08/27 02:07:58 $