diff options
Diffstat (limited to 'man/meantools.1')
| -rw-r--r-- | man/meantools.1 | 107 |
1 files changed, 57 insertions, 50 deletions
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 |