Function sequant::simplify(ResultExpr&)¶
Defined in File expr_algorithms.cpp
Function Documentation¶
-
ResultExpr &sequant::simplify(ResultExpr &expr)¶
Simplifies an Expr by a combination of expansion, canonicalization, and rapid_simplify
See also
Note
the canonicalization options are those of the default context
- Parameters:
expr – [inout] expression to be simplified; may be replaced (i.e.
&exprmay be mutated by call)- Returns:
exprto facilitate chaining