Removes bug related to higher order ZF multipliers for odd multi-dimensional non-linearities

Author: addat10

analysis_scripts/verify_exp_stab_ZF_basis.m

@@ -130,8 +130,8 @@ variable X4(n_psi_til,n_psi_til) symmetric
         if n_psi_ch==1
             pos_Lemma(P1)>=tol*eye(n_psi_ch);
             pos_Lemma(P3)>=tol*eye(n_psi_ch);
-            pos_Lemma(P2)>=tol*eye(n_psi);
-            pos_Lemma(P4)>=tol*eye(n_psi);
+            pos_Lemma(P2)>=tol*eye(n_psi_ch);
+            pos_Lemma(P4)>=tol*eye(n_psi_ch);
         elseif n_psi_ch>=2
             X1>=tol*eye(n_psi_til)
             pos_Lemma(X1,P1)>=tol*eye(n_psi_til+1);