Max Horn

Results 2041 comments of Max Horn

It seems #53815 did not make it in :-(. Any particular reason for that? It fixed a crash I can't otherwise work around

The frequency 433Mhz is used for many different kinds of signal transmission. So there are many such signals (or rather: signal encoding) which RCSwitch does not know about and hence...

The FCC link you provide contains schematics, which indicate that the remote uses a MC 263 BN IC -- but I could not find any information on this. So in...

I also don't like `rand(make(...))` and in light of the recent total breakage of `RandomExtensions.jl` (it doesn't work anymore with latest Julia nightly), I am tempted to agree that we...

It didn't occur to me, given that it is already part of the AA documentation which promises it as being available for all MPolyRingElem subtypes. To quote `docs/src/mpolynomial.md`: ```` ###...

To be clear, I think the question here is whether we should keep exporting `AbstractAlgebra.Generic.is_homogeneous` as `AbstractAlgebra.is_homogeneous` (which therefore also exists in `Oscar`). I note that in Oscar, there is...

I of course forgot to tag @hechtiderlachs sorry!

We don't *need* to, I just want us to make a conscious decision either way.

Another one: `MatrixAlgebra` -> `matrix_algebra` ... or maybe `full_matrix_algebra`? Because that's what it is, while to me "matrix algebra" might also refer to any subalgebra thereof.