|
1 | | -#using Test |
2 | | -#import MutableArithmetics as MA |
3 | | -# |
4 | | -#function all_tests(a, b, c, d, e, f, g) |
5 | | -# a_copy = deepcopy(a) |
6 | | -# b_copy = deepcopy(b) |
7 | | -# c_copy = deepcopy(c) |
8 | | -# d_copy = deepcopy(d) |
9 | | -# e_copy = deepcopy(e) |
10 | | -# f_copy = deepcopy(f) |
11 | | -# g_copy = deepcopy(g) |
12 | | -# @testset "Scalar" begin |
13 | | -# MA.Test.scalar_test(a) |
14 | | -# MA.Test.scalar_test(b) |
15 | | -# MA.Test.scalar_test(c) |
16 | | -# MA.Test.scalar_test(d) |
17 | | -# MA.Test.scalar_test(e) |
18 | | -# MA.Test.scalar_test(f) |
19 | | -# MA.Test.scalar_test(g) |
20 | | -# end |
21 | | -# @test isequal(a, a_copy) |
22 | | -# @test isequal(b, b_copy) |
23 | | -# @test isequal(c, c_copy) |
24 | | -# @test isequal(d, d_copy) |
25 | | -# @test isequal(e, e_copy) |
26 | | -# @testset "Quadratic" begin |
27 | | -# MA.Test.quadratic_test(a, b, c, d) |
28 | | -# MA.Test.quadratic_test(b, c, d, e) |
29 | | -# MA.Test.quadratic_test(c, d, e, f) |
30 | | -# MA.Test.quadratic_test(d, e, f, g) |
31 | | -# MA.Test.quadratic_test(e, f, g, a) |
32 | | -# MA.Test.quadratic_test(f, g, a, b) |
33 | | -# MA.Test.quadratic_test(g, a, b, c) |
34 | | -# end |
35 | | -# @test isequal(a, a_copy) |
36 | | -# @test isequal(b, b_copy) |
37 | | -# @test isequal(c, c_copy) |
38 | | -# @test isequal(d, d_copy) |
39 | | -# @test isequal(e, e_copy) |
40 | | -# @testset "Sparse" begin |
41 | | -# MA.Test.sparse_test(a, b, [a b c; b c a; a b a]) |
42 | | -# end |
43 | | -# @test isequal(a, a_copy) |
44 | | -# @test isequal(b, b_copy) |
45 | | -# @test isequal(c, c_copy) |
46 | | -# @test isequal(d, d_copy) |
47 | | -# @test isequal(e, e_copy) |
48 | | -# @testset "Vector" begin |
49 | | -# MA.Test.array_test([a, b, c]) |
50 | | -# MA.Test.array_test([b, c, d]) |
51 | | -# MA.Test.array_test([c, d, e]) |
52 | | -# MA.Test.array_test([d, e, a]) |
53 | | -# MA.Test.array_test([e, a, b]) |
54 | | -# end |
55 | | -# @test isequal(a, a_copy) |
56 | | -# @test isequal(b, b_copy) |
57 | | -# @test isequal(c, c_copy) |
58 | | -# @test isequal(d, d_copy) |
59 | | -# @test isequal(e, e_copy) |
60 | | -# @testset "Matrix" begin |
61 | | -# MA.Test.array_test([a b; c d]) |
62 | | -# MA.Test.array_test([c e; e d]) |
63 | | -# MA.Test.array_test([a b c; b c a; a b a]) |
64 | | -# MA.Test.array_test([d b c; d c e; e b a]) |
65 | | -# end |
66 | | -# @test isequal(a, a_copy) |
67 | | -# @test isequal(b, b_copy) |
68 | | -# @test isequal(c, c_copy) |
69 | | -# @test isequal(d, d_copy) |
70 | | -# @test isequal(e, e_copy) |
71 | | -#end |
72 | | -# |
73 | | -#Mod.@polyvar x y |
74 | | -# |
75 | | -#@testset "MutableArithmetics with variables" begin |
76 | | -# # Creating 7 different variables here gives a long compile time for TypedPolynomials |
77 | | -# all_tests(x, y, x, y, x, y, x) |
78 | | -#end |
79 | | -# |
80 | | -#@testset "MutableArithmetics with monomials" begin |
81 | | -# a = x^2 |
82 | | -# b = y^2 |
83 | | -# c = x |
84 | | -# d = x^2 * y |
85 | | -# e = x^3 |
86 | | -# f = x^5 |
87 | | -# g = x^4 |
88 | | -# all_tests(a, b, c, d, e, f, g) |
89 | | -#end |
90 | | -# |
91 | | -#@testset "MutableArithmetics with terms in $T" for T in [Int, BigInt] |
92 | | -# if MA.mutability(T) isa MA.IsMutable && |
93 | | -# MA.mutability(typeof(x * y)) isa MA.IsMutable |
94 | | -# @testset "Int" begin |
95 | | -# MA.Test.int_test( |
96 | | -# term_type(x, T), |
97 | | -# exclude = ["int_add", "int_add_mul", "int_zero"], |
98 | | -# ) |
99 | | -# end |
100 | | -# end |
101 | | -# a = T(2) * x^2 |
102 | | -# b = T(4) * y^2 |
103 | | -# c = T(3) * x |
104 | | -# d = T(5) * x^2 * y |
105 | | -# e = T(5) * x^3 |
106 | | -# f = T(1) * x^5 |
107 | | -# g = T(2) * x^4 |
108 | | -# all_tests(a, b, c, d, e, f, g) |
109 | | -#end |
110 | | -# |
111 | | -#@testset "MutableArithmetics with polynomials in $T" for T in [Int, BigInt] |
112 | | -# if MA.mutability(T) isa MA.IsMutable |
113 | | -# @testset "Int" begin |
114 | | -# MA.Test.int_test(polynomial_type(x, T)) |
115 | | -# end |
116 | | -# end |
117 | | -# a = T(2) * x^2 + T(3) * x * y + T(4) * y |
118 | | -# b = T(4) * y^2 - T(1) * x * y + T(4) * x |
119 | | -# c = T(1) * x^2 + T(3) * x - T(4) |
120 | | -# d = T(5) * x^2 * y - T(3) * x + T(4) * y |
121 | | -# e = T(5) * x^3 - T(3) * x + T(4) |
122 | | -# f = x^5 + x^4 + x^2 + x + T(1) |
123 | | -# g = T(2)x^4 + x^3 |
124 | | -# all_tests(a, b, c, d, e, f, g) |
125 | | -#end |
| 1 | +using Test |
| 2 | +import MutableArithmetics as MA |
| 3 | + |
| 4 | +function all_tests(a, b, c, d, e, f, g) |
| 5 | + a_copy = deepcopy(a) |
| 6 | + b_copy = deepcopy(b) |
| 7 | + c_copy = deepcopy(c) |
| 8 | + d_copy = deepcopy(d) |
| 9 | + e_copy = deepcopy(e) |
| 10 | + f_copy = deepcopy(f) |
| 11 | + g_copy = deepcopy(g) |
| 12 | + @testset "Scalar" begin |
| 13 | + MA.Test.scalar_test(a) |
| 14 | + MA.Test.scalar_test(b) |
| 15 | + MA.Test.scalar_test(c) |
| 16 | + MA.Test.scalar_test(d) |
| 17 | + MA.Test.scalar_test(e) |
| 18 | + MA.Test.scalar_test(f) |
| 19 | + MA.Test.scalar_test(g) |
| 20 | + end |
| 21 | + @test isequal(a, a_copy) |
| 22 | + @test isequal(b, b_copy) |
| 23 | + @test isequal(c, c_copy) |
| 24 | + @test isequal(d, d_copy) |
| 25 | + @test isequal(e, e_copy) |
| 26 | + @testset "Quadratic" begin |
| 27 | + MA.Test.quadratic_test(a, b, c, d) |
| 28 | + MA.Test.quadratic_test(b, c, d, e) |
| 29 | + MA.Test.quadratic_test(c, d, e, f) |
| 30 | + MA.Test.quadratic_test(d, e, f, g) |
| 31 | + MA.Test.quadratic_test(e, f, g, a) |
| 32 | + MA.Test.quadratic_test(f, g, a, b) |
| 33 | + MA.Test.quadratic_test(g, a, b, c) |
| 34 | + end |
| 35 | + @test isequal(a, a_copy) |
| 36 | + @test isequal(b, b_copy) |
| 37 | + @test isequal(c, c_copy) |
| 38 | + @test isequal(d, d_copy) |
| 39 | + @test isequal(e, e_copy) |
| 40 | + @testset "Sparse" begin |
| 41 | + MA.Test.sparse_test(a, b, [a b c; b c a; a b a]) |
| 42 | + end |
| 43 | + @test isequal(a, a_copy) |
| 44 | + @test isequal(b, b_copy) |
| 45 | + @test isequal(c, c_copy) |
| 46 | + @test isequal(d, d_copy) |
| 47 | + @test isequal(e, e_copy) |
| 48 | + @testset "Vector" begin |
| 49 | + MA.Test.array_test([a, b, c]) |
| 50 | + MA.Test.array_test([b, c, d]) |
| 51 | + MA.Test.array_test([c, d, e]) |
| 52 | + MA.Test.array_test([d, e, a]) |
| 53 | + MA.Test.array_test([e, a, b]) |
| 54 | + end |
| 55 | + @test isequal(a, a_copy) |
| 56 | + @test isequal(b, b_copy) |
| 57 | + @test isequal(c, c_copy) |
| 58 | + @test isequal(d, d_copy) |
| 59 | + @test isequal(e, e_copy) |
| 60 | + @testset "Matrix" begin |
| 61 | + MA.Test.array_test([a b; c d]) |
| 62 | + MA.Test.array_test([c e; e d]) |
| 63 | + MA.Test.array_test([a b c; b c a; a b a]) |
| 64 | + MA.Test.array_test([d b c; d c e; e b a]) |
| 65 | + end |
| 66 | + @test isequal(a, a_copy) |
| 67 | + @test isequal(b, b_copy) |
| 68 | + @test isequal(c, c_copy) |
| 69 | + @test isequal(d, d_copy) |
| 70 | + @test isequal(e, e_copy) |
| 71 | +end |
| 72 | + |
| 73 | +Mod.@polyvar x y |
| 74 | + |
| 75 | +@testset "MutableArithmetics with variables" begin |
| 76 | + # Creating 7 different variables here gives a long compile time for TypedPolynomials |
| 77 | + all_tests(x, y, x, y, x, y, x) |
| 78 | +end |
| 79 | + |
| 80 | +@testset "MutableArithmetics with monomials" begin |
| 81 | + a = x^2 |
| 82 | + b = y^2 |
| 83 | + c = x |
| 84 | + d = x^2 * y |
| 85 | + e = x^3 |
| 86 | + f = x^5 |
| 87 | + g = x^4 |
| 88 | + all_tests(a, b, c, d, e, f, g) |
| 89 | +end |
| 90 | + |
| 91 | +@testset "MutableArithmetics with terms in $T" for T in [Int, BigInt] |
| 92 | + if MA.mutability(T) isa MA.IsMutable && |
| 93 | + MA.mutability(typeof(x * y)) isa MA.IsMutable |
| 94 | + @testset "Int" begin |
| 95 | + MA.Test.int_test( |
| 96 | + term_type(x, T), |
| 97 | + exclude = ["int_add", "int_add_mul", "int_zero"], |
| 98 | + ) |
| 99 | + end |
| 100 | + end |
| 101 | + a = T(2) * x^2 |
| 102 | + b = T(4) * y^2 |
| 103 | + c = T(3) * x |
| 104 | + d = T(5) * x^2 * y |
| 105 | + e = T(5) * x^3 |
| 106 | + f = T(1) * x^5 |
| 107 | + g = T(2) * x^4 |
| 108 | + all_tests(a, b, c, d, e, f, g) |
| 109 | +end |
| 110 | + |
| 111 | +@testset "MutableArithmetics with polynomials in $T" for T in [Int, BigInt] |
| 112 | + if MA.mutability(T) isa MA.IsMutable |
| 113 | + @testset "Int" begin |
| 114 | + MA.Test.int_test(polynomial_type(x, T)) |
| 115 | + end |
| 116 | + end |
| 117 | + a = T(2) * x^2 + T(3) * x * y + T(4) * y |
| 118 | + b = T(4) * y^2 - T(1) * x * y + T(4) * x |
| 119 | + c = T(1) * x^2 + T(3) * x - T(4) |
| 120 | + d = T(5) * x^2 * y - T(3) * x + T(4) * y |
| 121 | + e = T(5) * x^3 - T(3) * x + T(4) |
| 122 | + f = x^5 + x^4 + x^2 + x + T(1) |
| 123 | + g = T(2)x^4 + x^3 |
| 124 | + all_tests(a, b, c, d, e, f, g) |
| 125 | +end |
0 commit comments