Skip to content

Commit

Permalink
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Adjust a test
Browse files Browse the repository at this point in the history
joschmitt committed Apr 10, 2024
1 parent c581ec0 commit a410ed7
Showing 1 changed file with 5 additions and 5 deletions.
10 changes: 5 additions & 5 deletions experimental/DoubleAndHyperComplexes/test/ext.jl
Original file line number Diff line number Diff line change
@@ -193,25 +193,25 @@ end
interp = Oscar.element_to_homomorphism_map(tot, 0)

# The particular results below depend on the outcome of the kernel computation
# and might change!
# and might change!
phi = interp(H0[1])
dom_tot = domain(phi)
cod_tot = codomain(phi)
@test !iszero(phi[0])
@test !iszero(phi[0])
@test !iszero(phi[1])
@test compose(map(dom_tot, 1), phi[0]) == compose(phi[1], map(cod_tot, 1))

phi = interp(H0[2])
dom_tot = domain(phi)
cod_tot = codomain(phi)
@test !iszero(phi[0])
@test !iszero(phi[1])
@test !iszero(phi[0])
@test compose(map(dom_tot, 1), phi[0]) == compose(phi[1], map(cod_tot, 1))

phi = interp(H0[3])
dom_tot = domain(phi)
cod_tot = codomain(phi)
@test !iszero(phi[0])
@test !iszero(phi[0])
@test !iszero(phi[1])
@test compose(map(dom_tot, 1), phi[0]) == compose(phi[1], map(cod_tot, 1))

# The morphisms

0 comments on commit a410ed7

Please sign in to comment.