From d29e6a64e1d14b521d6f179b73e9abfc9acdcf16 Mon Sep 17 00:00:00 2001 From: Tommy Hofmann Date: Tue, 14 Nov 2023 18:23:00 +0100 Subject: [PATCH] Reduce number of tests for is_isometric_with_isometry (#1286) --- test/QuadForm/Quad/Spaces.jl | 64 +++++++++++++++++++----------------- test/runtests.jl | 4 +-- 2 files changed, 35 insertions(+), 33 deletions(-) diff --git a/test/QuadForm/Quad/Spaces.jl b/test/QuadForm/Quad/Spaces.jl index 41a3b0156c..44ff78630e 100644 --- a/test/QuadForm/Quad/Spaces.jl +++ b/test/QuadForm/Quad/Spaces.jl @@ -158,40 +158,42 @@ @test fl F,a = number_field(x^2 - 2, :a) - tt = [[-4, 13, -5, 16], - [-4, 19, 5, -24], - [1, -1, 0, 1], - [3, 8, -2, -5], - [-3, -13, 4, 17], - [7, 19, -3, -8], - [3, -17, -1, 6], - [11, -9, 5, -4], - [-5, 7, -3, 4], - [10, 27, -3, -8]] - dd = [[7//5*a - 5//8, -2//9], - [-a + 8//3, 4//5*a - 4//3], - [2*a - 9//4, 10//9*a - 3], - [-a - 1, -9//7*a - 4], - [-9//2, 1//2*a - 5//4], - [a - 1//3, 1//2*a - 7//4], - [-3//7*a - 5//6, 9//2*a + 5//9], - [-1//2*a + 3//4, 1//10*a - 10//9], - [2//3*a + 1//5, 3//10*a + 1//4], - [3//5*a + 7//9, -1//2*a + 1//9], - [-1//3, a - 10//7], - [6//5, -9//2*a - 7//3], - [5//3*a - 1, -5//7*a + 1//9], - [4//5*a + 1, -10//9*a + 7//5], - [2//5*a - 6//5, -3//4*a - 5], - [-2*a + 2, -1//8*a + 4//7], - [a - 1//8, 2*a - 10//7], - [5//4, 9*a + 1], - [-5//7*a - 1//3, -3//5*a + 4//7], - [-5//3*a + 1//2, -1//9*a - 8//9]] + tt = [#[-4, 13, -5, 16], + #[-4, 19, 5, -24], + [1, -1, 0, 1], + #[3, 8, -2, -5], + #[-3, -13, 4, 17], + #[7, 19, -3, -8], + #[3, -17, -1, 6], + #[11, -9, 5, -4], + #[-5, 7, -3, 4], + #[10, 27, -3, -8] + ] + dd = [#[7//5*a - 5//8, -2//9], + #[-a + 8//3, 4//5*a - 4//3], + #[2*a - 9//4, 10//9*a - 3], + [-a - 1, -9*7*a - 4*49], + #[-9//2, 1//2*a - 5//4], + #[a - 1//3, 1//2*a - 7//4], + #[-3//7*a - 5//6, 9//2*a + 5//9], + #[-1//2*a + 3//4, 1//10*a - 10//9], + #[2//3*a + 1//5, 3//10*a + 1//4], + #[3//5*a + 7//9, -1//2*a + 1//9], + #[-1//3, a - 10//7], + #[6//5, -9//2*a - 7//3], + #[5//3*a - 1, -5//7*a + 1//9], + #[4//5*a + 1, -10//9*a + 7//5], + #[2//5*a - 6//5, -3//4*a - 5], + #[-2*a + 2, -1//8*a + 4//7], + #[a - 1//8, 2*a - 10//7], + #[5//4, 9*a + 1], + #[-5//7*a - 1//3, -3//5*a + 4//7], + #[-5//3*a + 1//2, -1//9*a - 8//9] + ] tt = [matrix(F, 2, 2, [F(s) for s in t]) for t in tt] dd = [diagonal_matrix([F(s) for s in d]) for d in dd] - for i in 1:10 + for i in 1:1 t = rand(tt) d = rand(dd) q1 = quadratic_space(F, d) diff --git a/test/runtests.jl b/test/runtests.jl index c300ce263d..a0204408c0 100644 --- a/test/runtests.jl +++ b/test/runtests.jl @@ -121,8 +121,8 @@ end if fl === "true" && !no_parallel && !Sys.iswindows() isparallel = true # CPU_THREADS reports number of logical cores (including hyperthreading) - # So be pessimistic and divide by 2 on Linux (less memory?) - n_procs = div(Sys.CPU_THREADS, Sys.islinux() ? 2 : 1) + # So be pessimistic and divide by 2 + n_procs = min(div(Sys.CPU_THREADS, 2), 1) if Sys.islinux() # there is not enough memory to support >= 2 jobs isparallel = false