Frank Moore
Frank Moore
I'll see if I can track down why unique_ptr is not working for FreeMonoid.
You need to run the command needsPackage “AssociativeAlgebras” before using any of the noncommutative functionality. Best, Frank On Wed, Nov 29, 2023 at 1:00 AM wp-hhh ***@***.***> wrote: > I...
So strange! I will see if I can track it down.
I have a PR for a temporary workaround for this ready. It prevents any GCed rings from using the F4 NC Groebner basis algorithm. I thought I had checks for...
Agreed! On Mon, Oct 23, 2023 at 3:49 PM Mike Stillman ***@***.***> wrote: > I believe that the code should be checking for a field as coefficient > ring, and...
I know this is an old issue, but I would be happy to try to fix it but I don't completely understand how the hooks system works (i.e. how different...
Upon looking at the code for random, it does precisely that: ``` random GaloisField := opts -> F -> ( i := random F.order; if i === 0 then 0_F...
I do appreciate the bugs, and I hope to get to some of them over the summer. The result is perhaps not what you expected, but it is working as...
I would like to chime in here as well. If R is a ring and we view R as a right module over itself, then for any r in R,...
Do you have a reference for what you mean by an Ore algebra? Ore extensions are allowed in AssociativeAlgebras currently ([oreExtension](https://macaulay2.com/doc/Macaulay2/share/doc/Macaulay2/AssociativeAlgebras/html/_ore__Extension.html)). Any examples I could test with?