lineality_dim is wrong when relative_interior_point is used before it.

[lkastner]

Describe the bug
Given a cone as positive hull of rays such that it has lineality, the dimension of the lineality space can be wrong if we ask for a relative interior point before.

To Reproduce

using Oscar
julia> Q = [ 1  1 ; -1  1 ; -1 -1 ; 1 -1 ];

julia> c = positive_hull(Q);

julia> relative_interior_point(c);

julia> lineality_dim(c)
0

Expected behavior
The dimension of the lineality space in this example is actually 2. And if relative_interior_point(c) is omitted, this is also correctly computed.

System (please complete the following information):

julia> Oscar.versioninfo(full=true)
OSCAR version 0.12.1-DEV
  combining:
    AbstractAlgebra.jl   v0.30.2
    GAP.jl               v0.9.6
    Hecke.jl             v0.18.13
    Nemo.jl              v0.34.3
    Polymake.jl          v0.9.0
    Singular.jl          v0.18.3
  building on:
    Antic_jll               v0.201.500+0
    Arb_jll                 v200.2300.0+0
    Calcium_jll             v0.401.100+0
    FLINT_jll               v200.900.6+0
    GAP_jll                 v400.1200.200+1
    Singular_jll            v403.201.1+0
    libpolymake_julia_jll   v0.9.0+1
    libsingular_julia_jll   v0.30.0+1
    polymake_jll            v400.900.0+0
See `]st -m` for a full list of dependencies.

Julia Version 1.8.5
Commit 17cfb8e65ea (2023-01-08 06:45 UTC)
Platform Info:
  OS: Linux (x86_64-linux-gnu)
  CPU: 8 × 11th Gen Intel(R) Core(TM) i7-1165G7 @ 2.80GHz
  WORD_SIZE: 64
  LIBM: libopenlibm
  LLVM: libLLVM-13.0.1 (ORCJIT, tigerlake)
  Threads: 1 on 8 virtual cores
Environment:
  LD_LIBRARY_PATH = :/usr/local/lib:/usr/local/lib
Official https://julialang.org/ release

Additional context
I suspect that the error is in polymake, since there is basically no computation happening in Julia/Oscar. However I have not been able to reproduce yet.

cc: @jankoboehm @ThomasBreuer

[lkastner]

The bug in polymake has been located but the fix will only get to Oscar with the next release.