Installation Issue: Unsatisfiable Requirements Related to `Oscar` and `AbstractAlgebra`

[Rowing0914]

Hi, thanks for this very interesting package!

I'm encountering a dependency resolution issue when trying to install DecomposingPolynomialSystems.jl on Julia 1.11.2 using the following steps:

using Pkg
Pkg.add(PackageSpec(name="Oscar", version="1.1.2"))
Pkg.add(url="https://github.com/MultivariatePolynomialSystems/DecomposingPolynomialSystems.jl.git")

This fails during resolution with an error involving Oscar, GAP, and AbstractAlgebra. The key part of the message is:

Unsatisfiable requirements detected for package Oscar [f1435218]:
  Oscar [f1435218] log:
  ├─possible versions are: 0.2.0 - 1.3.1 or uninstalled
  ├─restricted to versions * by project, leaving only versions: 0.2.0 - 1.3.1
  ...
  └─restricted by compatibility requirements with AbstractAlgebra to versions: uninstalled — no versions left

Full error trace:

Precompiling project...
  211 dependencies successfully precompiled in 504 seconds. 179 already precompiled.
    Updating git-repo `https://github.com/MultivariatePolynomialSystems/DecomposingPolynomialSystems.jl.git`
   Resolving package versions...
ERROR: LoadError: Unsatisfiable requirements detected for package Oscar [f1435218]:
 Oscar [f1435218] log:
 ├─possible versions are: 0.2.0 - 1.3.1 or uninstalled
 ├─restricted to versions * by project [26741fa7], leaving only versions: 0.2.0 - 1.3.1
 │ └─project [26741fa7] log:
 │   ├─possible versions are: 0.0.0 or uninstalled
 │   └─project [26741fa7] is fixed to version 0.0.0
 ├─restricted by compatibility requirements with GAP [c863536a] to versions: [0.2.0, 0.14.0 - 1.1.2] or uninstalled, leaving only versions: [0.2.0, 0.14.0 - 1.1.2]
 │ └─GAP [c863536a] log:
 │   ├─possible versions are: 0.1.0 - 0.13.1 or uninstalled
 │   └─restricted to versions 0.10 by DecomposingPolynomialSystems [f22b1612], leaving only versions: 0.10.0 - 0.10.4
 │     └─DecomposingPolynomialSystems [f22b1612] log:
 │       ├─possible versions are: 1.0.0 or uninstalled
 │       └─DecomposingPolynomialSystems [f22b1612] is fixed to version 1.0.0
 └─restricted by compatibility requirements with AbstractAlgebra [c3fe647b] to versions: uninstalled — no versions left
   └─AbstractAlgebra [c3fe647b] log:
     ├─possible versions are: 0.1.0 - 0.44.11 or uninstalled
     ├─restricted to versions * by project [26741fa7], leaving only versions: 0.1.0 - 0.44.11
     │ └─project [26741fa7] log: see above
     └─restricted to versions 0.33 by DecomposingPolynomialSystems [f22b1612], leaving only versions: 0.33.0  
       └─DecomposingPolynomialSystems [f22b1612] log: see above
Stacktrace:
  [1] propagate_constraints!(graph::Pkg.Resolve.Graph, sources::Set{Int64}; log_events::Bool)
    @ Pkg.Resolve /opt/julia-1.11.2/share/julia/stdlib/v1.11/Pkg/src/Resolve/graphtype.jl:1072
  [2] propagate_constraints! (repeats 2 times)
    @ /opt/julia-1.11.2/share/julia/stdlib/v1.11/Pkg/src/Resolve/graphtype.jl:1008 [inlined]
  [3] simplify_graph!(graph::Pkg.Resolve.Graph, sources::Set{Int64}; clean_graph::Bool)
    @ Pkg.Resolve /opt/julia-1.11.2/share/julia/stdlib/v1.11/Pkg/src/Resolve/graphtype.jl:1533
  [4] simplify_graph! (repeats 2 times)
    @ /opt/julia-1.11.2/share/julia/stdlib/v1.11/Pkg/src/Resolve/graphtype.jl:1532 [inlined]
  [5] resolve_versions!(env::Pkg.Types.EnvCache, registries::Vector{Pkg.Registry.RegistryInstance}, pkgs::Vector{Pkg.Types.PackageSpec}, julia_version::VersionNumber, installed_only::Bool)
    @ Pkg.Operations /opt/julia-1.11.2/share/julia/stdlib/v1.11/Pkg/src/Operations.jl:430
  [6] targeted_resolve(env::Pkg.Types.EnvCache, registries::Vector{Pkg.Registry.RegistryInstance}, pkgs::Vector{Pkg.Types.PackageSpec}, preserve::Pkg.Types.PreserveLevel, julia_version::VersionNumber)
    @ Pkg.Operations /opt/julia-1.11.2/share/julia/stdlib/v1.11/Pkg/src/Operations.jl:1391
  [7] tiered_resolve(env::Pkg.Types.EnvCache, registries::Vector{Pkg.Registry.RegistryInstance}, pkgs::Vector{Pkg.Types.PackageSpec}, julia_version::VersionNumber, try_all_installed::Bool)
    @ Pkg.Operations /opt/julia-1.11.2/share/julia/stdlib/v1.11/Pkg/src/Operations.jl:1380
  [8] _resolve(io::IOContext{IO}, env::Pkg.Types.EnvCache, registries::Vector{Pkg.Registry.RegistryInstance}, pkgs::Vector{Pkg.Types.PackageSpec}, preserve::Pkg.Types.PreserveLevel, julia_version::VersionNumber)
    @ Pkg.Operations /opt/julia-1.11.2/share/julia/stdlib/v1.11/Pkg/src/Operations.jl:1401
  [9] add(ctx::Pkg.Types.Context, pkgs::Vector{Pkg.Types.PackageSpec}, new_git::Set{Base.UUID}; allow_autoprecomp::Bool, preserve::Pkg.Types.PreserveLevel, platform::Base.BinaryPlatforms.Platform, target::Symbol)        
    @ Pkg.Operations /opt/julia-1.11.2/share/julia/stdlib/v1.11/Pkg/src/Operations.jl:1435
 [10] add
    @ /opt/julia-1.11.2/share/julia/stdlib/v1.11/Pkg/src/Operations.jl:1407 [inlined]
 [11] add(ctx::Pkg.Types.Context, pkgs::Vector{Pkg.Types.PackageSpec}; preserve::Pkg.Types.PreserveLevel, platform::Base.BinaryPlatforms.Platform, target::Symbol, allow_autoprecomp::Bool, kwargs::@Kwargs{io::IOContext{IO}})
    @ Pkg.API /opt/julia-1.11.2/share/julia/stdlib/v1.11/Pkg/src/API.jl:306
 [12] add(pkgs::Vector{Pkg.Types.PackageSpec}; io::IOContext{IO}, kwargs::@Kwargs{})
    @ Pkg.API /opt/julia-1.11.2/share/julia/stdlib/v1.11/Pkg/src/API.jl:159
 [13] add(pkgs::Vector{Pkg.Types.PackageSpec})
    @ Pkg.API /opt/julia-1.11.2/share/julia/stdlib/v1.11/Pkg/src/API.jl:148
 [14] add
    @ /opt/julia-1.11.2/share/julia/stdlib/v1.11/Pkg/src/API.jl:146 [inlined]
 [15] add(; name::Nothing, uuid::Nothing, version::Nothing, url::String, rev::Nothing, path::Nothing, mode::Pkg.Types.PackageMode, subdir::Nothing, kwargs::@Kwargs{})
    @ Pkg.API /opt/julia-1.11.2/share/julia/stdlib/v1.11/Pkg/src/API.jl:176
 [16] top-level scope
    @ /mnt/c/Users/2027001/Desktop/workspace/kruppa-julia/test-decomposingPoly.jl:3
in expression starting at /mnt/c/Users/2027001/Desktop/workspace/kruppa-julia/test-decomposingPoly.jl:3 

---

System Info:

• Julia version: 1.11.2
• OS: Windows Subsystem for Linux (WSL2, Ubuntu 22.04)

---

Minimal Working Example (intended):

using DecomposingPolynomialSystems
@var x[1:2] p[1:2]
F = System([x[1]^2 - x[2]^2 - p[1], 2*x[1]*x[2] - p[2]]; variables=x, paramters=p)
println(symmetries_fixing_paramters(F; degree_bound=1, param_dep=false))

---

Is there a recommended set of compatible versions for Oscar, AbstractAlgebra, etc., or a known workaround?

Thanks in advance for your help!

Best regards,

[azoviktor]

Hi Norio,

thanks for opening the issue!

This was caused by a conflict between version requirements of dependencies (AbstractAlgebra and Oscar). I’ve adjusted the [compat] bounds in the Project.toml file and the package should now resolve and install properly alongside Oscar.

I also registered the new patch 1.0.1, so you can install the package also by

add DecomposingPolynomialSystems

[Rowing0914]

Hi Viktor,

Thank you so much for your prompt action! It works on my end now, and I was able to follow your example in the README and get the same output as intended!