How to clean up a previous Oscar installation for a new installation.

[clemensnollau]

Hello Oscar-Team,
today i had a new attempt at installing Oscar. I have tried installing it two years ago on my Windows system but I always got an error. This time it seems that polymake is the problem

`using Pkg

julia> Pkg.add("Oscar")
    Updating registry at `C:\Users\49152\.julia\registries\General`
    Updating git-repo `https://github.com/JuliaRegistries/General.git`
   Resolving package versions...
   Installed Libiconv_jll ─ v1.16.1+2
   Installed nauty_jll ──── v2.6.13+1
  Downloaded artifact: Libiconv
  No Changes to `C:\Users\49152\.julia\environments\v1.7\Project.toml`
    Updating `C:\Users\49152\.julia\environments\v1.7\Manifest.toml`
  [94ce4f54] ↑ Libiconv_jll v1.16.1+1 ⇒ v1.16.1+2
  [55c6dc9b] ↑ nauty_jll v2.6.13+0 ⇒ v2.6.13+1
Precompiling project...
  ✗ Polymake
  39 dependencies successfully precompiled in 113 seconds (191 already precompiled, 3 skipped during auto due to previous errors)
  1 dependency errored. To see a full report either run `import Pkg; Pkg.precompile()` or load the package`

Then i asked for more information on the error and got the following: 

'julia> import Pkg; Pkg.precompile()
Precompiling project...
  ✗ GAP
  ✗ Singular
  ✗ Polymake
  ✗ Oscar
  0 dependencies successfully precompiled in 10 seconds (230 already precompiled)

ERROR: The following 2 direct dependencies failed to precompile:

GAP [c863536a-3901-11e9-33e7-d5cd0df7b904]

Failed to precompile GAP [c863536a-3901-11e9-33e7-d5cd0df7b904] to C:\Users\49152\.julia\compiled\v1.7\GAP\jl_5566.tmp.
[ Info: Set up gaproot at C:\Users\49152\.julia\packages\GAP\h4tDv\gaproot\v1.7
ERROR: LoadError: UndefVarError: find_artifact_dir not defined
Stacktrace:
 [1] getproperty
   @ .\Base.jl:35 [inlined]
 [2] regenerate_gaproot(gaproot_mutable::String)
   @ GAP.Setup C:\Users\49152\.julia\packages\GAP\h4tDv\src\setup.jl:93
 [3] top-level scope
   @ C:\Users\49152\.julia\packages\GAP\h4tDv\src\GAP.jl:13
 [4] include
   @ .\Base.jl:418 [inlined]
 [5] include_package_for_output(pkg::Base.PkgId, input::String, depot_path::Vector{String}, dl_load_path::Vector{String}, load_path::Vector{String}, concrete_deps::Vector{Pair{Base.PkgId, UInt64}}, source::Nothing)
   @ Base .\loading.jl:1318
 [6] top-level scope
   @ none:1
 [7] eval
   @ .\boot.jl:373 [inlined]
 [8] eval(x::Expr)
   @ Base.MainInclude .\client.jl:453
 [9] top-level scope
   @ none:1
in expression starting at C:\Users\49152\.julia\packages\GAP\h4tDv\src\GAP.jl:1

Oscar [f1435218-dba5-11e9-1e4d-f1a5fab5fc13]

Failed to precompile Oscar [f1435218-dba5-11e9-1e4d-f1a5fab5fc13] to C:\Users\49152\.julia\compiled\v1.7\Oscar\jl_61EC.tmp.
ERROR: LoadError: UndefVarError: libsingular not defined
Stacktrace:
 [1] getproperty(x::Module, f::Symbol)
   @ Base .\Base.jl:35
 [2] top-level scope
   @ C:\Users\49152\.julia\packages\Singular\uG7uo\src\Singular.jl:68
 [3] include
   @ .\Base.jl:418 [inlined]
 [4] include_package_for_output(pkg::Base.PkgId, input::String, depot_path::Vector{String}, dl_load_path::Vector{String}, load_path::Vector{String}, concrete_deps::Vector{Pair{Base.PkgId, UInt64}}, source::String)
   @ Base .\loading.jl:1318
 [5] top-level scope
   @ none:1
 [6] eval
   @ .\boot.jl:373 [inlined]
 [7] eval(x::Expr)
   @ Base.MainInclude .\client.jl:453
 [8] top-level scope
   @ none:1
in expression starting at C:\Users\49152\.julia\packages\Singular\uG7uo\src\Singular.jl:1
ERROR: LoadError: Failed to precompile Singular [bcd08a7b-43d2-5ff7-b6d4-c458787f915c] to C:\Users\49152\.julia\compiled\v1.7\Singular\jl_68B3.tmp.
Stacktrace:
  [1] error(s::String)
    @ Base .\error.jl:33
  [2] compilecache(pkg::Base.PkgId, path::String, internal_stderr::IO, internal_stdout::IO, ignore_loaded_modules::Bool)
    @ Base .\loading.jl:1466
  [3] compilecache(pkg::Base.PkgId, path::String)
    @ Base .\loading.jl:1410
  [4] _require(pkg::Base.PkgId)
    @ Base .\loading.jl:1120
  [5] require(uuidkey::Base.PkgId)
    @ Base .\loading.jl:1013
  [6] require(into::Module, mod::Symbol)
    @ Base .\loading.jl:997
  [7] include
    @ .\Base.jl:418 [inlined]
  [8] include_package_for_output(pkg::Base.PkgId, input::String, depot_path::Vector{String}, dl_load_path::Vector{String}, load_path::Vector{String}, concrete_deps::Vector{Pair{Base.PkgId, UInt64}}, source::Nothing)
    @ Base .\loading.jl:1318
  [9] top-level scope
    @ none:1
 [10] eval
    @ .\boot.jl:373 [inlined]
 [11] eval(x::Expr)
    @ Base.MainInclude .\client.jl:453
 [12] top-level scope
    @ none:1
in expression starting at C:\Users\49152\.julia\packages\Oscar\iRpOQ\src\Oscar.jl:1

Stacktrace:
 [1] pkgerror(msg::String)
   @ Pkg.Types C:\Users\49152\AppData\Local\Programs\Julia-1.7.1\share\julia\stdlib\v1.7\Pkg\src\Types.jl:68
 [2] precompile(ctx::Pkg.Types.Context; internal_call::Bool, strict::Bool, warn_loaded::Bool, already_instantiated::Bool, kwargs::Base.Pairs{Symbol, Union{}, Tuple{}, NamedTuple{(), Tuple{}}})
   @ Pkg.API C:\Users\49152\AppData\Local\Programs\Julia-1.7.1\share\julia\stdlib\v1.7\Pkg\src\API.jl:1362
 [3] precompile
   @ C:\Users\49152\AppData\Local\Programs\Julia-1.7.1\share\julia\stdlib\v1.7\Pkg\src\API.jl:1013 [inlined]
 [4] #precompile#220
   @ C:\Users\49152\AppData\Local\Programs\Julia-1.7.1\share\julia\stdlib\v1.7\Pkg\src\API.jl:1011 [inlined]
 [5] precompile()
   @ Pkg.API C:\Users\49152\AppData\Local\Programs\Julia-1.7.1\share\julia\stdlib\v1.7\Pkg\src\API.jl:1011
 [6] top-level scope
   @ REPL[3]:1'

I think my computer is somewhat corrupted by previous installations of Oscar. How can i reset this?
Best
Clemens Nollau

[lkastner]

This looks like a native Windows installation of Julia. From https://www.oscar-system.org/install/

Windows users should not install the Julia version for Windows. Instead, please install the Linux version inside Windows Subsystem for Linux (WSL).

I also do not understand why polymake should be the problem. From your backtrace:

ailed to precompile GAP [c863536a-3901-11e9-33e7-d5cd0df7b904] to C:\Users\49152\.julia\compiled\v1.7\GAP\jl_5566.tmp.
[ Info: Set up gaproot at C:\Users\49152\.julia\packages\GAP\h4tDv\gaproot\v1.7

and

Failed to precompile Oscar [f1435218-dba5-11e9-1e4d-f1a5fab5fc13] to C:\Users\49152\.julia\compiled\v1.7\Oscar\jl_61EC.tmp.
ERROR: LoadError: UndefVarError: libsingular not defined

so everything seems to be broken.

You need to switch to Julia on WSL. There is even a link in our installation instructions.

[clemensnollau]

Ok thanks, that worked. I'm just surprised that Oscar doesn't work on Windows. Working on the WSL is very cumbersome.