You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
While working on #4158, I noticed that the attributes coordinate_names and coordinate_names_of_torus could be changed from Vector{String} to Vector{Symbol} to reduce a lot of allocations in code using them to construct indeterminant names for polynomial rings etc.
While working on #4158, I noticed that the attributes
coordinate_names
andcoordinate_names_of_torus
could be changed fromVector{String}
toVector{Symbol}
to reduce a lot of allocations in code using them to construct indeterminant names for polynomial rings etc.Could you maybe have a look if that seems feasible? @lkastner @HereAround
The text was updated successfully, but these errors were encountered: