Oscar.jl icon indicating copy to clipboard operation
Oscar.jl copied to clipboard

Published 20 hours ago • verified publisher icon oscar-system

For Modules over PBWAlgRing and PBWAlgQuo

Open Lax202 opened this issue 7 months ago • 2 comments

This is a draft pull request for the work to extend FreeMod, SubModuleofFreeModule, SubquoModule to PBWAlgRing and PBWAlgQuo. The aim is to extend the Groaner machinery as well.

Lax202 avatar Jul 01 '24 12:07 Lax202