Cannot load OscarPolytope.jl

[thofma]

julia> using OscarPolytope
[ Info: Precompiling OscarPolytope [61a3517e-1e29-11e9-1fd3-4d098866440e]
[ Info: Generating module common
[ Info: Generating module ideal
[ Info: Generating module graph
[ Info: Generating module fulton
[ Info: Generating module fan
[ Info: Generating module group
[ Info: Generating module polytope
[ Info: Generating module topaz
[ Info: Generating module tropical
[ Info: Generating module matroid
ERROR: LoadError: UndefVarError: Polytope not defined
Stacktrace:
 [1] include at ./boot.jl:328 [inlined]
 [2] include_relative(::Module, ::String) at ./loading.jl:1094
 [3] include(::Module, ::String) at ./Base.jl:31
 [4] top-level scope at none:2
 [5] eval at ./boot.jl:330 [inlined]
 [6] eval(::Expr) at ./client.jl:432
 [7] top-level scope at ./none:3
in expression starting at /home/thofmann/.julia/packages/OscarPolytope/sgz7S/src/OscarPolytope.jl:6
ERROR: Failed to precompile OscarPolytope [61a3517e-1e29-11e9-1fd3-4d098866440e] to /home/thofmann/.julia/compiled/v1.2/OscarPolytope/V
xytu.ji.
Stacktrace:
 [1] error(::String) at ./error.jl:33
 [2] compilecache(::Base.PkgId, ::String) at ./loading.jl:1253
 [3] _require(::Base.PkgId) at ./loading.jl:1013
 [4] require(::Base.PkgId) at ./loading.jl:911
 [5] require(::Module, ::Symbol) at ./loading.jl:906

Here is my environment:

(v1.2) pkg> st
    Status `~/.julia/environments/v1.2/Project.toml`
  [c3fe647b] AbstractAlgebra v0.8.1
  [c7e460c6] ArgParse v1.1.0
  [6e4b80f9] BenchmarkTools v0.5.0
  [b99e7846] BinaryProvider v0.5.8
  [f68482b8] Cthulhu v0.1.1
  [864edb3b] DataStructures v0.17.10
  [31a5f54b] Debugger v0.6.4
  [e30172f5] Documenter v0.24.5
  [c863536a] GAP v0.2.1 [`~/.julia/dev/GAP`]
  [cd4130c4] GAPTypes v1.0.0
  [3e1990a7] Hecke v0.7.3 [`~/.julia/dev/Hecke`]
  [7073ff75] IJulia v1.21.1
  [61a3517e] OscarPolytope v0.1.0 #master (https://github.com/oscar-system/OscarPolytope.jl)
  [f27b6e38] Polynomials v0.6.1
  [c46f51b8] ProfileView v0.6.3
  [295af30f] Revise v2.5.3
  [37b6cedf] Traceur v0.3.0

[benlorenz]

OscarPolytope.jl does not support Polymake.jl@0.3.0 yet, see #3 but the corresponding compat entries are missing. You can try downgrading Polymake.jl with ]add Polymake.jl@0.2.2 (and maybe pin it), then build and in my test-environment I get:

julia> using OscarPolytope

Welcome to Nemo version 0.16.4

Nemo comes with absolutely no warranty whatsoever

polymake version 3.5
Copyright (c) 1997-2019
Ewgenij Gawrilow, Michael Joswig (TU Berlin)
https://polymake.org

This is free software licensed under GPL; see the source for copying conditions.
There is NO warranty; not even for MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.

(juliatmp) pkg> st
    Status `/tmp/juliatmp/Project.toml`
  [61a3517e] OscarPolytope v0.1.0 #master (https://github.com/oscar-system/OscarPolytope.jl)
  [d720cf60] Polymake v0.2.2

[fieker]

On Fri, Mar 06, 2020 at 06:10:25AM -0800, Benjamin Lorenz wrote:

OscarPolytope.jl does not support Polymake.jl@0.3.0 yet, see #3 but the corresponding compat entries are missing. You can try downgrading Polymake.jl with ]add Polymake.jl@0.2.2 (and maybe pin it), then build and in my test-environment I get: THe whiole point was to use it npow in Oscar - and it has to be done in cxx 0.9 which means polymake 0.3 There are too many imporvements in the other packages to allow down grading, sorry. Will have to be fixed - sometime. For now, it means we cannot use it.

Claus

julia> using OscarPolytope

Welcome to Nemo version 0.16.4

Nemo comes with absolutely no warranty whatsoever

polymake version 3.5
Copyright (c) 1997-2019
Ewgenij Gawrilow, Michael Joswig (TU Berlin)
https://polymake.org

This is free software licensed under GPL; see the source for copying conditions.
There is NO warranty; not even for MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.

(juliatmp) pkg> st
    Status `/tmp/juliatmp/Project.toml`
  [61a3517e] OscarPolytope v0.1.0 #master (https://github.com/oscar-system/OscarPolytope.jl)
  [d720cf60] Polymake v0.2.2

-- You are receiving this because you are subscribed to this thread. Reply to this email directly or view it on GitHub: https://github.com/oscar-system/OscarPolytope.jl/issues/6#issuecomment-595784148

[fieker]

fixed as of now