Claus Fieker

even more entertaining: ``` julia> one(group(q)) == gens(group(qq))[1] true julia> preimage(z2, one(group(qq))) ```

I'd limit it to at most QQ and ZZ. I don't see QQBar universally used, so I'd rather not have QQBar globally predefined. - neither QQi, ZZi, Qab, .... I...

On Thu, Jun 09, 2022 at 06:19:26AM -0700, Tommy Hofmann wrote: > I don't understand the Oscar init file. If it is per user, it should go into `$JULIAHOME/startup.jl`. Otherwise...

On Thu, Jun 09, 2022 at 06:47:28AM -0700, Tommy Hofmann wrote: > I see. But I have some reservations about Oscar loading random files. I am also not sure what...

someone removed the call to my code. this is a reflection that vanilla singular cannot handle this example. This might have been part of a rewrite attempt... a failed or...

On Fri, Dec 17, 2021 at 02:49:29AM -0800, YueRen wrote: > The documentation lacks an example of how to construct a matrix ordering for a GB computation: > https://oscar-system.github.io/Oscar.jl/dev/CommutativeAlgebra/ideals/#Creating-Matrix-Orderings >...

``` julia> inner_direct_product(symmetric_group(4), symmetric_group(1)) Group([ (1,2,3,4), (1,2) ]) julia> ans([1,2,3,4,5]) () julia> inner_direct_product(symmetric_group(4), symmetric_group(1)) Group([ (1,2,3,4), (1,2) ]) julia> degree(ans) 4 ```

On Thu, Mar 17, 2022 at 08:22:01AM -0700, Johannes Schmitt wrote: > `quo` for groups is type instable: I'm not too certain that can be avoided, but we can try...

On Thu, Mar 17, 2022 at 08:42:09AM -0700, Johannes Schmitt wrote: > It makes it really hard to write "generic" code. I have a function that takes a (finite) matrix...

On Fri, May 14, 2021 at 04:32:56AM -0700, delphinepol wrote: > The function sqrtmod does not find a square root of -7 mod 1024 and throws an error that such...