Update to v1.5.v1.5

  The update to version 1.5 is rather substantial, and introduces some minor
  backward-incompatibilities:
    * The header "#!symbols" has been replaced by "#!virtual_fields"
    * Multiplying polynomials using the '*' symbol is no longer supported (or,
      rather, the symbolic capabilities of meankondo were enhanced, and the
      syntax has been changed).
    * 'meantools exp' has been removed (its functionality is now handled by
      other means)
    * 'meantoolds derive' has been replaced by 'meantools differentiate'

  * The symbolic capabilities were enhanced: polynomials can now be
    multiplied, added, exponentiated, and their logarithms can be taken
    directly in the configuration file.

  * The flow equation can now be processed after being computed using the
    various "#!postprocess_*" entries.

  * Deprecated kondo_preprocess.

  * Compute the mean using an LU decomposition if possible.

  * More detailed checks for syntax errors in configuration file.

  * Check that different '#!group' entries are indeed uncorrelated.

  * New flags in meankondo: '-p' and '-A'.

  * New tool: meantools expand.

  * Improve conversion to LaTeX using meantools-convert

  * Assign terms randomly to different threads.

  * Multiple bug fixes

1 files changed, 27 insertions, 7 deletions

diff --git a/src/types.h b/src/types.h
index d30840e..00a34ac 100644
--- a/src/types.h
+++ b/src/types.h
@@ -1,5 +1,5 @@
 /*
-Copyright 2015 Ian Jauslin
+Copyright 2015-2022 Ian Jauslin
 
 Licensed under the Apache License, Version 2.0 (the "License");
 you may not use this file except in compliance with the License.
@@ -71,6 +71,15 @@ typedef struct Str_Array{
   int memory;
 } Str_Array;
 
+// tree
+typedef struct Tree Tree;
+struct Tree{
+  Char_Array root_label;
+  Tree* children;
+  int length;
+  int memory;
+};
+
 // polynomial
 typedef struct Polynomial{
   Int_Array* monomials;
@@ -133,13 +142,21 @@ typedef struct Identities{
   int memory;
 } Identities;
 
-// symbolic expressions
-typedef struct Symbols{
+// virtual_fields
+typedef struct Virtual_fields{
   int* indices;
   Polynomial* expr;
   int length;
   int memory;
-} Symbols;
+} Virtual_fields;
+
+// variables used in symbolic expressions
+typedef struct Variables{
+  Char_Array* var_names;
+  Tree* symbol_trees;
+  int length;
+  int memory;
+} Variables;
 
 // groups of independent fields
 typedef struct Groups{
@@ -159,10 +176,10 @@ typedef struct Fields_Table{
   // identities between fields
   Identities ids;
   // symbolic expressions (commuting)
-  Symbols symbols;
-  // list of anti-commuting variables (fields or symbols)
+  Virtual_fields virtual_fields;
+  // list of anti-commuting variables
   Int_Array fermions;
-  // list of non-commuting variables (fields or symbols)
+  // list of non-commuting variables
   Int_Array noncommuting;
 } Fields_Table;
 
@@ -187,6 +204,8 @@ typedef struct Id_Table{
 typedef struct Meankondo_Options{
   int threads;
   int chain;
+  int print_progress;
+  int group_poly;
 } Meankondo_Options;
 
 typedef struct Numkondo_Options{
@@ -203,6 +222,7 @@ typedef struct Meantools_Options{
   Int_Array deriv_vars;
   Char_Array eval_rccstring;
   int chain;
+  Char_Array namespace;
   mpfr_prec_t mpfr_prec;
   mpfr_exp_t mpfr_emax;
 } Meantools_Options;