TensorTools.m: Add ClearAllTensors

This is a very heavy-handed way of achieving this.  We should change the way that tensors work at a more fundamental level, but this is enough for now.

1 files changed, 13 insertions, 0 deletions

diff --git a/Tools/CodeGen/TensorTools.m b/Tools/CodeGen/TensorTools.m
index 8002f01..0ba9a16 100644
--- a/Tools/CodeGen/TensorTools.m
+++ b/Tools/CodeGen/TensorTools.m
@@ -31,6 +31,8 @@ DefineTensor::usage = "DefineTensor[kernel] registers kernel as a \
 TensorTools tensor kernel.";
 DefineDerivative::usage = "DefineDerivative[pd] registers a symbol to be used as a derivative operator.";
 
+ClearAllTensors;
+
 MakeExplicit::usage = "MakeExplicit[x] converts an expression x \
 containing abstract indices into one containing components \
 instead.";
@@ -1421,7 +1423,18 @@ HasTensorAttribute[k_, attr_] :=
 IsTensor[k_] :=
   ListQ[TensorAttributes[k]];
 
+ClearAllTensors[] :=
+  (ClearAll[Tensor];
+   ClearAll[TensorCharacter];
+   ClearAll[TensorAttributes]);
 
+UndefineTensor[Tensor[T,___]] :=
+  Module[
+    {},
+    T[is:((TensorIndex[_,_] | _Integer) ..)] =.;
+    (* TODO: undefine the symmetries somehow *)
+    TensorCharacter[T] =.;
+    TensorAttributes[T] =.];