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