Johannes Schmitt
Johannes Schmitt
> 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...
> Related to the original problem for hyper-complexes and related to the comment of Lars K., there something I have implemented some time ago: https://github.com/oscar-system/Oscar.jl/blob/master/experimental/SymmetricIntersections/src/elevators.jl. The name is a bit...
> I see there is some q-analog stuff in JuLie that hasn't been migrated to experimental, I would vote that if we bring this over, these functions are renamed to...
Regarding moving the partition functionality from experimental/JuLie to `src` (so #2301): Does anybody know why this has only be moved to `experimental` in the first place? Or what needs to...
What is the plan now? I would think that with every set of formatting rules, there will be some situation where the result is not optimal. And there will always...
To record the outcome of the discussion on last Wednesday: * There are objections whether the function should be called `..._with_relations` because it does not return *all* relations between the...
Please review this. It contains bugfixes and performance improvements.
> Why `Ideal(0)` with capital `I`? Also, should we replace `0` by the zero of the corresponding ring? `Ideal (0)` is how the zero ideal would be printed. If we...
> We alread export `is_algebraically_independent_with_relations`. We must also export `minimal_subalgebra_generators_with_relations`. I think the function `is_algebraically_independent_with_relations` is actually a good argument to *not* export `minimal_subalgebra_generators_with_relations` under this name. The 'relations' returned...