Function sequant::simplify(ExprPtr&, SimplifyOptions)

• Defined in File expr_algorithms.cpp

Function Documentation

ExprPtr &sequant::simplify(ExprPtr &expr, SimplifyOptions opts)

Simplifies an Expr by a combination of expansion, canonicalization, and rapid_simplify

See also

rapid_simplify()

Parameters:

• expr – [inout] expression to be simplified; may be replaced (i.e. &expr may be mutated by call)

• opts – [in] canonicalization options (if not given, uses CanonicalizeOptions::default_options() to obtain the default)

Returns:

expr to facilitate chaining