Max Horn
Max Horn
In GAP there is a function `ExtRepOfObj` which can be applied to many kinds of objects: words of fp groups, elements of f.d. algebras or Lie algebra, polynomials¹ etc.) and...
Just talked with @fieker: we have `syllables(g::Union{FPGroupElem, SubFPGroupElem})` and `letters(g::FPGroupElem)` 1. [ ] both of these should be available for `FPGroupElem` *and* `SubFPGroupElem` 2. [ ] but ideally also both...
For geometric constructions (e.g. taking the direct product of two varieties) it would be quite handy to have a function which computes the tensor product of two (or possibly more)...
See the discussion [starting here](https://github.com/oscar-system/Oscar.jl/pull/2658#discussion_r1299979924).
Sometimes for various reasons, people end up with outdated OSCAR versions, even after seemingly installing OSCAR for the first time. A typical reason is that some other package is in...
We came up with these provision rules during the workshop. "Someone" should put this into the Oscar dev manual. (Maybe sort the list of approved abbreviations alphabetically?) - types for...
Based on interactions with a user (Gunter Malle) today, here are some ideas for making life more comfortable for users. Consider this starting point: ``` julia> QQAb, E = abelian_closure(QQ)...
We have functionality for free associative algebras and non-commutative Gröbner bases in AbstractAlgebra, but if one goes to [the relevant section in the OSCAR manual](https://docs.oscar-system.org/stable/NoncommutativeAlgebra/free_associative_algebra/) there is very little functionality...
When Karabiner Elements is running, then the ` and § keys are swapped on my external keyboard (an Apple A1243; extended wired keyboard with international layout). If I quit Karabiner...
Consider this example: ``` function qux(x) v = [] push!(v, x) return sum(v) end; function foo(a) function bar(x) qux(a) # note reference to `a` end return bar(a) end; ``` The...