Tommy Hofmann

I think everyone is happy that experimental exists and that it does not have to follow semver. This answers https://github.com/oscar-system/Oscar.jl/issues/2011#issuecomment-1940901930. But it is still not clear, if one should be...

We (@simonbrandhorst and @StevellM) had similar discussions for lattices, where also direct sum, direct products and "both" exist. In the end, we did the (in my opinion) right thing by...

We (@fieker and @HechtiDerLachs and myself) met today and converged to the following proposed solution. We will have the following functions: - `direct_product`, returns an object and projections. - `direct_sum`,...

Yes, 2) should be purged. I don't think 4) alone can deal with empty products. For direct products of $K$-algebras, I had to implement something like `direct_product(K, algebras::Vector)`, because one...

I think we already fixed them for lattices and related constructions.

The conclusion of the discussion on Friday was that we prefer to have groups behave exactly the same as the other objects (like modules, abelian groups, things from an abelian...

I would suggest `isleft/isright` instead `isleftcoset/isrightcoset`.

For the same reason we don't have `isoddnumber` and `isevennumber` or `factor_polynomial` and `factor_number`. It is kind of redundant and unnecessary in a language with method overloading/multiple dispatch. Here there...

I think this should have been the default in the first place. Edit: When do you find it annoying?

I agree that for some complicated coefficient fields, the printing might not convey all the information, but I think this is outweighed by the advantages.