Function sequant::non_canon_simplify

• Defined in File expr_algorithm.hpp

Function Documentation

inline ExprPtr &sequant::non_canon_simplify(ExprPtr &expr)

Simplifies an Expr by a combination of expansion and rapid_simplify

See also

simplify()

Parameters:

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

Returns:

expr to facilitate chaining