Simon Brandhorst

Magma will compute the following in milliseconds. Oscar does not terminate at all whatever algorithm I choose. @wdecker ``` > PolynomialRing(nf,3); Polynomial ring of rank 3 over nf Order: Lexicographical...

Most of this seems to have been addressed in #3899 . Can this be closed?

Some more names that I noted: `QQ["x","y","z"]` works but `QQ[:x,:y,:z]` not. edit: Works now. `rational_field` `integer_ring`

Since it is lower case, I would expect some kind of method. So `integer_ring()` would be a ring I think. Is there any precedence of this kind ?

Returning a "generator" of `ZZ` or `QQ` seems like overkill to me.

`:supercompact` is ours and `:compact` is julia's. As far as I can tell there are no implications. quoting from the manual " The following properties are in common use: :compact:...

Just hit the same bug when installing Oscar and got a segmentation fault. Since this wil be a while until it is fixed, we could check the number of GC...

Thanks for wrapping this @HechtiDerLachs !

is there anything holding this PR up @HechtiDerLachs ?

I don't remember "requesting" that. But it is biting us all the time. The `FractionFields` just don't seem to be right for accommodating localisations.