Oscar.jl
Oscar.jl copied to clipboard
Polyhedron constructor with Float arguments fails
Describe the bug
Following the first example on the documentation, changing any of the vector components to be a float, shows ERROR: MethodError: no method matching assure_vector_polymake(::Vector{Float64})
. It does not occur when doing the same for the matrix
To Reproduce
using Oscar
# Julia code
P = Polyhedron([-1 0; 0 -1; 1 1], [0, 0, 1/sqrt(2)])
Expected behavior It should either complain outright in the called function or cast properly
System (please complete the following information):
Please paste the output of Oscar.versioninfo(full=true)
below. If this does
not work, please paste the output of Julia's versioninfo()
and your Oscar
version.
julia> Oscar.versioninfo(full=true)
OSCAR version 0.10.2
combining:
AbstractAlgebra.jl v0.27.5
GAP.jl v0.8.2
Hecke.jl v0.15.2
Nemo.jl v0.32.3
Polymake.jl v0.8.0
Singular.jl v0.12.0
building on:
Antic_jll v0.201.500+0
Arb_jll v200.2300.0+0
Calcium_jll v0.401.100+0
FLINT_jll v200.900.1+0
GAP_jll v400.1192.2+1
Singular_jll v403.100.200+0
libpolymake_julia_jll v0.8.1+0
libsingular_julia_jll v0.25.0+0
msolve_jll v0.4.4+0
polymake_jll v400.700.1+1
See `]st -m` for a full list of dependencies.
Julia Version 1.8.2
Commit 36034abf26 (2022-09-29 15:21 UTC)
Platform Info:
OS: Linux (x86_64-pc-linux-gnu)
CPU: 8 × Intel(R) Core(TM) i5-8250U CPU @ 1.60GHz
WORD_SIZE: 64
LIBM: libopenlibm
LLVM: libLLVM-14.0.6 (ORCJIT, skylake)
Threads: 1 on 8 virtual cores