Skip to content

refactor(simplex): use standard map selection operations - #20

Merged
rasheedja merged 3 commits into
masterfrom
refactor/map-operations
Oct 4, 2026
Merged

rasheedja merged 3 commits into
masterfrom
refactor/map-operations

Conversation

@rasheedja

Copy link
Copy Markdown
Owner

Summary

  • Replace membership-based map filtering with Data.Map.restrictKeys and Data.Map.withoutKeys from the existing containers dependency.
  • Build artificial-variable sets once per phase-one operation and use Data.Map.delete for the entering variable.
  • Remove the unused negatedRows binding next to the updated artificial-objective selection. Preserve variable ordering and coefficients.

This cleanup targets master independently; it does not require the correctness fixes to merge first. The map-fold and printer cleanups are already included in #18 and #19.

Validation

@rasheedja
rasheedja merged commit ce02d28 into master Oct 4, 2026
23 checks passed
@rasheedja
rasheedja deleted the refactor/map-operations branch October 4, 2026 10:27
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant