|
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