Add generic Ore polynomial module#2299

Open

rburing wants to merge 3 commits intoflintlib:mainfrom

rburing:gr_ore_poly

Commits on Jul 29, 2025

Add generic Ore polynomial module
rburing
committed

Commits on Sep 17, 2025

add gr_ctx_init_random_{poly,mpoly,series}
mezzarobba
committed

Commits on Oct 27, 2025

gr_ore_poly: sigma, delta

mezzarobba
authored and
Ricardo Buring
committed