Tommy Hofmann comments

Results 702 comments of


                                            Tommy Hofmann

CI test failure in Julia nightly due to Unicode changes

This was fixed and will be available once a new release is made for Preferences.jl.

printing an integer inside jupyter kernel

@fieker Do you remember how that toggle business works?

printing an integer inside jupyter kernel

Ah, I think at some point I wanted the pure julia output (no LaTeX shenanigans) in the notebook. I am also not sure how nice these things play with the...

`gens` should work for all rings, including univariate ones

I agree that the finite fields should be consistent, but why would one expect it to work for every ring? It has very specific meaning in the examples above. Maybe...

`gens` should work for all rings, including univariate ones

What is the `LeftActingDomain` when the elements are generators in the category of rings?

`gens` should work for all rings, including univariate ones

Also `2x` would be a generator as a Q-module in the example of @wdecker, but we promise it to be the `x` in `K[x]`. Maybe the argument is that `gen`...

Saturation with ordering

Thanks! Looks good to me. Should we also wait fo input from @wdecker?

Saturation with ordering

I think it would make sense to keep the discussion at https://github.com/oscar-system/Oscar.jl/issues/1487 and not split it.

iso_oscar_gap: Check arguments (optionally)

Ah, so you were thinking about ```julia Fiso = Oscar.iso_oscar_gap(F, check = false) ``` (Let's call this proposal (B)). I actually had the following in mind: ```julia Fiso = Oscar.iso_oscar_gap(F,...

iso_oscar_gap: Check arguments (optionally)

Let's hear what @fingolfin and @fieker think