Oscar.jl
Oscar.jl copied to clipboard
Fix name handling of elements of complexes/presentations/resolutions
x-ref https://github.com/oscar-system/Oscar.jl/pull/3700#discussion_r1596686047 cc @fingolfin
A lot of code creating complexes/presentations/resolutions extracts the name of the base ring once and then uses it to set names of the parts using something like
AbstractAlgebra.set_name!(F0, "$br_name^$(ngens(mod))")
If the name of the base ring changes, the name of the parts still references the old name of the base ring.
Such a use case should be covered by the AbstractAlgebra fancy/magic name printing. I will have a look if this can be achieved using the current AA functionality and otherwise try to come up with some new interface in AA.