Open tscrim opened 8 years ago
These will be very fast list operations that we currently do not have. In particular, Bruhat ordering in #10 pops elements off the back and comments have said this is a bottleneck.
append() is the equivalent of push(), however it could use some work. We can also make pop() an inlined function.
append()
push()
pop()
These will be very fast list operations that we currently do not have. In particular, Bruhat ordering in #10 pops elements off the back and comments have said this is a bottleneck.