Fix printing of SRow in compound structures

[lgoettgens]

before:

julia> (sparse_row(QQ), sparse_row(QQ))
(Sparse row with positions Int64[] and values QQFieldElem[]
, Sparse row with positions Int64[] and values QQFieldElem[]
)

julia> [sparse_row(QQ), sparse_row(QQ)]
2-element Vector{SRow{QQFieldElem, Vector{QQFieldElem}}}:
 Sparse row with positions Int64[] and values QQFieldElem[]

 Sparse row with positions Int64[] and values QQFieldElem[]

after:

julia> (sparse_row(QQ), sparse_row(QQ))
(Sparse row with positions Int64[] and values QQFieldElem[], Sparse row with positions Int64[] and values QQFieldElem[])

julia> [sparse_row(QQ), sparse_row(QQ)]
2-element Vector{SRow{QQFieldElem, Vector{QQFieldElem}}}:
 Sparse row with positions Int64[] and values QQFieldElem[]
 Sparse row with positions Int64[] and values QQFieldElem[]

[lgoettgens]

The test failure seems unrelated to the changes.

[thofma]

@benlorenz We are doing

julia --color=yes -e 'using Pkg; Pkg.add([PackageSpec(name="GAP"), PackageSpec(name="Polymake")]);'

for these tests and the Project toml has:

Polymake = "0.10, 0.11"

Somehow it is pulling in the new normaliz_jll?

Edit: The error is here: https://github.com/thofma/Hecke.jl/actions/runs/7532119397/job/20502117792?pr=1350#step:7:129

[benlorenz]

Polymake works with both the old and new flint (there are two sets of binaries that are compatible with the current Polymake.jl, one based on flint 2.9 and one with 3.0). (Luckily there were no changes needed in Polymake.jl and this way the transition should be easier)

The test code is mixing/stacking incompatible environments, Polymake is installed in the global environment and loaded from there but Hecke and the dependencies are loaded from the source tree (using --project=@.), this way there is no compat bound for the dependencies of polymake.
You need to add Polymake+GAP to the Hecke environment, or create a new environment, add Polymake + GAP and develop the Hecke folder. Then run the Hecke tests for that environment.

[thofma]

Thanks @benlorenz. That makes sense.