Skip to content

Implement push and pop for List #11

@tscrim

Description

@tscrim

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.

Metadata

Metadata

Assignees

No one assigned

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions