<> in Boxes shadows the usual semigroup operation, while functioning in a compatible way. (I am ignoring the internal hierarchical representation for now. Be it necessary, we can perform simplification when concatenating.) There is also nullBox that we can make neutral element.
Surely this will simplify the usage of this package in the modern ecosystem.
I can take a shot at making the necessary adjustments.
<>
in Boxes shadows the usual semigroup operation, while functioning in a compatible way. (I am ignoring the internal hierarchical representation for now. Be it necessary, we can perform simplification when concatenating.) There is alsonullBox
that we can make neutral element.Surely this will simplify the usage of this package in the modern ecosystem.
I can take a shot at making the necessary adjustments.