Update to latest AA, Nemo #4410
fingolfinCI.yml
on: pull_request
Documentation
6m 42s
Matrix: test
Annotations
9 errors
|
Documentation:
src/AlgAssAbsOrd/Conjugacy/Conjugacy.jl#L297
doctest failure in ~/work/Hecke.jl/Hecke.jl/src/AlgAssAbsOrd/Conjugacy/Conjugacy.jl:297-312
```jldoctest
julia> A = matrix(ZZ, 4, 4, [ 0, 1, 0, 0,
-4, 0, 0, 0,
0, 0, 0, 1,
0, 0, -4, 0]);
julia> B = matrix(ZZ, 4, 4, [ 0, 1, 4, 0,
-4, 0, 0, -4,
0, 0, 0, 1,
0, 0, -4, 0]);
julia> fl, T = is_GLZ_conjugate(A, B);
julia> isone(abs(det(T))) && T * A == B * T
true
```
Subexpression:
fl, T = is_GLZ_conjugate(A, B);
Evaluated output:
ERROR: type FqMatrix has no field entries
Stacktrace:
[1] getproperty
@ ./Base.jl:37 [inlined]
[2] dotgetproperty(x::FqMatrix, f::Symbol)
@ Base ./Base.jl:40
[3] sub!(A::FqMatrix, B::FqMatrix, C::FqMatrix)
@ AbstractAlgebra.Generic ~/.julia/packages/AbstractAlgebra/K4DR4/src/generic/Matrix.jl:216
[4] _relations(M::Hecke.ModAlgAss{FqField, FqMatrix, AlgMat{FqFieldElem, FqMatrix}}, N::Hecke.ModAlgAss{FqField, FqMatrix, AlgMat{FqFieldElem, FqMatrix}})
@ Hecke ~/work/Hecke.jl/Hecke.jl/src/ModAlgAss/MeatAxe.jl:740
[5] is_isomorphic(M::Hecke.ModAlgAss{FqField, FqMatrix, AlgMat{FqFieldElem, FqMatrix}}, N::Hecke.ModAlgAss{FqField, FqMatrix, AlgMat{FqFieldElem, FqMatrix}})
@ Hecke ~/work/Hecke.jl/Hecke.jl/src/ModAlgAss/MeatAxe.jl:348
[6] composition_factors_with_multiplicity(M::Hecke.ModAlgAss{FqField, FqMatrix, AlgMat{FqFieldElem, FqMatrix}}; dimension::Int64)
@ Hecke ~/work/Hecke.jl/Hecke.jl/src/ModAlgAss/MeatAxe.jl:652
[7] composition_factors_with_multiplicity
@ ~/work/Hecke.jl/Hecke.jl/src/ModAlgAss/MeatAxe.jl:609 [inlined]
[8] _minimal_submodules(M::Hecke.ModAlgAss{FqField, FqMatrix, AlgMat{FqFieldElem, FqMatrix}}, dim::Int64, lf::Vector{Tuple{Hecke.ModAlgAss{FqField, FqMatrix, AlgMat{FqFieldElem, FqMatrix}}, Int64}})
@ Hecke ~/work/Hecke.jl/Hecke.jl/src/ModAlgAss/MeatAxe.jl:939
[9] minimal_submodules(M::Hecke.ModAlgAss{FqField, FqMatrix, AlgMat{FqFieldElem, FqMatrix}}, dim::Int64, lf::Vector{Tuple{Hecke.ModAlgAss{FqField, FqMatrix, AlgMat{FqFieldElem, FqMatrix}}, Int64}})
@ Hecke ~/work/Hecke.jl/Hecke.jl/src/ModAlgAss/MeatAxe.jl:968
[10] maximal_submodules(M::Hecke.ModAlgAss{FqField, FqMatrix, AlgMat{FqFieldElem, FqMatrix}}, index::Int64, lf::Vector{Tuple{Hecke.ModAlgAss{FqField, FqMatrix, AlgMat{FqFieldElem, FqMatrix}}, Int64}})
@ Hecke ~/work/Hecke.jl/Hecke.jl/src/ModAlgAss/MeatAxe.jl:980
[11] maximal_submodules (repeats 2 times)
@ ~/work/Hecke.jl/Hecke.jl/src/ModAlgAss/MeatAxe.jl:979 [inlined]
[12] _maximal_ideals(O::Hecke.AlgAssAbsOrd{AlgAss{QQFieldElem}, AlgAssElem{QQFieldElem, AlgAss{QQFieldElem}}}, I::Hecke.AlgAssAbsOrdIdl{AlgAss{QQFieldElem}, AlgAssElem{QQFieldElem, AlgAss{QQFieldElem}}}, p::ZZRingElem; strict_containment::Bool)
@ Hecke ~/work/Hecke.jl/Hecke.jl/src/AlgAssAbsOrd/Ideal.jl:1219
[13] macro expansion
@ ~/work/Hecke.jl/Hecke.jl/src/Hecke.jl:500 [inlined]
[14] pmaximal_overorder_meataxe(O::Hecke.AlgAssAbsOrd{AlgAss{QQFieldElem}, AlgAssElem{QQFieldElem, AlgAss{QQFieldElem}}}, p::ZZRingElem)
@ Hecke ~/work/Hecke.jl/Hecke.jl/src/AlgAssAbsOrd/Order.jl:623
[15] macro expansion
@ ~/work/Hecke.jl/Hecke.jl/src/Hecke.jl:500 [inlined]
[16] pmaximal_overorder(O::Hecke.AlgAssAbsOrd{AlgAss{QQFieldElem}, AlgAssElem{QQFieldElem, AlgAss{QQFieldElem}}}, p::ZZRingElem)
@ Hecke ~/work/Hecke.jl/Hecke.jl/src/AlgAssAbsOrd/Order.jl:612
[17] is_maximal(O::Hecke.AlgAssAbsOrd{AlgAss{QQFieldElem}, AlgAssElem{QQFieldElem, AlgAss{QQFieldElem}}})
@ Hecke ~/work/Hecke.jl/Hecke.jl/src/AlgAssAbsOrd/Order.jl:78
[18] _isprincipal(a::Hecke.AlgAssAbsOrdIdl{AlgAss{QQFieldElem}, AlgAssElem{QQFieldElem, AlgAss{QQFieldElem}}}, O::Hecke.AlgAssAbsOrd{AlgAss{QQFieldElem}, AlgAssElem{QQFieldElem, AlgAss{QQFieldElem}}}, side::Symbol)
@ Hecke ~/work/Hecke.jl/Hecke.jl/src/AlgAssAbsOrd/PIP.jl:408
[19] _isGLZ_conjugate_integral(A::QQMatrix, B::QQMatrix)
@ Hecke ~/work/Hecke.jl/Hecke.jl/src/AlgAssAbsOrd/Conjugacy/Conjugacy.jl:397
[20] is_G
|
|
Documentation:
src/AlgAssAbsOrd/Conjugacy/Conjugacy.jl#L297
doctest failure in ~/work/Hecke.jl/Hecke.jl/src/AlgAssAbsOrd/Conjugacy/Conjugacy.jl:297-312
```jldoctest
julia> A = matrix(ZZ, 4, 4, [ 0, 1, 0, 0,
-4, 0, 0, 0,
0, 0, 0, 1,
0, 0, -4, 0]);
julia> B = matrix(ZZ, 4, 4, [ 0, 1, 4, 0,
-4, 0, 0, -4,
0, 0, 0, 1,
0, 0, -4, 0]);
julia> fl, T = is_GLZ_conjugate(A, B);
julia> isone(abs(det(T))) && T * A == B * T
true
```
Subexpression:
isone(abs(det(T))) && T * A == B * T
Evaluated output:
ERROR: UndefVarError: `T` not defined
Stacktrace:
[1] top-level scope
@ none:1
Expected output:
true
diff =
Warning: Diff output requires color.
trueERROR: UndefVarError: `T` not defined
Stacktrace:
[1] top-level scope
@ none:1
|
|
Documentation
Process completed with exit code 1.
|
|
test (1.9, windows-latest)
Process completed with exit code 1.
|
|
test (1.9, macOS-latest)
Process completed with exit code 1.
|
|
test (~1.10.0-0, ubuntu-latest)
Process completed with exit code 1.
|
|
test (1.9, ubuntu-latest)
Process completed with exit code 1.
|
|
test (nightly, ubuntu-latest)
Process completed with exit code 1.
|
|
test (1.6, ubuntu-latest)
Process completed with exit code 1.
|