diff options
| -rw-r--r-- | series.mac | 6 |
1 files changed, 4 insertions, 2 deletions
@@ -191,10 +191,12 @@ expansions */ defrule(r_exp_β_val, β_expr(m_any1), β_expr_val(m_any1, expansion_order)); defrule(r_exp_γ_val, γ_expr(m_any1), γ_expr_val(m_any1, expansion_order)); defrule(r_exp_Φ_val, Φ_expr(m_any1), Φ_expr_val(m_any1, expansion_order)); +defrule(r_exp_Γ_val, exp(Φc[0]*Γ), eΓΦ_0); defrule(r_exp_e_val, e_expr(m_any1), exp(m_any)); -unwrap_exp(expr) := ( - apply1(expr, r_exp_β_val, r_exp_γ_val, r_exp_Φ_val, r_exp_e_val)); +unwrap_exp(expr) := block( + [rs : [r_exp_β_val, r_exp_γ_val, r_exp_Φ_val, r_exp_e_val, r_exp_Γ_val]], + apply(apply1, append([expr], rs))); /**/ |