search

kpeeters / cadabra2

A field-theory motivated approach to computer algebra.
https://cadabra.science/
GNU General Public License v3.0
216 stars 37 forks source link

drop_weight has problems in zoomed expressions #115

Closed kpeeters closed 5 years ago

kpeeters commented 5 years ago 
\epsilon::Weight(label=field, value=1);
Exp:=\epsilon**4+\epsilon*(\epsilon**3+5);
zoom(_, $\epsilon * A??$);
distribute(_);                                                                                                        
drop_weight(_, $field=4$);

because drop_weight scans through terms and then does not know how to handle \ldots.

kpeeters commented 5 years ago

Fixed in 06ad396e244a860467b2f81945c78571ac2166f6.