Tommy Hofmann thofma
View LLL jump
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 |
thofma
/ gist:3cb90e5f329b3194fc162a39a0ccb0bf
Created
April 3, 2020 14:48
View gist:3cb90e5f329b3194fc162a39a0ccb0bf
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 |
thofma
/ gist:5ad640cabb22773406164967584f58c2
Created
March 5, 2020 14:29
View gist:5ad640cabb22773406164967584f58c2
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 |
thofma
/ error_v104
Created
June 27, 2019 06:44
View error_v104
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 |
thofma
/ gist:c6a252bce24f970940f7effa413ed792
Created
March 30, 2018 16:24
View gist:c6a252bce24f970940f7effa413ed792
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 |