## 1 Introduction

Common programming practice often depends on the solution of problems which are specific examples of reversible computations. Various models that catch the meaning of reversible computation exist. One of them is the class of Reversible Primitive Permutations (RPP), introduced in [PaoliniPiccoloRoversi-ENTCS2016, Paolini2018NGC], and simplified in [PaoliniPiccoloRoversi:RPP]. Those works speculate about how to extend the formal pattern under the design of Primitive Recursive Functions (PRF) in order to capture computational reversible behaviors. Every permutation in RPP has Zk as domain and co-domain, for some k∈N. RPP contains total functions and is primitive recursive complete, i.e. every primitive recursive function f can be compiled to an equivalent f∙ in RPP [PaoliniPiccoloRoversi:RPP]. The translation (_)∙:PRF→RPP relies on proving that RPP represents Cantor Pairing, a pair of isomorphisms between Z2 and Z2 that stack elements of N. So, RPP is at least as expressive as PRF.

### Contributions.

Yarel stands for *Yet Another REversible
Language*.
Its current release is 0.1.0, i.e. a preliminary one,
according to
Semantic Versioning 2.0.0.

Since Yarel implements RPP, it inherits its properties. Mainly, it is Primitive Recursive Complete. At the time of this writing we are implementing the above Cantor Pairing in it. Moreover, the functions we can define in Yarel manage their arguments linearly by construction because RPP builds on the monoidal structure of the algebraic theory for boolean circuits in [Lafont2003257].

Yarel can represent every program of SRL
[matos03tcs], a reversible programming language derived
from *loop languages*
[MeyerRitchie67a]. So, Yarel
inherits also the properties of SRL:
(i) every Yarel

program free of nested iterations is equivalent to a linear transformation

f(x)=Mx+c, with M a matrix having determinant equal to 1 and c a constant [matos03tcs]; (ii) the fixpoint problem, i.e. “Given any function f∈Yarel, does a tuple ¯¯¯x of values exist such that f(¯¯¯x)=¯¯¯x?”, is undecidable [PaoliniPiccoloRoversi-ENTCS2016].Concerning the syntax, the topmost grammatical construct of Yarel are the modules, every one with a name. Directives to import other
modules, declarations of functions, i.e. their arity and types,
and function definitions can freely alternate in a module.
Currently, the only types are comma-separated lists of the keyword int.
Functions in Yarel are the least class that we can build from
identity id,
increment inc,
decrement dec,
negation neg and finite
permutations /i1\ldotsin/, by means of
serial composition f;g,
parallel compositionf|g,
iteration it[f],
selection if[f,g,h] or
inverse inv[f], given some function f,g and h in Yarel.
Figure 1 is an example of module. Both fibCore and fib are translations from SRL [matosWorkInProgress2014, p. 26].
Like every function in Yarel, fib is arity preserving.
The comment /*n≥0,a,b*/ identifies its three
arguments. If a=0,b=1, then fib
gives triples (n,fib(2n),fib(2n+1)) by
reorganizing its inputs in order to iterate coreFib
n times. We exploit comments /*DOTS*/ to show the flow of the values in the functions of Yarel, which is *point-free*, i.e. a language of combinators with no explicit reference to variable names. For example, /*a,b*/it[inc];/*a+b,b*/ in Figure 1 says that the iteration it[inc] of inc maps the pair (a,b) to (a+b,b).

Δ\lstinline{{\lst@@@set@language\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@rulecolor\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language% \lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@language\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language% \lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@language\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language% \lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@language\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language% \lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@language\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language% \lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@language\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language% \lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@language\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language% \lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@language\small{\@listingGroup{ltx_lst_keywords3}{% \color[rgb]{1,0,1}id}}}}Δ′ id [v]\lstinline{{\lst@@@set@language\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@rulecolor\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language% \lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@language\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language% \lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@language\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language% \lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@language\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language% \lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@language\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language% \lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@language\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language% \lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@language\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language% \lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@language\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\small{\@listingGroup{ltx_lst_keywords3}{\color[rgb]{1,0,1}% id}}}}[v] Δ\lstinline{{\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@rulecolor\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language% \lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@language\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language% \lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@language\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language% \lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@language\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language% \lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@language\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language% \lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@language\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language% \lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@language\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language% \lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@language\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\small{\@listingGroup{ltx_lst_keywords3}{\color[rgb]{1,0,1}% id}}}}Δ′ i-id Δ\lstinline{{\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@rulecolor\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language% \lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@language\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language% \lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@language\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language% \lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@language\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language% \lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@language\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language% \lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@language\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language% \lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@language\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language% \lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@language\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\small% {\@listingGroup{ltx_lst_keywords3}{\color[rgb]{1,0,1}inv}}[{\@listingGroup{% ltx_lst_keywords3}{\color[rgb]{1,0,1}id}}]}}Δ′ Δ\lstinline{{\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@rulecolor\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language% \lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@language\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language% \lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@language\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language% \lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@language\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language% \lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@language\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language% \lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@language\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language% \lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@language\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language% \lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@language\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language% \lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\small{\@listingGroup{% ltx_lst_keywords3}{\color[rgb]{1,0,1}neg}}}}Δ′ neg [v]\lstinline{{\lst@@@set@language\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@rulecolor\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language% \lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@language\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language% \lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@language\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language% \lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@language\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language% \lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@language\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language% \lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@language\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language% \lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@language\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language% \lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@language\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language% \lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@language\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\small{\@listingGroup{ltx_lst_keywords3}{\color[rgb]{1,0,1}% neg}}}}[−v] Δ\lstinline{{\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@rulecolor\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language% \lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@language\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language% \lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@language\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language% \lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@language\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language% \lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@language\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language% \lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@language\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language% \lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@language\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language% \lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@language\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language% \lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@language\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\small{\@listingGroup{ltx_lst_keywords3}{\color[rgb]{1,0,1}% neg}}}}Δ′ i-neg Δ\lstinline{{\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@rulecolor\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language% \lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@language\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language% \lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@language\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language% \lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@language\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language% \lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@language\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language% \lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@language\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language% \lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@language\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language% \lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@language\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language% \lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@language\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\small% {\@listingGroup{ltx_lst_keywords3}{\color[rgb]{1,0,1}inv}}[{\@listingGroup{% ltx_lst_keywords3}{\color[rgb]{1,0,1}neg}}]}}Δ′ |

Δ\lstinline{{\lst@@@set@language\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@rulecolor\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language% \lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@language\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language% \lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@language\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language% \lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@language\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language% \lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@language\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language% \lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@language\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language% \lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@language\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language% \lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@language\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language% \lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@language\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language% \lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@language\small{\@listingGroup{ltx_lst_keywords3}{% \color[rgb]{1,0,1}inc}}}}Δ′ dec [v]\lstinline{{\lst@@@set@language\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@rulecolor\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language% \lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@language\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language% \lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@language\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language% \lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@language\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language% \lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@language\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language% \lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@language\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language% \lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@language\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language% \lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@language\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language% \lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@language\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language% \lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@language\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\small{\@listingGroup{ltx_lst_keywords3}{\color[rgb]{1,0,1}% dec}}}}[v−1] Δ\lstinline{{\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@rulecolor\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language% \lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@language\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language% \lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@language\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language% \lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@language\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language% \lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@language\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language% \lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@language\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language% \lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@language\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language% \lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@language\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language% \lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@language\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language% \lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@language\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\small{\@listingGroup{ltx_lst_keywords3}{\color[rgb]{1,0,1}% inc}}}}Δ′ i-dec Δ\lstinline{{\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@rulecolor\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language% \lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@language\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language% \lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@language\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language% \lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@language\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language% \lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@language\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language% \lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@language\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language% \lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@language\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language% \lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@language\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language% \lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@language\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language% \lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@language\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\small% {\@listingGroup{ltx_lst_keywords3}{\color[rgb]{1,0,1}inv}}[{\@listingGroup{% ltx_lst_keywords3}{\color[rgb]{1,0,1}dec}}]}}Δ′ Δ\lstinline{{\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@rulecolor\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language% \lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@language\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language% \lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@language\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language% \lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@language\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language% \lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@language\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language% \lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@language\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language% \lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@language\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language% \lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@language\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language% \lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@language\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language% \lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@language\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language% \lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\small{\@listingGroup{% ltx_lst_keywords3}{\color[rgb]{1,0,1}dec}}}}Δ′ inc [v]\lstinline{{\lst@@@set@language\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@rulecolor\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language% \lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@language\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language% \lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@language\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language% \lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@language\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language% \lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@language\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language% \lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@language\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language% \lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@language\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language% \lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@language\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language% \lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@language\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language% \lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@language\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language% \lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@language\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\small{\@listingGroup{ltx_lst_keywords3}{\color[rgb]{1,0,1}% inc}}}}[v+1] Δ\lstinline{{\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@rulecolor\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language% \lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@language\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language% \lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@language\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language% \lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@language\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language% \lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@language\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language% \lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@language\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language% \lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@language\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language% \lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@language\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language% \lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@language\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language% \lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@language\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language% \lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@language\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\small{\@listingGroup{ltx_lst_keywords3}{\color[rgb]{1,0,1}% dec}}}}Δ′ i-inc Δ\lstinline{{\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@rulecolor\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language% \lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@language\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language% \lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@language\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language% \lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@language\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language% \lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@language\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language% \lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@language\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language% \lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@language\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language% \lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@language\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language% \lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@language\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language% \lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@language\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language% \lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@language\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\small% {\@listingGroup{ltx_lst_keywords3}{\color[rgb]{1,0,1}inv}}[{\@listingGroup{% ltx_lst_keywords3}{\color[rgb]{1,0,1}inc}}]}}Δ′ |

{i1…in}={1…n} χ [v1,…,vn]\lstinline{{\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@rulecolor\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language% \lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@language\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language% \lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@language\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language% \lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@language\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language% \lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@language\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language% \lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@language\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language% \lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@language\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language% \lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@language\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language% \lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@language\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language% \lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@language\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language% \lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@language\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language% \lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\small{\@listingGroup{}{% \color[rgb]{1,0,1}/{\@listingGroup{}{i1\ldotsin}}/}}}}[vi1,…,vin] {i1…in}={1…n} i-χ [v1,…,vn]\lstinline{{\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@rulecolor\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language% \lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@language\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language% \lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@language\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language% \lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@language\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language% \lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@language\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language% \lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@language\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language% \lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@language\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language% \lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@language\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language% \lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@language\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language% \lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@language\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language% \lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@language\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language% \lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@language\small{\@listingGroup{ltx_lst_keywords3}{% \color[rgb]{1,0,1}inv}}[{\@listingGroup{}{\color[rgb]{1,0,1}/{\@listingGroup{}% {i1\ldotsin}}/}}]}}[vi1,…,vin] |

ΔfΔ′ Δ′gΔ′′ seq Δ\lstinline{{\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@rulecolor\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language% \lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@language\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language% \lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@language\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language% \lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@language\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language% \lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@language\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language% \lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@language\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language% \lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@language\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language% \lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@language\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language% \lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@language\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language% \lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@language\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language% \lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@language\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language% \lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@language\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\small({\@listingGroup{}{f}};{\@listingGroup{}{g}})}}Δ′′ ΔgΔ′ Δ′fΔ′′ i-seq Δ\lstinline{{\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@rulecolor\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language% \lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@language\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language% \lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@language\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language% \lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@language\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language% \lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@language\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language% \lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@language\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language% \lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@language\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language% \lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@language\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language% \lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@language\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language% \lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@language\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language% \lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@language\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language% \lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@language\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\small% {\@listingGroup{ltx_lst_keywords3}{\color[rgb]{1,0,1}inv}}[{\@listingGroup{}{f}};{\@listingGroup{}{g}}]}}Δ′′ |

ΔffΔ′f ΔggΔ′g par (Δf⋅Δg)\lstinline{{\lst@@@set@language% \lst@@@set@numbers\lst@@@set@frame\lst@@@set@rulecolor\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@language\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language% \lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@language\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language% \lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@language\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language% \lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@language\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language% \lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@language\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language% \lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@language\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language% \lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@language\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language% \lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@language\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language% \lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@language\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language% \lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@language\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language% \lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@language\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language% \lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@language\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\small% ({\@listingGroup{}{f}}\textbar{\@listingGroup{}{g}})}}(Δ′f⋅Δ′g) Δf\lstinline{{\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@rulecolor\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language% \lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@language\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language% \lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@language\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language% \lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@language\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language% \lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@language\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language% \lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@language\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language% \lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@language\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language% \lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@language\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language% \lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@language\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language% \lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@language\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language% \lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@language\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language% \lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@language\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language% \lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@language\small{\@listingGroup{ltx_lst_keywords3}{% \color[rgb]{1,0,1}inv}}[{\@listingGroup{}{f}}]}}Δ′f Δg\lstinline{{\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@rulecolor\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language% \lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@language\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language% \lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@language\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language% \lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@language\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language% \lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@language\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language% \lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@language\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language% \lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@language\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language% \lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@language\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language% \lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@language\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language% \lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@language\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language% \lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@language\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language% \lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@language\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language% \lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@language\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\small{\@listingGroup{ltx_lst_keywords3}{\color[rgb]{1,0,1}% inv}}[{\@listingGroup{}{g}}]}}Δ′g i-par (Δf⋅Δg)\lstinline{{\lst@@@set@language% \lst@@@set@numbers\lst@@@set@frame\lst@@@set@rulecolor\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@language\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language% \lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@language\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language% \lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@language\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language% \lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@language\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language% \lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@language\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language% \lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@language\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language% \lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@language\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language% \lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@language\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language% \lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@language\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language% \lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@language\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language% \lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@language\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language% \lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@language\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language% \lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@language\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\small{\@listingGroup{ltx_lst_keywords3}{\color[rgb]{1,0,1}% inv}}[{\@listingGroup{}{f}}\textbar{\@listingGroup{}{g}}]}}(Δ′f⋅Δ′g) |

ΔgΔ′ (v>0) ifg (Δ⋅[v])\lstinline{{\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@rulecolor\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language% \lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@language\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language% \lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@language\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language% \lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@language\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language% \lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@language\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language% \lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@language\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language% \lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@language\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language% \lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@language\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language% \lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@language\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language% \lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@language\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language% \lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@language\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language% \lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@language\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language% \lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@language\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language% \lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\small{\@listingGroup{% ltx_lst_keywords3}{\color[rgb]{1,0,1}if}}[{\@listingGroup{}{g}},{% \@listingGroup{}{z}},{\@listingGroup{}{s}}]}}(Δ′⋅[v]) ΔsΔ′ (v<0) ifs (Δ⋅[v])\lstinline{{\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@rulecolor\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language% \lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@language\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language% \lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@language\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language% \lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@language\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language% \lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@language\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language% \lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@language\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language% \lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@language\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language% \lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@language\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language% \lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@language\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language% \lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@language\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language% \lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@language\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language% \lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@language\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language% \lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@language\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language% \lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@language\small{\@listingGroup{ltx_lst_keywords3}{% \color[rgb]{1,0,1}if}}[{\@listingGroup{}{g}},{\@listingGroup{}{z}},{% \@listingGroup{}{s}}]}}(Δ′⋅[v]) |

ΔzΔ′ ifz (Δ⋅[0])\lstinline{{\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@rulecolor\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language% \lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@language\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language% \lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@language\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language% \lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@language\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language% \lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@language\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language% \lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@language\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language% \lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@language\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language% \lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@language\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language% \lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@language\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language% \lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@language\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language% \lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@language\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language% \lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@language\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language% \lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@language\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language% \lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@language\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\small{\@listingGroup{ltx_lst_keywords3}{\color[rgb]{1,0,1}% if}}[{\@listingGroup{}{g}},{\@listingGroup{}{z}},{\@listingGroup{}{s}}]}% }(Δ′⋅[0]) Δ\lstinline{{\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@rulecolor\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language% \lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@language\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language% \lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@language\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language% \lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@language\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language% \lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@language\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language% \lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@language\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language% \lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@language\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language% \lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@language\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language% \lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@language\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language% \lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@language\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language% \lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@language\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language% \lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@language\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language% \lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@language\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language% \lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@language\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\small% {\@listingGroup{ltx_lst_keywords3}{\color[rgb]{1,0,1}if}}[{\@listingGroup{% ltx_lst_keywords3}{\color[rgb]{1,0,1}inv}}[{\@listingGroup{}{g}}],{% \@listingGroup{ltx_lst_keywords3}{\color[rgb]{1,0,1}inv}}[{\@listingGroup{}{z}}],{\@listingGroup{ltx_lst_keywords3}{\color[rgb]{1,0,1}inv}}[{% \@listingGroup{}{s}}]]}}Δ′ i-if Δ\lstinline{{\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@rulecolor\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language% \lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@language\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language% \lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@language\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language% \lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@language\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language% \lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@language\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language% \lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@language\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language% \lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@language\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language% \lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@language\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language% \lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@language\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language% \lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@language\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language% \lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@language\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language% \lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@language\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language% \lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@language\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language% \lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@language\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language% \lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\small{\@listingGroup{% ltx_lst_keywords3}{\color[rgb]{1,0,1}inv}}[{\@listingGroup{ltx_lst_keywords3}{% \color[rgb]{1,0,1}if}}[{\@listingGroup{}{g}},{\@listingGroup{}{z}},{% \@listingGroup{}{s}}]]}}Δ′ |

(Δ⋅[v])\lstinline{{\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@rulecolor\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language% \lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@language\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language% \lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@language\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language% \lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@language\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language% \lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@language\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language% \lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@language\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language% \lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@language\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language% \lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@language\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language% \lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@language\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language% \lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@language\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language% \lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@language\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language% \lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@language\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language% \lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@language\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language% \lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@language\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language% \lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@language\small({\@listingGroup{}{f}}\textbar{% \@listingGroup{ltx_lst_keywords3}{\color[rgb]{1,0,1}dec}});{\@listingGroup{% ltx_lst_keywords3}{\color[rgb]{1,0,1}it}}[{\@listingGroup{}{f}}];({% \@listingGroup{ltx_lst_keywords3}{\color[rgb]{1,0,1}id}}\textbar{% \@listingGroup{ltx_lst_identifier}{DOTS}}\textbar{\@listingGroup{% ltx_lst_keywords3}{\color[rgb]{1,0,1}id}}\textbar{\@listingGroup{% ltx_lst_keywords3}{\color[rgb]{1,0,1}inc}})}}(Δ′⋅[v]) (v>0) itg (Δ⋅[v])\lstinline{{\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@rulecolor\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language% \lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@language\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language% \lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@language\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language% \lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@language\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language% \lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@language\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language% \lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@language\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language% \lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@language\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language% \lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@language\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language% \lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@language\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language% \lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@language\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language% \lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@language\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language% \lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@language\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language% \lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@language\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language% \lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@language\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language% \lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@language\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\small{\@listingGroup{ltx_lst_keywords3}{\color[rgb]{1,0,1}% it}}[{\@listingGroup{}{f}}]}}(Δ′⋅[v]) |

(Δ⋅[v])\lstinline{{\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@rulecolor\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language% \lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@language\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language% \lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@language\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language% \lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@language\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language% \lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@language\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language% \lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@language\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language% \lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@language\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language% \lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@language\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language% \lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@language\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language% \lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@language\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language% \lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@language\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language% \lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@language\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language% \lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@language\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language% \lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@language\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language% \lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@language\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\small% ({\@listingGroup{}{f}}\textbar{\@listingGroup{ltx_lst_keywords3}{\color[rgb]% {1,0,1}inc}});{\@listingGroup{ltx_lst_keywords3}{\color[rgb]{1,0,1}it}}[{% \@listingGroup{}{f}}];({\@listingGroup{ltx_lst_keywords3}{\color[rgb]{1,0,1}% id}}\textbar{\@listingGroup{ltx_lst_identifier}{DOTS}}\textbar{\@listingGroup{% ltx_lst_keywords3}{\color[rgb]{1,0,1}id}}\textbar{\@listingGroup{% ltx_lst_keywords3}{\color[rgb]{1,0,1}dec}})}}(Δ′⋅[v]) (v<0) its (Δ⋅[v])\lstinline{{\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@rulecolor\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language% \lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@language\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language% \lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@language\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language% \lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@language\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language% \lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@language\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language% \lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@language\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language% \lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@language\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language% \lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@language\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language% \lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@language\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language% \lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@language\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language% \lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@language\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language% \lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@language\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language% \lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@language\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language% \lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@language\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language% \lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@language\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language% \lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\small{\@listingGroup{% ltx_lst_keywords3}{\color[rgb]{1,0,1}it}}[{\@listingGroup{}{f}}]}}(Δ′⋅[v]) |

(Δ⋅[0])\lstinline{{\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@rulecolor\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language% \lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@language\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language% \lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@language\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language% \lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@language\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language% \lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@language\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language% \lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@language\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language% \lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@language\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language% \lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@language\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language% \lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@language\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language% \lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@language\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language% \lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@language\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language% \lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@language\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language% \lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@language\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language% \lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@language\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language% \lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@language\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language% \lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@language\small{\@listingGroup{ltx_lst_keywords3}{% \color[rgb]{1,0,1}id}}\textbar{\@listingGroup{ltx_lst_identifier}{DOTS}}% \textbar{\@listingGroup{ltx_lst_keywords3}{\color[rgb]{1,0,1}id}}\textbar{% \@listingGroup{ltx_lst_keywords3}{\color[rgb]{1,0,1}id}}}}(Δ⋅[0]) itz (Δ⋅[0])\lstinline{{\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@rulecolor\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language% \lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@language\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language% \lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@language\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language% \lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@language\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language% \lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@language\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language% \lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@language\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language% \lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@language\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language% \lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@language\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language% \lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@language\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language% \lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@language\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language% \lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@language\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language% \lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@language\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language% \lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@language\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language% \lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@language\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language% \lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@language\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language% \lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@language\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\small{\@listingGroup{ltx_lst_keywords3}{\color[rgb]{1,0,1}% it}}[{\@listingGroup{}{f}}]}}(Δ′⋅[0]) Δ\lstinline{{\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@rulecolor\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language% \lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@language\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language% \lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@language\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language% \lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@language\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language% \lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@language\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language% \lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@language\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language% \lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@language\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language% \lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@language\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language% \lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@language\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language% \lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@language\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language% \lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@language\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language% \lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@language\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language% \lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@language\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language% \lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@language\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language% \lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@language\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language% \lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@language\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\small% {\@listingGroup{ltx_lst_keywords3}{\color[rgb]{1,0,1}it}}[{\@listingGroup{% ltx_lst_keywords3}{\color[rgb]{1,0,1}inv}}[{\@listingGroup{}{f}}]]}}Δ′ i-it Δ\lstinline{{\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@rulecolor\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language% \lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@language\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language% \lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@language\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language% \lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@language\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language% \lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@language\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language% \lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@language\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language% \lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@language\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language% \lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@language\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language% \lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@language\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language% \lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@language\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language% \lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@language\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language% \lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@language\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language% \lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@language\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language% \lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@language\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language% \lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@language\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language% \lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@language\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language% \lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\small{\@listingGroup{% ltx_lst_keywords3}{\color[rgb]{1,0,1}inv}}[{\@listingGroup{ltx_lst_keywords3}{% \color[rgb]{1,0,1}it}}[{\@listingGroup{}{f}}]]}}Δ′ |

Δ\lstinline{{\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@rulecolor\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language% \lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@language\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language% \lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@language\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language% \lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@language\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language% \lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@language\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language% \lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@language\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language% \lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@language\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language% \lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@language\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language% \lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@language\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language% \lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@language\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language% \lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@language\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language% \lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@language\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language% \lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@language\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language% \lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@language\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language% \lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@language\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language% \lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@language\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language% \lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@language\small{\@listingGroup{}{Γ(}}{% \@listingGroup{ltx_lst_identifier}{fname\textdollar}}){\@listingGroup{% ltx_lst_space}{~{}}}{\@listingGroup{}{}}}}Δ′ fcall Δ\lstinline{{\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@rulecolor\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language% \lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@language\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language% \lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@language\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language% \lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@language\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language% \lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@language\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language% \lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@language\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language% \lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@language\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language% \lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@language\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language% \lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@language\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language% \lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@language\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language% \lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@language\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language% \lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@language\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language% \lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@language\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language% \lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@language\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language% \lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@language\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language% \lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@language\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language% \lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@language\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\small{\@listingGroup{ltx_lst_identifier}{fname}}}}Δ′ Δ\lstinline{{\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@rulecolor\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language% \lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@language\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language% \lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@language\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language% \lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@language\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language% \lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@language\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language% \lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@language\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language% \lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@language\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language% \lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@language\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language% \lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@language\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language% \lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@language\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language% \lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@language\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language% \lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@language\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language% \lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@language\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language% \lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@language\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language% \lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@language\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language% \lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@language\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language% \lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@language\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\small% {\@listingGroup{ltx_lst_keywords3}{\color[rgb]{1,0,1}inv}}[{\@listingGroup{}{Γ(}}{\@listingGroup{ltx_lst_identifier}{fname\textdollar}}){% \@listingGroup{ltx_lst_space}{~{}}}{\@listingGroup{}{}}]}}Δ′ i-fcall Δ\lstinline{{\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@rulecolor\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language% \lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@language\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language% \lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@language\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language% \lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@language\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language% \lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@language\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language% \lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@language\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language% \lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@language\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language% \lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@language\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language% \lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@language\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language% \lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@language\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language% \lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@language\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language% \lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@language\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language% \lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@language\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language% \lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@language\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language% \lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@language\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language% \lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@language\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language% \lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@language\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language% \lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\small{\@listingGroup{% ltx_lst_keywords3}{\color[rgb]{1,0,1}inv}}[{\@listingGroup{ltx_lst_identifier}% {fname}}]}}Δ′ ΔfΔ′ i-inv Δ\lstinline{{\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@rulecolor\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language% \lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@language\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language% \lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@language\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language% \lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@language\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language% \lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@language\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language% \lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@language\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language% \lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@language\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language% \lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@language\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language% \lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@language\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language% \lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@language\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language% \lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@language\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language% \lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@language\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language% \lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@language\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language% \lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@language\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language% \lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@language\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language% \lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@language\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language% \lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@language\lst@@@set@numbers\lst@@@set@frame% \lst@@@set@language\lst@@@set@numbers\lst@@@set@frame\lst@@@set@language% \lst@@@set@numbers\lst@@@set@frame\lst@@@set@language\lst@@@set@numbers% \lst@@@set@frame\lst@@@set@language\small{\@listingGroup{ltx_lst_keywords3}{% \color[rgb]{1,0,1}inv}}[{\@listingGroup{ltx_lst_keywords3}{\color[rgb]{1,0,1}i% nv}}[{\@listingGroup{}{f}}]]}}Δ′ |

The operational semantics of Yarel is in Figure 2. Every Δ is a list of values in Z, with as many elements as the arity of the function it is argument or conclusion of. For example, the rule itg unfolds it[f] to a sequential composition of (f|dec);DOTS;(f|dec) and (g|inc);DOTS;(g|inc) where: (i) the number of parallel compositions that each of them contains is v and (ii) g is id|DOTS|id with as many id as the length of Δ, i.e. the arity of f. Moreover, itz reduces an iteration to a suitable number of id. Finally, Γ(fname$) yields the body of the function with name fname in fcall and i-fcall. .

Yarel-IDE is an integrated development environment, distributed as an Eclipse plug-in, that we generate by means of XText, a further Eclipse plug-in for developing domain specific languages.

XText naturally leads to compile a domain specific language implemented with it into Java classes. Yarel is not an exception and the above operational semantics drives the compilation. As an example, Figure 3 is the object code of compiling a function seqComp, defined as inc;dec. The class has name seqComp and implements a suitable interface RPP. Two private fields l and r contain the compilation of the left and of the right-hand side of the sequential composition. I.e., l is an anonymous class that contains an instance of the compilation inc() of inc whose arity is in a and whose behaviour is in int[] b(int[] x). Analogous comments hold on r. Given l and r, we let the arity of the sequential composition coincide with l.getA() while the behavior is the sequential composition of l.b and r.b in lines 15 and 16. Every function of Yarel is compiled under analogous patterns.

Remarkably, compiling some given f in Yarel to Java let the compilation of f and of its inverse f−1 available in Java as methods that we can freely use with the proviso of never dropping any of the arguments that assure the reversibility. We see this as pursuing the vision of [DBLP:journals/tit/Huffman59], focused on formalizing classes of classical functions with lossless inverses. Moreover, whatever we write in Yarel becomes compliant with the object oriented conceptual tools that Java supplies without any ad-hoc extension of Yarel with object oriented features.

Finally, our compilation assures that the 32-bits modular arithmetic of Java on its integers preserves the reversibility in case of overflow. For example, a standard definition of sum in Yarel compiles to a method sum.b whose behavior can be inverted even after computing 5 + Integer.MAX\_VALUE, which results in an overflow. We get for free what the implementation of Janus in [DBLP:journals/entcs/Yokoyama10, pp. 78] requires explicitly, i.e. a sum u⊗v on a 32-bits binary representation defined as ((u+v+231)mod32)−231.

### Related work.

Yarel is functional.
Reversible *functional* languages we are aware of are RFUN [Thomsen:2015:IPR:2897336.2897345],
CoreFun [DBLP:conf/rc/JacobsenKT18],
Inv [10.1007/978-3-540-27764-4_16] and
Theseus [DBLP:journals/corr/abs-1811-03678].

The introduction of linear variables in the functional language FUN which leads to RFUN is similar to the introduction of the linear management of variables leading from Primitive Recursive Functions (PRF) to Reversible Primitive Permutations (RPP), i.e. to Yarel.
A multiple output arity endows Yarel with an iteration it[f] and a selection if[f,g,h] whose inverses do not need any reference to an analogous of RFUN’s *first-match policy*.

Yarel syntactically extends SRL [matos03tcs] by means of the selection if[f,g,h] and of the explicit use of inv[f] that inverts the interpretation of f. The operational semantics of the iteration it[f] in Yarel slightly differs from the corresponding construct for x(f) of SRL. Every other aspects of the two languages perfectly overlap, despite SRL derives from loop languages [MeyerRitchie67a]. The equivalence between Yarel and SRL is open.

Yarel is point-less like Inv [10.1007/978-3-540-27764-4_16] introduced to ease the management of reversible aspects in the area of document constructions. The basic compositional operators of Yarel and Inv overlap but differ on the basic combinators. Both languages allow the duplication of arguments, but on radical different philosophical basis. Investigating how and if the two ideas of duplication relate each other will contribute to improve our insights about the reversible computation.

The focus on type isomorphisms and on combinators that preserve information leads to Theseus [James2014TheseusAH]

, language based on conventional pattern matching which must be subject to restrictions that guarantees no information loss. The designers of

Theseus discarded a point-less style on purpose. The experience of point-less programming in Yarel suggests to exploit comments for a sort of correctness check. They allow to describe the flow of values that, otherwise, would remain hidden in the name of variables.A class of circuit models coming from a categorical interpretation of the Geometry of Interaction (GoI) [10.1007/978-3-642-79361-5_4] is in [ABRAMSKY2005441]. A possible connection is that Yarel, like the above classes of circuits, has a natural representation in terms of string diagrams whose computation can be described by a flow of tokens.

Also [dipierro_hankin_wiklicky_2006]

deals with reversible combinators. It labels combinators and encodes their reduction history, something that strongly recalls how a Turing machine becomes reversible

[Bennett:1973:LRC:1664562.1664568] and which we avoided since our first steps.Finally, even though not a combinator language, we cannot forget ROOPL [DBLP:journals/corr/Haulund17], object oriented extension of Janus [Lutz86, Yokoyama:2008:PRP:1366230.1366239, paolini2018lipics]. Yarel is not at all an object oriented programming language, but it can interact with an object oriented environment because we compile it to Java.

## 2 Conclusions

We are extending Yarel with primitive and compound types. We are also writing a first set of libraries. Being Yarel a core language, everything needs to be programmed from scratch, generally producing inefficient algorithms. A way out is to first program reversible algorithms in Yarel to identify the interface. Then, it is possible to re-implement them directly in Java, preserving that interface, but dramatically improving the efficiency.

Comments

There are no comments yet.