Tommy Hofmann
Tommy Hofmann
Yes, everything is "evaluate". At the beginning `evaluate` was supposed to only implement the evaluation map $K[x] -> K$. I hope that answers the "why" question. The dedicated `compose` and...
From slack: > Singular.jl interpreter functionality only understandards Singular.jl types See also See also https://discourse.julialang.org/t/singular-jl-polynomial-ring-over-a-polynomial-ring/110839/2
> Is there a way to teach Singular.jl how to deal with this "unrecognized object with Singular type number 545"? I don't want to stop you from any work, but...
This sounds horrible
If you remove the method, how do you test if a matrix is contained in a matrix group? Regarding "automatic promotion", I don't think this is a good idea and...
A few weeks ago in https://hackmd.io/EYHpciQ9ToCCYQcbmv7oGg I collected some ideas of @fieker, @joschmitt and myself on ring traits and matrix normal forms (HNF, SNF, etc). There is some overlap with...
Seems to be ok. The unfortunate thing is that we would not notice if a method went missing.
My original phrasing was not optimal and I have reformulated it. I don't mind that this functionality exists. But in my opinion, the whole notion of `uninitialized` entries should not...
The object `x1//2` is an element of the fraction field. That `phi` does not accept `x1//2` but `x1/2` is not a bug. For the same reason a function defined on...
As usual the answer is complicated. For all the rings that Oscar introduces, `x/y == divexact(x, y)` (aka `x * inv(y)` if `y` is invertible in the ring). Using `//`...