Oscar.jl icon indicating copy to clipboard operation
Oscar.jl copied to clipboard

Fix name handling of elements of complexes/presentations/resolutions

Open lgoettgens opened this issue 9 months ago • 0 comments

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.

lgoettgens avatar May 15 '24 08:05 lgoettgens