feat: add lll_gram[_with_transform] for semidefinite matrices #3328
thofmaAnnotations
9 errors and 1 notice
|
test (1.10, macOS-latest)
Process completed with exit code 1.
|
|
test (1.10, ubuntu-latest)
Process completed with exit code 1.
|
|
test (1.6, ubuntu-latest)
Process completed with exit code 1.
|
|
test (1.10, windows-latest)
Process completed with exit code 1.
|
|
test (1.11, ubuntu-latest)
Process completed with exit code 1.
|
|
test (nightly, ubuntu-latest)
Process completed with exit code 1.
|
|
Documentation:
docs/src/matrix.md#L350
doctest failure in src/matrix.md:350-377
```jldoctest
julia> A = ZZ[2 3 5; 1 4 7; 19 3 7]
[ 2 3 5]
[ 1 4 7]
[19 3 7]
julia> L = lll(A, LLLContext(0.95, 0.55, :zbasis, :approx))
[-1 1 2]
[-1 -2 2]
[ 4 1 1]
julia> L, T = lll_with_transform(A)
([-1 1 2; -1 -2 2; 4 1 1], [-1 1 0; -15 10 1; 3 -2 0])
julia> G = lll_gram(gram(A))
[ 6 3 -1]
[ 3 9 -4]
[-1 -4 18]
julia> G, T = lll_gram_with_transform(gram(A))
([6 3 -1; 3 9 -4; -1 -4 18], [-1 1 0; -15 10 1; 3 -2 0])
julia> r, L = lll_with_removal(A, ZZ(100))
(3, [-1 1 2; -1 -2 2; 4 1 1])
julia> r, L, T = lll_with_removal_transform(A, ZZ(100))
(3, [-1 1 2; -1 -2 2; 4 1 1], [-1 1 0; -15 10 1; 3 -2 0])
```
Subexpression:
G = lll_gram(gram(A))
Evaluated output:
ERROR: UndefVarError: `is_negative_entry` not defined
Stacktrace:
[1] lll_gram!(x::ZZMatrix, ctx::LLLContext)
@ Nemo ~/work/Nemo.jl/Nemo.jl/src/flint/fmpz_mat.jl:1123
[2] lll_gram!
@ ~/work/Nemo.jl/Nemo.jl/src/flint/fmpz_mat.jl:1118 [inlined]
[3] lll_gram
@ ~/work/Nemo.jl/Nemo.jl/src/flint/fmpz_mat.jl:1104 [inlined]
[4] lll_gram(x::ZZMatrix)
@ Nemo ~/work/Nemo.jl/Nemo.jl/src/flint/fmpz_mat.jl:1102
[5] top-level scope
@ none:1
Expected output:
[ 6 3 -1]
[ 3 9 -4]
[-1 -4 18]
diff =
Warning: Diff output requires color.
[ 6 3 -1]
[ 3 9 -4]
[-1 -4 18]ERROR: UndefVarError: `is_negative_entry` not defined
Stacktrace:
[1] lll_gram!(x::ZZMatrix, ctx::LLLContext)
@ Nemo ~/work/Nemo.jl/Nemo.jl/src/flint/fmpz_mat.jl:1123
[2] lll_gram!
@ ~/work/Nemo.jl/Nemo.jl/src/flint/fmpz_mat.jl:1118 [inlined]
[3] lll_gram
@ ~/work/Nemo.jl/Nemo.jl/src/flint/fmpz_mat.jl:1104 [inlined]
[4] lll_gram(x::ZZMatrix)
@ Nemo ~/work/Nemo.jl/Nemo.jl/src/flint/fmpz_mat.jl:1102
[5] top-level scope
@ none:1
|
|
Documentation:
docs/src/matrix.md#L350
doctest failure in src/matrix.md:350-377
```jldoctest
julia> A = ZZ[2 3 5; 1 4 7; 19 3 7]
[ 2 3 5]
[ 1 4 7]
[19 3 7]
julia> L = lll(A, LLLContext(0.95, 0.55, :zbasis, :approx))
[-1 1 2]
[-1 -2 2]
[ 4 1 1]
julia> L, T = lll_with_transform(A)
([-1 1 2; -1 -2 2; 4 1 1], [-1 1 0; -15 10 1; 3 -2 0])
julia> G = lll_gram(gram(A))
[ 6 3 -1]
[ 3 9 -4]
[-1 -4 18]
julia> G, T = lll_gram_with_transform(gram(A))
([6 3 -1; 3 9 -4; -1 -4 18], [-1 1 0; -15 10 1; 3 -2 0])
julia> r, L = lll_with_removal(A, ZZ(100))
(3, [-1 1 2; -1 -2 2; 4 1 1])
julia> r, L, T = lll_with_removal_transform(A, ZZ(100))
(3, [-1 1 2; -1 -2 2; 4 1 1], [-1 1 0; -15 10 1; 3 -2 0])
```
Subexpression:
G, T = lll_gram_with_transform(gram(A))
Evaluated output:
ERROR: UndefVarError: `is_negative_entry` not defined
Stacktrace:
[1] lll_gram_with_transform(x::ZZMatrix, ctx::LLLContext)
@ Nemo ~/work/Nemo.jl/Nemo.jl/src/flint/fmpz_mat.jl:1046
[2] lll_gram_with_transform(x::ZZMatrix)
@ Nemo ~/work/Nemo.jl/Nemo.jl/src/flint/fmpz_mat.jl:1039
[3] top-level scope
@ none:1
Expected output:
([6 3 -1; 3 9 -4; -1 -4 18], [-1 1 0; -15 10 1; 3 -2 0])
diff =
Warning: Diff output requires color.
([6 3 -1; 3 9 -4; -1 -4 18], [-1 1 0; -15 10 1; 3 -2 0])ERROR: UndefVarError: `is_negative_entry` not defined
Stacktrace:
[1] lll_gram_with_transform(x::ZZMatrix, ctx::LLLContext)
@ Nemo ~/work/Nemo.jl/Nemo.jl/src/flint/fmpz_mat.jl:1046
[2] lll_gram_with_transform(x::ZZMatrix)
@ Nemo ~/work/Nemo.jl/Nemo.jl/src/flint/fmpz_mat.jl:1039
[3] top-level scope
@ none:1
|
|
Documentation
Process completed with exit code 1.
|
|
test (1.6, ubuntu-latest)
[setup-julia] If you are testing 1.6 as a Long Term Support (lts) version, consider using the new "lts" version specifier instead of "1.6" explicitly, which will automatically resolve the current lts.
|