Skip to content

(re)add Term interface to make modular algos more efficient#2077

Open
fieker wants to merge 3 commits intomasterfrom
CF/modstd
Open

(re)add Term interface to make modular algos more efficient#2077
fieker wants to merge 3 commits intomasterfrom
CF/modstd

Conversation

@fieker
Copy link
Copy Markdown
Collaborator

@fieker fieker commented Nov 7, 2025

possibly draft only, is part of a Nemo/Oscar one...

@fingolfin
Copy link
Copy Markdown
Contributor

@ederc @Ktrompfl this it the code by @fieker I had in mind. Though ideally it would be in AbstractAlgebra or Nemo (but we can discuss that), at least parts of it. But that's a secondary matter.

With such an interface in place, it would now be natural to allow applying OSCAR monomial orderings to "Term{T}" instances. And then this can of course be optimized etc. etc.

We can maybe talk some more about this and perhaps @Ktrompfl can help with completing this code...

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.

2 participants