diff options
Diffstat (limited to 'man')
| -rw-r--r-- | man/kondo_preprocess.1 | 35 | ||||
| -rw-r--r-- | man/meankondo.1 | 183 | ||||
| -rw-r--r-- | man/meantools-convert.1 | 14 | ||||
| -rw-r--r-- | man/meantools.1 | 107 | ||||
| -rw-r--r-- | man/numkondo.1 | 14 |
5 files changed, 222 insertions, 131 deletions
diff --git a/man/kondo_preprocess.1 b/man/kondo_preprocess.1 index 1e22cae..414a44a 100644 --- a/man/kondo_preprocess.1 +++ b/man/kondo_preprocess.1 @@ -1,5 +1,5 @@ -.Dd $Mdocdate: September 22 2015 $ -.Dt kondo_preprocess 1.4 +.Dd $Mdocdate: February 3 2016 $ +.Dt kondo_preprocess 1.5 .Os .Sh NAME .Nm kondo_preprocess @@ -13,11 +13,21 @@ for the Kondo model .Pp .Nm .Fl v +.Sh DEPRECATION NOTICE +The use of +.Nm +is deprecated as of +.Sy meankondo +v1.5. +.Pp +Similar functionality can be obtained rather easily using the enhanced symbolic capabilities introduced in v1.5, which are more flexible than +.Nm . +.Pp .Sh DESCRIPTION .Nm generates a configuration file to be read by .Sy meankondo -for the Kondo model. It generates the '#!fields', '#!symbols', '#!identities', '#!groups', '#!propagator', '#!input_polynomial' and '#!id_table' entries from special '#!propagator', '#!input_polynomial' and '#!id_table' entries, which are much more synthetic than those needed for the Kondo model. +for the Kondo model. It generates the '#!fields', '#!virtual_fields', '#!identities', '#!groups', '#!propagator', '#!input_polynomial' and '#!id_table' entries from special '#!propagator', '#!input_polynomial' and '#!id_table' entries, which are much more synthetic than those needed for the Kondo model. .Pp The quantities in the configuration file are expressed in terms of the observables A and B, which we do not define here, as well as the magnetic field h. .Pp @@ -32,14 +42,7 @@ is part of a set of tools to compute and manipulate Fermionic hierarchical flows : numerical evaluation of flow equations. .It .Sy meantools, meantools-convert -: perform various operations on flow equations (derivation, exponentiation, evaluation and conversion to other formats). -.El -.Pp -as well as the following pre-processors, which generate configuration files for their associated model: -.Bl -bullet -.It -.Sy kondo_proprocess -: Kondo model +: perform various operations on flow equations (differentiation, products, sums, exponentials and logarithms of flow equations, evaluation and conversion to other formats). .El .Pp .Sh COMMAND-LINE ARGUMENTS @@ -73,13 +76,13 @@ up to the following differences. .It The fields can be specified as scalar products of A's and B's. For each n in {1,...,dimension}, .Nm -defines An and Bn, as well as symbols for scalar products of the form +defines An and Bn, as well as virtual fields for scalar products of the form .D1 [f An.An] .D1 [f Bn.Bn] .D1 [f An.Bn] .D1 [f An.h] .D1 [f Bn.h] -In addition, a vector product symbol is defined for (AnxBn).h : +In addition, a vector product virtual field is defined for (AnxBn).h : .D1 [f AnxBn.h] .Pp .It @@ -101,7 +104,7 @@ Scalar products of A's and B's may also be specified using the '<#.#>' syntax: .D1 <An.h> .D1 <Bn.h> .Pp -The difference between '[f #.#]' and '<#.#>' is that the former corresponds to a '#!symbols' entry whereas the latter is replaced by its corresponding polynomial when +The difference between '[f #.#]' and '<#.#>' is that the former corresponds to a '#!virtual_fields' entry whereas the latter is replaced by its corresponding polynomial when .Nm reads it (see .Sx meankondo Ns (1)). @@ -114,7 +117,7 @@ A vector 't=(t1,t2,t3)' of Pauli matrices (satisfying the Pauli commutation rela .D1 <a.t> .D1 <b.t> .Pp -Note that the '<#,#>' must be used since these scalar products do not commute whereas '#!symbols' entries must commute (see +Note that the '<#,#>' must be used since these scalar products do not commute whereas '#!virtual_fiields' entries must commute (see .Sx meankondo Ns (1)). .Pp .It @@ -161,7 +164,7 @@ Example: .D1 A1;A2: 1 , A2;A1: -1 , B1;B2: s{-1} , B2;B1: (-1)s{-1} .Pp .It Sy extra entries -If there is a '#!symbols' or an '#!identities' entry in the configuration file, then they are appended to the end of those entries in the new configuration file. +If there is a '#!virtual_fields' or an '#!identities' entry in the configuration file, then they are appended to the end of those entries in the new configuration file. .Pp Any other entry is appended to the new configuration file. This can be useful to pipe the output to tools other than .Sy meankondo diff --git a/man/meankondo.1 b/man/meankondo.1 index 599be08..086bc52 100644 --- a/man/meankondo.1 +++ b/man/meankondo.1 @@ -1,5 +1,5 @@ -.Dd $Mdocdate: September 22 2015 $ -.Dt meankondo 1.4 +.Dd $Mdocdate: June 6 2022 $ +.Dt meankondo 1.5 .Os .Sh NAME .Nm meankondo @@ -8,6 +8,8 @@ .Nm .Op Fl t Ar threads .Op Fl C +.Op Fl p +.Op Fl A .Op Ar config_file .Pp .Nm @@ -29,14 +31,7 @@ is part of a set of tools to compute and manipulate Fermionic hierarchical flows : numerical evaluation of flow equations. .It .Sy meantools, meantools-convert -: perform various operations on flow equations (derivation, exponentiation, evaluation and conversion to other formats). -.El -.Pp -as well as the following pre-processors, which generate configuration files for their associated model: -.Bl -bullet -.It -.Sy kondo_proprocess -: Kondo model +: perform various operations on flow equations (differentiation, products, sums, exponentials and logarithms of flow equations, evaluation and conversion to other formats). .El .Pp .Sh COMMAND-LINE ARGUMENTS @@ -47,6 +42,10 @@ The number of threads to use for the computation. Format the output so it can be piped to .Sy numkondo , that is, instead of printing the flow equation, print a full configuration file containing the flow equation as well as all the other entries of the configuration file that do not pertain to the computation of the flow equation. +.It Fl p +Print the progress of the computation. +.It Fl A +Compute the average of the effective potential, but do not write the result as a flow equation. .It Fl v Print version information and exit. .El @@ -70,13 +69,15 @@ A list of the fields of the model. The fields entry contains 5 lines which start with 'i:', 'x:', 'h:', 'f:' and 'a:'. Each of these is followed by a ',' separated list of field indices, which are positive integers. .Bl -bullet .It -The indices following 'i' correspond to internal fields, which are integrated out using the Wick rule and the propagator provided in the '#!propagator' entry. Each internal field is associated a conjugate field, whose index is the opposite of the field's index (e.g. 'i:101' defines a field whose index is -101) +The indices following 'i' correspond to internal fields, which are integrated out using the Wick rule and the propagator provided in the '#!propagator' entry. Each internal field is associated a conjugate field, whose index is the opposite of the field's index (e.g. 'i:101' defines two fields whose indices are 101 and -101). .It -The indices following 'x' correspond to external fields that are associated conjugate field (e.g. 'x:100' defines a field whose index is -100). External indices may not appear as internal indices. +The indices following 'x' correspond to external fields that are associated conjugate field (e.g. 'x:100' defines two fields whose indices are 100 and -100). External indices may not appear as internal indices. .It The indices following 'h' correspond to external fields that are not associated a conjugate field. External indices may not appear as internal indices. .It -The 'f' line specifies which of the internal and external indices are Fermions, i.e. which fields anti-commute. The fields appearing in the 'f' line should also either appear in the 'i' or 'x' line. WARNING: for the moment, only cases in which all of the internal fields are Fermions are supported. +The 'f' line specifies which of the internal and external indices are Fermions, i.e. which fields anti-commute. The fields appearing in the 'f' line should also either appear in the 'i' or 'x' line. +.Pp +WARNING: only cases in which all of the internal fields are Fermions are supported. .It The 'a' line specifies a list of external fields listed in the 'h' entry that do not commute with each other. Specifying fields in this entry will prevent .Nm @@ -96,14 +97,43 @@ The propagator of the model. .Pp The propagator entry is a ',' separated list whose elements are of the form .D1 index1;index2: polynomial -where index1 and index2 are internal indices, and polynomial is a polynomial (see the POLYNOMIALS section below for information on how to format polynomials). The polynomial must not depend on the internal fields. Note that a number is a special type of polynomial, so propagators with numerical entries are handled by +where 'index1' and 'index2' are internal indices, and 'polynomial' is a polynomial (see the POLYNOMIALS section below for information on how to format polynomials). The polynomial must not depend on the internal fields. Note that a number is a special type of polynomial, so propagators with numerical entries are handled by .Nm just as easily as propagators with symbolic entries. Such an entry means that .D1 <psi_{index1}^-psi_{index2}^+> = polynomial. .Pp +Note that if the entries of the propagator are numbers instead of polynomials, then the Wick rule is implemented using a determinant instead of a sum over permutations, which is a lot faster for large monomials. Since the efficient computation of determinants requires divisions, polynomial entries in the propagator make the computation awkward, and +.Nm +falls back to implementing the Wick rule as a sum over permutations. +.Pp Example: .D1 101;102: 1 , 102;101: -1 , 201;202: s{-1} + (-1)[l10] , 202;201: (-1)s{-1} + [l10] .Pp +.It Sy #!input_polynomial +The polynomial whose mean we wish to compute in order to calculate the flow equation. +.Pp +The format of the polynomial is that specified in the POLYNOMIALS section. +.Pp +.It Sy #!preprocessor_variables +In order to simplify configuration files, symbolic variables can be defined. When +.Nm +reads the configuration file, it replaces every variable with its value (a process which is referred to as "preprocessing"). +.Pp +The preprocessor_variables entry is a ',' separated list, whose elements are of the form +.D1 variable_name=value +where 'variable_name' is a string that is not 'OUT', 'FLOW' or 'RCC', and may not contain any of the following characters: '$', '<', '>', '*', '+', '%'; and 'value' is a polynomial, formatted as described in the POLYNOMIALS section. The variable names 'OUT' 'FLOW' and 'RCC' are reserved and cannot be used. Note that 'value' can contain other preprocessor variables. There is no safeguard against self-referencing definitions that may cause infinite loops. +.Pp +A variable can be used throughout the configuration file by using the format '<$variable_name>'. Whenever '<$variable_name>' is encountered, it is replaced by its corresponding value. The order in which the variables are defined is irrelevant, since +.Nm +reads all variables definitions before replacing variables in the configuration file. +.Pp +Spaces surrounding the variable name are ignored. +.Pp +Example: +.D1 psi1 = [f1]+[f-1], +.D1 psi2 = [f2]+[f-2], +.D1 A = <$psi1>*<$psi2> +.Pp .It Sy #!identities Identities satisfied by some of the fields (optional entry). .Pp @@ -111,7 +141,9 @@ In some cases, some of the quantities involved in a model will satisfy an identi .Pp The identities entry is a ',' separated list, whose elements are of the form .D1 monomial=polynomial -where monomial represents the left side of the identity and is a sequence of field indices of the form '[f index1][f index2]...' and polynomial represents the right side of the identity (see the POLYNOMIALS section below for information on how to format polynomials). +where 'monomial' represents the left side of the identity and is a sequence of field indices of the form '[f index1][f index2]...' and 'polynomial' represents the right side of the identity (see the POLYNOMIALS section below for information on how to format polynomials). +.Pp +Identities could be used to reproduce the functionality of preprocessor variables, though it is less convenient (see COMMENT ON PREPROCESSOR VARIABLES, IDENTITIES AND VIRTUAL FIELDS). .Pp Example: .D1 [f301][f301]=(1)+(-1)[f302][f302]+(-1)[f303][f303], @@ -121,37 +153,30 @@ Example: .Pp This entry is optional. .Pp -.It Sy #!symbols -Symbolic variables used as shortcuts for more complicated expressions (optional entry). +.It Sy #!virtual_fields +Virtual fields are used to keep the memory footprint of +.Nm +small, even when the input polynomial contains many terms. .Pp -In order to simplify long expressions, symbolic variables can be defined in this entry. Each variable is assigned an index, which is a positive integer that must be different from any of the internal and external indices defined in the '#!fields' entry. +Every term of the input polynomial is parsed and stored when the configuration file is read, which may require large amounts of memory. In order to avoid this, some terms of the input polynomial can be grouped together and stored as a single virtual field, which only occupies as much memory as a single field. .Pp -Seemingly similar functionality can be achieved using an '#!identity' entry (see above), though symbols are handled differently from identities. Indeed, while identities are simplified out of the polynomials as soon as they occur, symbols are only resolved when -.Nm -computes the mean of the input polynomial. Using symbols can thereby be a lot faster than using identities. However, as is mentioned below, symbols must commute with each other and all other fields, whereas identities can be made to be fermionic or non-commuting. +A virtual field is identified by an index, which must be different from those of the fields defined in the '#!fields' entry. .Pp -The symbols entry is a ',' separated list, whose elements are of the form +The virtual_fields entry is a ',' separated list, whose elements are of the form .D1 index= polynomial -where index is the index of the variable and polynomial is the expression it stands for (see the POLYNOMIALS section below for information on how to format polynomials). Note that polynomial can contain other symbolic variables. There is no safeguard against self-referencing definitions that may cause infinite loops. +where 'index' is the index of the virtual_field and 'polynomial' is the expression it stands for (see the POLYNOMIALS section below for information on how to format polynomials). Note that 'polynomial' can contain other virtual fields. There is no safeguard against self-referencing definitions that may cause infinite loops. .Pp -WARNING: Symbols are assumed to commute with each other and all other Fermions. They should therefore not represent quantities that do not commute (e.g. odd monomials of fermions or non-commuting objects specified in the 'a:' entry in the '#!fields' entry). +WARNING: Virtual fields are assumed to commute with each other and all other Fermions. They should therefore not represent quantities that do not commute (e.g. odd monomials of Fermions or non-commuting objects specified in the 'a:' entry in the '#!fields' entry). +.Pp +Virtual fields could be used to reproduce the functionality of commuting preprocessor variables (see COMMENT ON PREPROCESSOR VARIABLES, IDENTITIES AND VIRTUAL FIELDS). .Pp Example: .D1 1001= (-1)[f-100][f100] + (-1)[f-101][f101] , 2001=[f-100][f100] + [f-201][f201] .Pp This entry is optional. .Pp -.It Sy #!input_polynomial -The polynomial whose mean we wish to compute in order to calculate the flow equation. -.Pp -The format of the polynomial is that specified in the POLYNOMIALS section. In addition, the polynomial can be specified as the product of other polynomials: -.D1 polynomial1 * polynomial2 * ... -Note that there are no parentheses, and therefore, products cannot be nested, nor can a product of polynomials be summed with another polynomial. -.Pp -Example: -.D1 (1) + (1/2)[l1][f1001] * (1) + (1/2)[l2][f2001] .It Sy #!id_table -The idtable used to identify the running coupling constants. +The idtable is used to identify the running coupling constants. .Pp Once the mean of the input polynomial has been computed, we are left with a polynomial of the external fields and the running coupling constants that were in the input polynomial. In order to compute a flow equation from this average, .Nm @@ -159,7 +184,7 @@ uses an idtable to identify which of the monomials of the average contribute to .Pp The id_table entry is a ',' separated list, whose elements are of the form .D1 rcc: polynomial -where rcc is the index of the corresponding running coupling constant, which is a non-negative integer, and polynomial is the polynomial to which rcc refers to (which is a polynomial of the external fields). +where 'rcc' is the index of the corresponding running coupling constant, which is a non-negative integer, and 'polynomial' is the polynomial to which 'rcc' refers to (which is a polynomial of the external fields). .Pp Example: .D1 1:(-1)[f-100][f100] , 2:[f-200][f200] @@ -172,10 +197,6 @@ computes the mean of a monomial containing elements of different groups, it fact .Nm does not repeatedly try to pair independent fields. .Pp -WARNING: -.Nm -assumes that the symbols and fields in each group are independent but does not check that they are. If symbols or fields that are not independent are put in different groups, or if some are in a group while others are not in any group, then the resulting flow equation may be wrong. -.Pp The groups entry is a list of collections of fields or symbols of the following form .D1 (index1,index2,...) .Pp @@ -183,15 +204,80 @@ Example: .D1 (1001,1002) (2001,2002) .Pp This entry is optional. +.It Sy #!postprocess_operation +An operation that is done after having computed the mean of the input polynomial. (optional entry) +.Pp +The format of this entry is a polynomial, as specified in the POLYNOMIALS section. +.Pp +When this entry is present in the configuration, +.Nm +creates a preprocessor variable named 'OUT', which contains the mean of the input polynomial, and can be used in the postprocessing. +.Pp +Example: +To multiply the mean of the input polynomial by 8: +.D1 <<8>*<$OUT>> +.Pp +This entry is optional. +.It Sy #!postprocess_flow_equation +This entry is similar to 'posprocess_operation', except that the operation is performed on the flow equation, that is, it is performed after having grouped the polynomial. (optional entry) +.Pp +The main difference with carrying out the operation in this way is that the constant term gets handles differently. Whereas 'postprocess_operation' gets applied to the entire polynomial, 'postprocess_flow_equation' is applied to each running coupling constant in the flow equation except the constant term. This is quite useful when the operation is not a polynomial function, such as log_1 or exp. +.Pp +The format of this entry is a polynomial, as specified in the POLYNOMIALS section. +.Pp +When this entry is present in the configuration, +.Nm +creates a preprocessor variable named 'FLOW', which contains the polynomial obtained by adding each term in the id_table, and can be used in the postprocessing. +.Pp +Example: +To take the logarithm of the flow equation: +.D1 <%log_1<$FLOW>> +.Pp +This entry is optional. +.It Sy #!numerical_postprocess_operation +An operation that is done at each step of an eventual numerical computation done with numkondo. (optional entry) +.Pp +This is similar in spirit to the 'postprocess_flow_equation' entry, except that the postprocessing is entirely numerical (no symbolic operations are performed). +.Pp +The format of this entry is a polynomial, as specified in the POLYNOMIALS section. +.Pp +When this entry is present in the configuration, +.Nm +creates a preprocessor variable named 'RCC', which contains the polynomial obtained by adding each term in the id_table, and can be used in the postprocessing. +.Pp +When this entry is present in the configuration along with the -C option, +.Nm +will add a 'preprocessor_operation' entry in the configuration file to be piped to numkondo. +.Pp +Example: +To take the logarithm of the polynomial: +.D1 <%log_1<$RCC>> +.Pp +This entry is optional. +.Pp .El .Pp +.Sh COMMENT ON PREPROCESSOR VARIABLES, IDENTITIES AND VIRTUAL FIELDS +On the surface, preprocessor variables, identities and virtual fields can be used to perform similar tasks, but +.Nm +handles them in very different ways. +.Pp +A preprocessor variable could be replaced by an identity by introducing an extra field corresponding to the variable, and using an identity to make +.Nm +replace the extra field by its definition. Using a preprocessor variable will, however, be more convenient since no extra field needs to be introduced. +.Pp +Virtual fields could also play the role of preprocessor variables, in that they can be used to simplify the configuration file. However, virtual fields are not replaced by their corresponding expression until their average is computed, and, in the various manipulations required to carry out the computations, the monomials containing virtual fields will be manipulated and virtual fields commuted with other fields. As a consequence, virtual fields must commute with all other fields, which severely limits their potential role as a preprocessor variable. +.Pp +In short, preprocessor variables are meant to be used to simplify the configuration file, identities, to implement identities between fields, and virtual fields to reduce the memory footprint of +.Nm . +.Pp .Sh NUMBERS .Nm can parse rational numbers and linear combinations of square roots of integers (positive or negative (which is how complex numbers are implemented)) with rational coefficients (i.e. elements of the field extension of Q generated by sqrt(Z)). .Pp A number is a '+' separated list whose elements are of the form .D1 (a/b)s{r} -where a and r are integers and b is a positive integer. s{r} stands for sqrt(r). +where 'a' and 'r' are integers and 'b' is a positive integer. 's{r}' stands for 'sqrt(r)'. .Pp If a=b, then the number may be written as 's{r}'. If b=1, then it can be '(a)s{r}'. If r=1, then it can be 'a/b'. If b=r=1, then it can be 'a'. .Pp @@ -199,7 +285,10 @@ Example: .D1 (1/2)s{2} + (-1)s{-1} + 3/2 .Pp .Sh POLYNOMIALS -Polynomials are '+' separated lists of monomials. Each monomial is a sequence of numbers, rccs and fields. +.Nm +implements some elementary symbolic algebra in order to parse polynomials. +.Pp +The format of polynomials is defined recursively. If the polynomial contains no '<', then it is said to be 'terminal'. Terminal polynomials are '+' separated lists of monomials. Each monomial is a sequence of numbers, rccs and fields. .Bl -bullet .It Numbers are enclosed between '(' and ')'. If there are several numbers in a monomial, then they are multiplied. @@ -211,8 +300,17 @@ Fields are non-vanishing indices enclosed between '[f' and ']'. Fields must eith .Pp If the numerical factor of a monomial is 1, then it can be dropped. However, even if the numerical factor is a single integer, its '(' and ')' delimiters cannot be omitted. .Pp +If the polynomial is not terminal, then it is of the form +.D1 <polynomial>operation<polynomial> +where 'operation' is either '+' or '*', or +.D1 <%func<polynomial>> +where 'func' is 'exp' or 'log_1'. '<%exp<P>>' returns the exponential of P, whereas '<%log_1<P>>' returns log(1+P). +.Pp +.Nm +parses polynomials by recursing through this structure, adding and multiplying terminal polynomials when '+' and '*' operations are encountered, and taking exponentials and logarithms when '%exp' or '%log_1' are encountered. +.Pp Example: -.D1 (1) + ((3/2)s{2} + (-1)s{-1} + 3)[l1][l2][f100][f1001][f101] + [l1][f101] + (3)[l2] +.D1 <(1)+((3/2)s{2}+(-1)s{-1}+3)[l1][l2][f100][f1001][f101]>*<%exp<[l1][f101]+(3)[l2]>> .Pp .Sh OUTPUT .Nm @@ -232,5 +330,4 @@ returns 0 on success and -1 on error. .Sx numkondo Ns (1) , .Sx meantools Ns (1) , .Sx meantools-convert Ns (1) , -.Sx kondo_preprocess Ns (1) .Pp diff --git a/man/meantools-convert.1 b/man/meantools-convert.1 index 8393b28..bb585a8 100644 --- a/man/meantools-convert.1 +++ b/man/meantools-convert.1 @@ -1,5 +1,5 @@ -.Dd $Mdocdate: September 22 2015 $ -.Dt meantools-convert 1.4 +.Dd $Mdocdate: June 6 2022 $ +.Dt meantools-convert 1.5 .Os .Sh NAME .Nm meantools-convert @@ -43,14 +43,7 @@ is part of a set of tools to compute and manipulate Fermionic hierarchical flows : numerical evaluation of flow equations. .It .Sy meantools, meantools-convert -: perform various operations on flow equations (derivation, exponentiation, evaluation and conversion to other formats). -.El -.Pp -as well as the following pre-processors, which generate configuration files for their associated model: -.Bl -bullet -.It -.Sy kondo_proprocess -: Kondo model +: perform various operations on flow equations (differentiation, products, sums, exponentials and logarithms of flow equations, evaluation and conversion to other formats). .El .Pp .Sh COMMAND-LINE ARGUMENTS @@ -133,5 +126,4 @@ returns 0 on success and -1 on error. .Sx meankondo Ns (1) .Sx numkondo Ns (1) , .Sx meantools Ns (1) , -.Sx kondo_preprocess Ns (1) .Pp diff --git a/man/meantools.1 b/man/meantools.1 index c4c73c6..8feb0c4 100644 --- a/man/meantools.1 +++ b/man/meantools.1 @@ -1,16 +1,12 @@ -.Dd $Mdocdate: September 22 2015 $ -.Dt meantools 1.4 +.Dd $Mdocdate: June 6 2022 $ +.Dt meantools 1.5 .Os .Sh NAME .Nm meantools .Nd A tool to manipulate flow equations .Sh SYNOPSIS .Nm -.Sy exp -.Op Ar config_file -.Pp -.Nm -.Sy derive +.Sy differentiate .Op Fl d Ar nderivs .Op Fl V Ar variables .Op Fl C @@ -23,11 +19,16 @@ .Op Fl E Ar max_exponent .Op Ar config_file .Pp +.Nm +.Sy expand +.Op Fl N Ar namespace +.OpAr config_file +.Pp .Sh DESCRIPTION .Nm performs various operations on flow equations generated by .Sy meankondo. -Namely, it can exponentiate, derive and evaluate flow equations. +Namely, it can differentiate and evaluate flow equations, as well as perform elementary operations on polynomials. .Pp .Nm is part of a set of tools to compute and manipulate Fermionic hierarchical flows: @@ -40,45 +41,11 @@ is part of a set of tools to compute and manipulate Fermionic hierarchical flows : numerical evaluation of flow equations. .It .Sy meantools, meantools-convert -: perform various operations on flow equations (derivation, exponentiation, evaluation and conversion to other formats). +: perform various operations on flow equations (differentiation, products, sums, exponentials and logarithms of flow equations, evaluation and conversion to other formats). .El .Pp -as well as the following pre-processors, which generate configuration files for their associated model: -.Bl -bullet -.It -.Sy kondo_proprocess -: Kondo model -.El -.Pp -.Sh EXP -When run with the 'exp' command, -.Nm -computes the exponential of a flow equation. All the required parameters are set in the configuration file, which it either reads from the file provided on the command line, or from stdin. -.Pp -The syntax for the configuration file is the same as for -.Sx meankondo Ns (1) , -and will not be belaboured here. The supported entries are -.Bl -tag -width Ds -.It Sy #!input_polynomial -The polynomial whose exponential is to be computed. -.Pp -.It Sy #!fields -The fields appearing in the polynomial -.Pp -.It Sy #!symbols -Symbolic variables (optional entry). -.Pp -.It Sy #!identities -identities between fields (optional entry). -.Pp -.It Sy #!id_table -The idtable used to compute a flow equation from the polynomial. -.El -.Pp -The resulting flow equation is written to stdout. -.Pp -.Sh DERIVE -When run with the 'derive' command, +.Sh DIFFERENTIATE +When run with the 'differentiate' command, .Nm computes derivatives of a flow equation provided in the configuration file, which can either be passed as a command-line argument or through stdin. .Pp @@ -86,7 +53,7 @@ The derivatives are derivatives with respect to an extra virtual parameter, whic .Pp When multiple derivatives are taken, the flow equation becomes a flow equation for the rccs, their derivatives, second derivatives, and so forth... .Pp -This operation can be useful, for instance, to compute moments in an interacting system, in which the generating functional can be expressed as an effective potential depending on a parameter with respect to which the result of the integration should be derived. The 'derive' command writes the flow equation for the derived rccs, from which the quantities of interest can be computed. +This operation can be useful, for instance, to compute moments in an interacting system, in which the generating functional can be expressed as an effective potential depending on a parameter with respect to which the result of the integration should be differentiated. The 'differentiate' command writes the flow equation for the differentiated rccs, from which the quantities of interest can be computed. .Pp .Sy Command-line arguments: .Bl -tag -width Ds @@ -97,7 +64,7 @@ The variables that depend on the extra virtual parameter (defaults to all) (WARN .Nm would interpret the argument as being a flag, for example, write '-V "0,-1"' instead of '-V "-1,0"'). .Pp -Can either be a ',' separated list if indices or 'all' to derive with respect to all available variables. +Can either be a ',' separated list if indices or 'all' to differentiate with respect to all available variables. .It Fl C Format the output so it can be piped to .Sy numkondo , @@ -106,10 +73,10 @@ that is, instead of printing the flow equation, print a full configuration file .Pp .Sy Configuration file: .Pp -The configuration file contains the flow equation to derive, and optionally a list of variables (similar to the '-V' flag). The following entries are supported: +The configuration file contains the flow equation to differentiate, and optionally a list of variables (similar to the '-V' flag). The following entries are supported: .Bl -tag -width Ds .It Sy #!flow_equation -The flow equation to derive. +The flow equation to differentiate. .Pp The syntax is identical to that in .Sx numkondo Ns (1) . @@ -169,9 +136,49 @@ If the '-R' flag is provided on the command-line, this entry is ignored. .Pp The result of the evaluation is written to stdout, and is formatted is such a way that it can be used as an initial condition for .Pp +.Sh EXPAND +When run with the 'expand' command, +.Nm +expands the preprocessor variables in the input polynomial, provided in the configuration file, which can either be passed as a command-line argument or through stdin, and prints the result. +.Pp +.Sy Command-line arguments: +.Bl -tag -width Ds +.It Fl N Ar namespace +If the configuration file is to be used to perform other operations, it may be convenient to specify the input polynomial for the 'expand' command alongside another '#!input_polynomial' entry, used for some other computation. This is made possible by namespaces. +.Pp +If a namespace is provided to +.Nm +on the command line, then it will search for the entries in the configuration file in the form +.D1 #!namespace:header +and default to #!header if no such header is present. +.Pp +In this way, the configuration file can, for instance, contain a '#!namspace:input_polynomial' entry for this computation, as well as a '#!input_polynomial' entry, to be used for some other purpose, all the while using the same '#!fields', '#!preprocessor_variables', '#!virtual_fields' and '#!identities' entries. +.El +.Pp +.Sy Configuration file: +.Pp +The supported entries are +.Bl -tag -width Ds +.It Sy #!input_polynomial +The polynomial whose exponential is to be computed. +.Pp +.It Sy #!fields +The fields appearing in the polynomial. +.Pp +.It Sy #!preprocessor_variables +Preprocessor variables (optional entry). +.Pp +.It Sy #!virtual_fields +Virtual fields (optional entry). +.Pp +.It Sy #!identities +identities between fields (optional entry). +.El +.Pp +The result is written to stdout. +.Pp .Sh SEE ALSO .Sx meankondo Ns (1) , .Sx numkondo Ns (1) , .Sx meantools-convert Ns (1) , -.Sx kondo_preprocess Ns (1) .Pp diff --git a/man/numkondo.1 b/man/numkondo.1 index 3af84df..58d834f 100644 --- a/man/numkondo.1 +++ b/man/numkondo.1 @@ -1,5 +1,5 @@ -.Dd $Mdocdate: September 22 2015 $ -.Dt numkondo 1.4 +.Dd $Mdocdate: June 6 2022 $ +.Dt numkondo 1.5 .Os .Sh NAME .Nm numkondo @@ -29,14 +29,7 @@ is part of a set of tools to compute and manipulate Fermionic hierarchical flows : numerical evaluation of flow equations. .It .Sy meantools, meantools-convert -: perform various operations on flow equations (derivation, exponentiation, evaluation and conversion to other formats). -.El -.Pp -as well as the following pre-processors, which generate configuration files for their associated model: -.Bl -bullet -.It -.Sy kondo_proprocess -: Kondo model +: perform various operations on flow equations (differentiation, products, sums, exponentials and logarithms of flow equations, evaluation and conversion to other formats). .El .Pp .Sh COMMAND-LINE ARGUMENTS @@ -167,5 +160,4 @@ returns 0 on success and -1 on error. .Sx meankondo Ns (1) , .Sx meantools Ns (1) , .Sx meantools-convert Ns (1) , -.Sx kondo_preprocess Ns (1) .Pp |