Add tests

Author: kpeeters

tests/CMakeLists.txt

@@ -64,6 +64,7 @@ set(RTESTS
   integrals
   display
   dummies
+  explicit_implicit
   trigonometric
   noncovariant
   algebra

tests/explicit_implicit.cdb

@@ -1,16 +1,21 @@
 
-{m,n,p}::Indices(spacetime, position=fixed);
-{a,b,c,d,e,f,g,h}::Indices(spinor, position=fixed);
-\sigma^{p}::ImplicitIndex(\sigma^{p a}_{b});
-\psi::ImplicitIndex(\psi_{a});
-\chi::ImplicitIndex(\chi_{a});
-\bpsi::ImplicitIndex(\bpsi^{a});
-\bchi::ImplicitIndex(\bchi^{a});
+def test01():
+    __cdbkernel__=create_scope()
+    {m,n,p}::Indices(spacetime, position=fixed);
+    {a,b,c,d,e,f,g,h}::Indices(spinor, position=fixed);
+    \sigma^{p}::ImplicitIndex(\sigma^{p a}_{b});
+    \psi::ImplicitIndex(\psi_{a});
+    \chi::ImplicitIndex(\chi^{a});
+    ex:= \psi \sigma^{m} \sigma^{n} \chi \lambda^{a} + \lambda_{b} \chi^{b} T^{m n}\chi^{a};
+    explicit_indices(_)
+    tst:= \psi_{c} \sigma^{m c}_{d} \sigma^{n d}_{e} \chi^{e} \lambda^{a} + \lambda_{b} \chi^{b} T^{m n}\chi^{a} - @(ex);
+    assert(tst==0)
+    print("Test 01a passed")
+    ex:= \psi \sigma^{m} \chi;
+    explicit_indices(_)
+    tst:= \psi_{a} \sigma^{m a}_{b} \chi^{b} - @(ex);
+    assert(tst==0)
+    print("Test 01b passed")
 
-
-ex:= \psi \sigma^{m} \sigma^{n} \chi \lambda^{a} + \lambda_{b} \chi^{b} T^{m n}\chi^{a};
-explicit_indices(_);
-
-ex:= \psi \sigma^{m} \chi + \chi \sigma^{m} \chi;
-explicit_indices(_);
+test01()