Morgan Rodgers

Just a note, I have forked and published an updated [`pulsar-ide-python`](https://github.com/mjrodgers/pulsar-ide-python) package that can be installed from the package repository within Pulsar, and has this bug fixed. I've had some...

> @mjrodgers this has a merge conflict now, please update. > > For `can_be_defined_over`: if it only supports fields for now, so be it -- just implement it for that...

> @mjrodgers what's the status of this PR? Is there still code in there which is not yet merged and which should be preserved? No, sorry I will close this;...

I think this is a mostly unavoidable problem, for example Magma also doesn't check when you are creating a `hom` whether the map provided actually is a hom. I think...

@fingolfin Sure, happy to work on this - just following the guidance of the linked comment?

@thofma So for now should I just remove the `morphisms` argument for `direct_product` and have it always return the `DirectProductGroup` and the projections only?

To have `direct_sum`/`direct_product` defined for arbitrary groups and only differing in whether we get the projections or the injections seems confusing (and having a method called `biproduct` to give both...

I'm currently working on #3224, and yes it looks like one of the methods that needs to be fleshed out out is to return a representation over a minimal field,...

I'd be interested in helping work on this, both the basic combinatorial functions and various q-analogs. I see there is some q-analog stuff in JuLie that hasn't been migrated to...

I have it working perfectly fine with 1.9.3, it seems to be an issue only with julia 1.10 > On Jan 19, 2024, at 12:59 PM, Thomas Breuer ***@***.***> wrote:...