Because it has the same name as "bialgebra" under "Basic rules", the make_animation function attempts to perform the incorrect animation. This crashes as the matcher for bialg_simp, which is const_true , returns the wrong type (Callable[..., Any] rather than the expected List[Any]).
Because it has the same name as "bialgebra" under "Basic rules", the
make_animationfunction attempts to perform the incorrect animation. This crashes as the matcher forbialg_simp, which isconst_true, returns the wrong type (Callable[..., Any]rather than the expectedList[Any]).See https://github.com/Quantomatic/zxlive/issues/132#issuecomment-1814408236 for context.