Skip to content

Commit

Permalink
Remove unnecessary tests (#1237)
Browse files Browse the repository at this point in the history
  • Loading branch information
fingolfin authored Oct 9, 2023
1 parent c4ffff3 commit 798045a
Showing 1 changed file with 1 addition and 9 deletions.
10 changes: 1 addition & 9 deletions test/QuadForm/Quad/Spaces.jl
Original file line number Diff line number Diff line change
Expand Up @@ -29,16 +29,8 @@
Qx, x = polynomial_ring(FlintQQ, "x")
K1, a1 = number_field(x^2 - 2, "a1")
K2, a2 = number_field(x^3 - 2, "a2")

K1t, t = polynomial_ring(K1, "t")
F = GF(3)

Hecke.change_base_ring(::QQField, ::Hecke.fpMatrix) = error("asd")
@test_throws ErrorException quadratic_space(FlintQQ, F[1 2; 2 1])

Hecke.change_base_ring(::QQField, x::Hecke.fpMatrix) = x
@test_throws ErrorException quadratic_space(FlintQQ, F[1 2; 2 1])

L, b = number_field(t^2 + a1)

for K in [k, K1, K2, L]
Expand Down

0 comments on commit 798045a

Please sign in to comment.