meankondo/man/meantools.1
Ian Jauslin 469bdc8071 Support MPFR floats in numkondo
Remove '-D' option (error tolerance) in numkondo
2015-10-07 13:00:23 +00:00

178 lines
6.2 KiB
Groff

.Dd $Mdocdate: September 22 2015 $
.Dt meantools 1.4
.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
.Op Fl d Ar nderivs
.Op Fl V Ar variables
.Op Fl C
.Op Ar config_file
.Pp
.Nm
.Sy eval
.Op Fl R Ar values
.Op Fl P Ar precision
.Op Fl E Ar max_exponent
.Op Ar 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.
.Pp
.Nm
is part of a set of tools to compute and manipulate Fermionic hierarchical flows:
.Bl -bullet
.It
.Sy meankondo
: computes flow equations for hierarchical Fermionic models
.It
.Sy numkondo
: 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
.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,
.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
The derivatives are derivatives with respect to an extra virtual parameter, which all of the rccs are assumed to depend on (to override the default behavior, the '-V' flag can be used to pass a list of rccs that depend on the extra parameter, alternatively such a list can be given in the configuration file). The derivative of the flow equation is a new flow equation for the rccs and their derivatives with respect to the virtual parameter.
.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.
.Pp
.Sy Command-line arguments:
.Bl -tag -width Ds
.It Fl d Ar nderivs
Number of derivatives (defaults to 1)
.It Fl V Ar variables
The variables that depend on the extra virtual parameter (defaults to all) (WARNING: if one of the variables has a negative index, do not put it first in the list, since
.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.
.It Fl C
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.
.El
.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:
.Bl -tag -width Ds
.It Sy #!flow_equation
The flow equation to derive.
.Pp
The syntax is identical to that in
.Sx numkondo Ns (1) .
.Pp
If this entry is the only one in the configuration file, the '#!flow_equation' header may be omitted.
.Pp
.It Sy #!variables
The variables that depend on the extra virtual parameter (optional entry).
.Pp
The variables entry is a ',' separated list of indices, or 'all' in which case, all of the variables on the right side of the flow equation are assumed to depend on the flow equation.
.Pp
If the '-V' flag is provided on the command-line, this entry is ignored.
.El
.Pp
The resulting flow equation is written to stdout.
.Pp
.Sh EVAL
When run with the 'eval' command,
.Nm
evaluates a flow equation, provided in a configuration file, numerically, using the values provided on the command-line or in the configuration file provided on the command-line or through stdin.
.Pp
.Sy Command-line arguments:
.Bl -tag -width Ds
.It Fl R Ar values
The values of the rccs with which to evaluate the flow equation.
.Ar values
is formatted like an initial_condition (see
.Sx numkondo Ns (1) ) .
.It Fl P Ar precision
Number of bits used for the significand of numerical values (see
.Sx numkondo Ns (1) ) .
.It Fl E Ar max_exponent
Largest allowed value for the exponent of numerical values (see
.Sx numkondo Ns (1) ) .
.El
.Pp
.Sy Configuration file:
.Pp
The configuration file contains the flow equation to evaluate, and optionally a list of values for the rccs. The following entries are supported:
.Bl -tag -width Ds
.It Sy #!flow_equation
The flow equation to evaluate.
.Pp
The syntax is identical to that in
.Sx numkondo Ns (1) .
.Pp
If this entry is the only one in the configuration file, the '#!flow_equation' header may be omitted.
.Pp
.It Sy #!initial_condition
The value on which to evaluate the flow equation (optional entry).
.Pp
The syntax is identical to that in
.Sx numkondo Ns (1) .
.Pp
If the '-R' flag is provided on the command-line, this entry is ignored.
.El
.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 SEE ALSO
.Sx meankondo Ns (1) ,
.Sx numkondo Ns (1) ,
.Sx meantools-convert Ns (1) ,
.Sx kondo_preprocess Ns (1)
.Pp