Add more tests

Author: David Widmann

test/unittests.jl

@@ -498,6 +498,49 @@ end
 end
 
 @testset "Symbolic dimensions" begin
+    # TODO: Remove constructors for sym3 and sym4s?
+    sym1 = @inferred(SymbolicDimensions(; m = 3, s = -1))
+    sym2 = @inferred(SymbolicDimensions{Rational{Int}}(; m = 3, s = -1))
+    sym3 = @inferred(SymbolicDimensions(Rational{Int}; m = 3, s = -1))
+    sym4 = @inferred(SymbolicDimensions{Int}(Rational{Int}; m = 3, s = -1))
+    for (sym, T) in (
+        (sym1, DynamicQuantities.DEFAULT_DIM_BASE_TYPE), (sym2, Rational{Int}), (sym3, Rational{Int}), (sym4, Rational{Int}),
+    )  
+        @test sym isa SymbolicDimensions{T}
+
+        # Properties
+        @test sym.m == 3
+        @test sym.s == -1
+        @test propertynames(sym) == DynamicQuantities.ALL_SYMBOLS
+        @test issubset((:m, :s), propertynames(sym))
+        @test all(propertynames(sym)) do x
+            val = getproperty(sym, x)
+            return x === :m ? val == 3 : (x === :s ? val == -1 : iszero(val))
+        end
+
+        # Internal constructor
+        @test DynamicQuantities.constructor_of(typeof(sym)) === SymbolicDimensions
+
+        # Equality comparisons
+        @test sym == sym
+        @test sym == copy(sym)
+        @test sym !== copy(sym)
+        @test sym == SymbolicDimensions{Int}(; m = 3, s = -1)
+        @test SymbolicDimensions{Int}(; m = 3, s = -1) == sym
+        @test sym == SymbolicDimensions(; m = 3, g = 0, s = -1)
+        @test SymbolicDimensions(; m = 3, g = 0, s = -1) == sym
+        @test sym == SymbolicDimensions(; m = 3, s = -1, K = 0)
+        @test SymbolicDimensions(; m = 3, s = -1, K = 0) == sym
+        @test sym != SymbolicDimensions(; m = 2, s = -1)
+        @test SymbolicDimensions(; m = 2, s = -1) != sym
+        @test sym != SymbolicDimensions(; m = 3, g = 1, s = -1)
+        @test SymbolicDimensions(; m = 3, g = 1, s = -1) != sym
+        @test sym != SymbolicDimensions(; m = 3, s = -1, K = 1)
+        @test SymbolicDimensions(; m = 3, s = -1, K = 1) != sym
+
+        @test !iszero(sym)
+    end
+
     q = 1.5us"km/s"
     @test q == 1.5 * us"km" / us"s"
     @test typeof(q) <: Quantity{Float64,<:SymbolicDimensions}