Torben Wiedemann

icon company RPTU University Kaiserslautern-Landau icon location Germany icon location Mathematician working in group theory and algebraic Lie theory.

Results 6 comments of Torben Wiedemann

Turn `IsUFDFamily` into a category; set `One` & `Zero` of free magma ring families

All changes look good to me (though I cannot claim to understand the nuances between filters and properties completely). Matrix algebras have the same problem as free magma rings, i.e.,...

Difference in handling of non-identical parent groups in `MapFromFunc` and `hom`

Then, in contrast, is the behaviour of `hom` unexpected? I have no opinion whether `G` and `H` in ``` julia> G = symmetric_group(4) Sym(4) julia> H = symmetric_group(4) Sym(4) ```...

Documentation: Clarify meaning of `IsAssocWord`, `IsAssocWordWithOne`, `IsAssocWordWithInverse`

> What about the following: > > Elements of free groups lie in `IsAssocWordWithInverse`. Elements of free monoids lie in `IsAssocWordWithOne`. Elements of free semigroups lie in `IsAssocWord`. That would...

`in` for function fields produces false negatives

> Polynomials know about the Characteristics, not about a coefficient ring that is strictly smaller than its quotient field. That is, they behave in your example as if you had...

Fix error in membership test for rational functions

> Once #5996 is merged, I will add tests for this case as well. PR #5996 is now merged into master (so creating function fields over polynomial rings is now...

Fix error in membership test for rational functions

> Maybe you did a `git rebase master` without first updating your local master to match the version of master on github That was indeed the problem. It is fixed...