This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
julia> using Hecke | |
julia> K, a = number_field(x^4-10*x^2+1, cached = false) | |
julia> OK = (maximal_order(K)) | |
julia> E = EquationOrder(K) | |
julia> P = prime_decomposition(E, 13)[1][1]^C |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
julia> M = matrix(FlintZZ, 4, 4, fmpz[584067842, 0, 24573982, 521334123, 0, -584067842, -434026422, -496760141, 24573982, -434026422, -321495282, -347212699, 521334123, -496760141, -347212699, 42835143]) | |
[584067842 0 24573982 521334123] | |
[ 0 -584067842 -434026422 -496760141] | |
[ 24573982 -434026422 -321495282 -347212699] | |
[521334123 -496760141 -347212699 42835143] | |
julia> for i in 1:100000; @show i | |
lll_gram(M) | |
end |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
-- Found Julia executable: /home/blablabla/julia/julia-1.1.1/bin/julia | |
-- Julia_VERSION_STRING: 1.1.1 | |
-- Julia_INCLUDE_DIRS: /home/blablabla/julia/julia-1.1.1/include/julia | |
-- Julia_LIBRARY_DIR: /home/blablabla/julia/julia-1.1.1/lib | |
-- Julia_LIBRARY: /home/blablabla/julia/julia-1.1.1/lib/libjulia.so.1 | |
-- JULIA_HOME: /home/blablabla/julia/julia-1.1.1/bin | |
-- Julia_LLVM_VERSION: v6.0.1 | |
-- Julia_WORD_SIZE: 64 | |
-- Configuring done | |
-- Generating done |
This file has been truncated, but you can view the full file.
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Internal error: encountered unexpected error in runtime: | |
StackOverflowError() | |
save_env at /buildworker/worker/package_linux64/build/src/subtype.c:133 | |
forall_exists_subtype at /buildworker/worker/package_linux64/build/src/subtype.c:1101 | |
subtype_in_env at /buildworker/worker/package_linux64/build/src/subtype.c:1180 | |
try_subtype_in_env at /buildworker/worker/package_linux64/build/src/subtype.c:1359 | |
intersect_var at /buildworker/worker/package_linux64/build/src/subtype.c:1417 | |
intersect at /buildworker/worker/package_linux64/build/src/subtype.c:2050 | |
intersect_ufirst at /buildworker/worker/package_linux64/build/src/subtype.c:1327 [inlined] | |
var_lt at /buildworker/worker/package_linux64/build/src/subtype.c:511 |
This file has been truncated, but you can view the full file.
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
julia> h() | |
Internal error: encountered unexpected error in runtime: | |
StackOverflowError() | |
check_datatype_parameters at /home/thofmann/julia/juliadev/src/jltypes.c:1008 | |
inst_datatype_inner at /home/thofmann/julia/juliadev/src/jltypes.c:1122 | |
inst_datatype_env at /home/thofmann/julia/juliadev/src/jltypes.c:1306 | |
inst_datatype_env at /home/thofmann/julia/juliadev/src/jltypes.c:1310 | |
inst_datatype_env at /home/thofmann/julia/juliadev/src/jltypes.c:1310 | |
inst_datatype at /home/thofmann/julia/juliadev/src/jltypes.c:1316 | |
inst_type_w_ at /home/thofmann/julia/juliadev/src/jltypes.c:1507 |