Fix inheritance of Tableau and FilledTableau properties so sums and products of tableau objects display correctly.

Author: kpeeters

core/Props.hh

@@ -200,7 +200,7 @@ namespace cadabra {
 	/// are more non-index children.
 
 	template<class T>
-	class Inherit {
+	class Inherit : virtual public property {
 		public:
 			virtual ~Inherit() {};
 			virtual std::string name() const

core/properties/Tableau.hh

@@ -6,6 +6,11 @@
 
 namespace cadabra {
 
+	/// Property representing a Young tableau with unlabelled
+	/// boxes. Note the difference with TableauBase, which represents
+	/// a (set of) Young tableaux and the map of the boxes to
+	/// tensor indices.
+
 	class Tableau : public ImplicitIndex, virtual public property {
 		public:
 			virtual ~Tableau() {};

core/properties/TableauInherit.hh

@@ -6,6 +6,11 @@
 
 namespace cadabra {
 
+	/// Property which makes a node inherit the TableauBase properties of
+	/// child nodes. The `size` and `get_tab` functions translate the
+	/// index numbers of the child nodes to index numbers of the
+	/// wrapping node.
+	
 	class TableauInherit : virtual public TableauBase, virtual public property {
 		public:
 			virtual std::string name() const

core/pythoncdb/py_kernel.cc

@@ -7,6 +7,8 @@
 #include "properties/CommutingAsSum.hh"
 #include "properties/Derivative.hh"
 #include "properties/Accent.hh"
+#include "properties/Tableau.hh"
+#include "properties/FilledTableau.hh"
 
 #include "CdbPython.hh"
 
@@ -72,6 +74,9 @@ namespace cadabra {
 		k->inject_property(new CommutingAsProduct(), Ex_from_string("\\prod{#}", false, k), 0);
 		k->inject_property(new DependsInherit(), Ex_from_string("\\prod{#}", false, k), 0);
 		k->inject_property(new NumericalFlat(), Ex_from_string("\\prod{#}", false, k), 0);
+		k->inject_property(new Inherit<Tableau>(), Ex_from_string("\\prod{#}", false, k), 0);
+		k->inject_property(new Inherit<FilledTableau>(), Ex_from_string("\\prod{#}", false, k), 0);
+
 		auto wi2 = new WeightInherit();
 		wi2->combination_type = WeightInherit::multiplicative;
 		auto wa2 = Ex_from_string("label=all, type=multiplicative", false, k);
@@ -91,7 +96,8 @@ namespace cadabra {
 		k->inject_property(wi4, Ex_from_string("\\wedge{#}", false, k), wa4);
 
 		k->inject_property(new IndexInherit(), Ex_from_string("\\sum{#}", false, k), 0);
-		k->inject_property(new TableauInherit(), Ex_from_string("\\sum{#}", false, k), 0);
+		k->inject_property(new Inherit<Tableau>(), Ex_from_string("\\sum{#}", false, k), 0);
+		k->inject_property(new Inherit<FilledTableau>(), Ex_from_string("\\sum{#}", false, k), 0);
 		k->inject_property(new CommutingAsSum(), Ex_from_string("\\sum{#}", false, k), 0);
 		k->inject_property(new DependsInherit(), Ex_from_string("\\sum{#}", false, k), 0);
 		auto wi = new WeightInherit();