Skip to content

Implement promote_with_map for term and polynomial#359

Merged
blegat merged 3 commits into
mainfrom
bl/promote_with_map
Apr 15, 2026
Merged

Implement promote_with_map for term and polynomial#359
blegat merged 3 commits into
mainfrom
bl/promote_with_map

Conversation

@blegat
Copy link
Copy Markdown
Member

@blegat blegat commented Apr 15, 2026

@blegat blegat merged commit 02b15f5 into main Apr 15, 2026
6 of 7 checks passed
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