diff options
| author | Thomas Guillermo Albers Raviola <thomas@thomaslabs.org> | 2026-08-05 11:25:01 +0200 |
|---|---|---|
| committer | Thomas Guillermo Albers Raviola <thomas@thomaslabs.org> | 2026-08-05 11:25:01 +0200 |
| commit | 52d04fc67718c6c3a083a2920fd1239ad09b9797 (patch) | |
| tree | e161744a379a69bdcb1cafb925cf821cc9bd8d4e /series.mac | |
| parent | bef685b81cb4c96ef119f628814559873b201aff (diff) | |
Diffstat (limited to 'series.mac')
| -rw-r--r-- | series.mac | 3 |
1 files changed, 2 insertions, 1 deletions
@@ -174,7 +174,8 @@ matchdeclare(m_any1, lambda ([e], freeof(β, γ, Φ, e))); matchdeclare(m_any2, lambda ([e], freeof(β, γ, Φ, e))); matchdeclare(m_any3, lambda ([e], freeof(β, γ, Φ, e))); matchdeclare(m_any4, lambda ([e], freeof(β, γ, Φ, e))); -matchdeclare(m_exp_expr, lambda ([e], e = β_expr or e = γ_expr or e = Φ_expr)); +matchdeclare(m_exp_expr, lambda ([e], + e = β_expr or e = γ_expr or e = Φ_expr or e = e_expr)); /* Replace β, γ and Φ expressions into a symbolic representation */ defrule(r_wrap_exp, |