Fix use of LaTeXForm property (https://cadabra.science/qa/2305/adjoint-spinor-subscript-labels).

Author: Kasper Peeters

cmake/version.cmake

@@ -1,7 +1,7 @@
 set(CADABRA_VERSION_MAJOR 2)
 set(CADABRA_VERSION_MINOR 3)
 set(CADABRA_VERSION_PATCH 9)
-set(CADABRA_VERSION_TWEAK 4)
+set(CADABRA_VERSION_TWEAK 5)
 set(COPYRIGHT_YEARS "2001-2022")
 math(EXPR SYSTEM_BITS "${CMAKE_SIZEOF_VOID_P} * 8")
 find_program(GIT git PATHS ${GIT_DIR})

core/Props.hh

@@ -33,6 +33,7 @@ namespace cadabra {
 	class Properties;
 	class Kernel;
 	class Accent;
+	class LaTeXForm;
 	class Ex_comparator;
 
 	class pattern {
@@ -375,7 +376,8 @@ namespace cadabra {
 		// tree, because it would lead to an endless recursion (and it would
 		// not make sense anyway). At the moment, this is only for Accent.
 		bool ignore_properties=false;
-		if(std::is_same<T, Accent>::value) ignore_properties=true;
+		if(std::is_same<T, Accent>::value)
+			ignore_properties=true;
 
 		for(;;) {
 			property_map_t::const_iterator walk=pit.first;
@@ -410,6 +412,11 @@ namespace cadabra {
 			else break;
 			}
 
+		// Do not walk down the tree if the property cannot be passed up the tree.
+		// FIXME: see issue/259.
+		if(std::is_same<T, LaTeXForm>::value)
+			inherits=false;
+		
 		// If no property was found, figure out whether a property is inherited from a child node.
 		if(!ret.first && inherits) {
 			//		std::cout << "no match but perhaps inheritance?" << std::endl;

tests/display.cdb

@@ -1,10 +1,21 @@
 
 def test01():
+    __cdbkernel__ = create_scope()
     ex:= 3 A_{m n} B^{m n} + q(x) r s;
     tst=Ex(repr(ex))
     assert(tst==ex)
     print("Test 01 passed")
 
 test01()
 
+def test02():
+    __cdbkernel__ = create_scope()
+    \psia::LaTeXForm("\psi_{a}").
+    \bar{#}::DiracBar.
+    ex:= \bar{\psia};
+    print(ex._latex_())
+    assert(ex._latex_()==r"\bar{\psi_{a}}")
+    print("Test 02 passed")
 
+test02()
+        

web2/cadabra2/source/changelog.html

@@ -29,7 +29,9 @@ <h3>github master (2.3.9)</h3>
   <li>Fix for automatic cleanup of <tt>Diagonal</tt> objects.</li>
   <li>Fix crash with tab-completion.</li>
   <li>Make '+' operator add lists component-wise, and introduce the
-  tie operator '~' to join lists.</li>
+    tie operator '~' and <tt>join</tt> function to join lists.</li>
+  <li>Fix printing of objects with <tt>LaTeXForm</tt> which are
+  wrapped in another LaTeX operator.</li>
 </ul>
 
 <a name="2.3.8"></a>