Function sequant::simplify(ExprPtr&)¶
Defined in File expr_algorithms.cpp
Function Documentation¶
-
ExprPtr &sequant::simplify(ExprPtr &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