Claus Fieker
Claus Fieker
In Hecke: `subfields(::SimpleNumField; degree)`, `subfields(C::ClassField, d::Int64) ` and in Oscar `subfields(FF::AbstractAlgebra.Generic.FunctionField{fmpq})` the degree parameter should be the "same" style and available everywhere
decide on an interface to completions (padic, qadic, Avi, SeriesElem, Hamburger-Noether, ...) - setprecision set_precision (inplace and not) (for elements) - lift, rational_reconstruct - map_coeffs (for series) - ResidueField (with...
Make sure that all "structure" constructors that want strings (or arrays of strings) also - take symbols - take nothing (and have defaults, different ones for IJulia?) Possibly also have...
We need to - come up with a consistent scheme to specify the ring for a min/char poly computation - and implement it. Possibly using `parent = ` as a...
needs Thomas PR #1434 for the char table
Banners
The issue of banners for your projects comes up about every 6 months. So we, the project leaders, discussed it and recording this here, as an issue to be able...
Consider f in R = QQ(x)[y], then - factor(f) does not work - quo(R, f) does not work, ResidueRing does - for elems in the quotient, charpoly, minpoly does not...
``` julia> group(q) julia> relators(group(q)) 1-element Vector{FPGroupElem}: f1 julia> z1, z2 = Oscar.GrpCoh.confluent_fp_group(group(q)) julia> z2 Group homomorphism from to julia> preimage(z2, group(q)[1]) ERROR: Error thrown by GAP: Error, Record Element:...
``` julia> inner_direct_product(symmetric_group(4), symmetric_group(1)) Group([ (1,2,3,4), (1,2) ]) julia> inner_direct_product(symmetric_group(1), symmetric_group(4)) Group([ (1,2,3,4), (1,2) ]) julia> inner_direct_product(symmetric_group(2), symmetric_group(4)) Group([ (1,2), (3,4,5,6), (3,4) ]) ``` in all cases I'd expect
``` julia> G = symmetric_group(2) Sym( [ 1 .. 2 ] ) julia> degree(G) 2 julia> G = symmetric_group(1) Group(()) julia> degree(G) 0 ``` This should be 1. The next:...