Skip to content

Commit ae8c77c

Browse files
hartighartig
committed
renames Sum' to SumList, and similar for the other helper functions in the definitions of set functions
1 parent 2a670e3 commit ae8c77c

File tree

1 file changed

+22
-22
lines changed

1 file changed

+22
-22
lines changed

‎spec/index.html

Lines changed: 22 additions & 22 deletions
Original file line numberDiff line numberDiff line change
@@ -9702,23 +9702,23 @@ <h5>Sum</h5>
97029702
<div class="defn">
97039703
<p><b>Definition: <span id="defn_aggSum">Sum</span></b></p>
97049704
<pre class="code nohighlight">numeric <var>Sum</var>(sequence <var>S</var>)</pre>
9705-
<p><var>Sum</var>(<var>S</var>) = <var>Sum'</var>(<var>L</var>),</p>
9705+
<p><var>Sum</var>(<var>S</var>) = <var>SumList</var>(<var>L</var>),</p>
97069706
<p>where <var>L</var> = Flatten(<var>S</var>) and
9707-
<var>Sum'</var>(<var>L</var>) is defined recursively as follows.</p>
9707+
<var>SumList</var>(<var>L</var>) is defined recursively as follows.</p>
97089708
<ul>
97099709
<li>If <a href="#defn_Card">Card</a>(<var>L</var>) = 0, then
9710-
<var>Sum'</var>(<var>L</var>) = "0"^^<code>xsd:integer</code>.</li>
9710+
<var>SumList</var>(<var>L</var>) = "0"^^<code>xsd:integer</code>.</li>
97119711
<li>If <a href="#defn_Card">Card</a>(<var>L</var>) = 1, then
9712-
<var>Sum'</var>(<var>L</var>) = <a data-cite="XPATH-FUNCTIONS-31#func-numeric-add">op:numeric-add</a>(<var>L</var><sub>1</sub>, 0).</li>
9712+
<var>SumList</var>(<var>L</var>) = <a data-cite="XPATH-FUNCTIONS-31#func-numeric-add">op:numeric-add</a>(<var>L</var><sub>1</sub>, 0).</li>
97139713
<li>If <a href="#defn_Card">Card</a>(<var>L</var>) > 1, then
9714-
<var>Sum'</var>(<var>L</var>) = <a data-cite="XPATH-FUNCTIONS-31#func-numeric-add">op:numeric-add</a>(<var>L</var><sub>1</sub>,
9715-
<var>Sum'</var>(<var>L</var><sub>2..n</sub>)).</li>
9714+
<var>SumList</var>(<var>L</var>) = <a data-cite="XPATH-FUNCTIONS-31#func-numeric-add">op:numeric-add</a>(<var>L</var><sub>1</sub>,
9715+
<var>SumList</var>(<var>L</var><sub>2..n</sub>)).</li>
97169716
</ul>
97179717
<p>Note that <var>L</var><sub>1</sub> is the first element in
97189718
<var>L</var>, and <var>L</var><sub>2..n</sub> is <var>L</var>
97199719
without its first element.</p>
97209720
</div>
9721-
<p>In this way, <var>Sum</var>( [(1), (2), (3)] ) = <var>Sum'</var>( (1, 2, 3) ) =
9721+
<p>In this way, <var>Sum</var>( [(1), (2), (3)] ) = <var>SumList</var>( (1, 2, 3) ) =
97229722
op:numeric-add(1, op:numeric-add(2, op:numeric-add(3, 0))).</p>
97239723
</section>
97249724
<section id="aggAvg">
@@ -9742,15 +9742,15 @@ <h5>Min</h5>
97429742
<div class="defn">
97439743
<p><b>Definition: <span id="defn_aggMin">Min</span></b></p>
97449744
<pre class="code nohighlight">term <var>Min</var>(sequence <var>S</var>)</pre>
9745-
<p><var>Min</var>(<var>S</var>) = <var>Min'</var>(<var>L</var>),</p>
9745+
<p><var>Min</var>(<var>S</var>) = <var>MinList</var>(<var>L</var>),</p>
97469746
<p>where <var>L</var> is the list of values obtained by Flatten(<var>S</var>)
97479747
and then ordered as per the <code>ORDER BY ASC</code> clause,
9748-
and <var>Min'</var>(<var>L</var>) is defined as follows.</p>
9748+
and <var>MinList</var>(<var>L</var>) is defined as follows.</p>
97499749
<ul>
97509750
<li>If <a href="#defn_Card">Card</a>(<var>L</var>) = 0, then
9751-
<var>Min'</var>(<var>L</var>) = error.</li>
9751+
<var>MinList</var>(<var>L</var>) = error.</li>
97529752
<li>If <a href="#defn_Card">Card</a>(<var>L</var>) > 0, then
9753-
<var>Min'</var>(<var>L</var>) = <var>L</var><sub>1</sub>,
9753+
<var>MinList</var>(<var>L</var>) = <var>L</var><sub>1</sub>,
97549754
where <var>L</var><sub>1</sub> is the first element in
97559755
<var>L</var>.</li>
97569756
</ul>
@@ -9765,15 +9765,15 @@ <h5>Max</h5>
97659765
<div class="defn">
97669766
<p><b>Definition: <span id="defn_aggMax">Max</span></b></p>
97679767
<pre class="code nohighlight">term <var>Max</var>(sequence <var>S</var>)</pre>
9768-
<p><var>Max</var>(<var>S</var>) = <var>Max'</var>(<var>L</var>),</p>
9768+
<p><var>Max</var>(<var>S</var>) = <var>MaxList</var>(<var>L</var>),</p>
97699769
<p>where <var>L</var> is the list of values obtained by Flatten(<var>S</var>)
97709770
and then ordered as per the <code>ORDER BY DESC</code> clause,
9771-
and <var>Max'</var>(<var>L</var>) is defined as follows.</p>
9771+
and <var>MaxList</var>(<var>L</var>) is defined as follows.</p>
97729772
<ul>
97739773
<li>If <a href="#defn_Card">Card</a>(<var>L</var>) = 0, then
9774-
<var>Max'</var>(<var>L</var>) = error.</li>
9774+
<var>MaxList</var>(<var>L</var>) = error.</li>
97759775
<li>If <a href="#defn_Card">Card</a>(<var>L</var>) > 0, then
9776-
<var>Max'</var>(<var>L</var>) = <var>L</var><sub>1</sub>,
9776+
<var>MaxList</var>(<var>L</var>) = <var>L</var><sub>1</sub>,
97779777
where <var>L</var><sub>1</sub> is the first element in
97789778
<var>L</var>.</li>
97799779
</ul>
@@ -9798,26 +9798,26 @@ <h5>GroupConcat</h5>
97989798
then <var>sep</var> is the "space" character (i.e., unicode codepoint U+0020).</li>
97999799
</ul>
98009800
<p><var>GroupConcat</var>(<var>S</var>, <var>scalarvals</var>) =
9801-
<var>GroupConcat'</var>(<var>L</var>, <var>sep</var>),</p>
9801+
<var>GCList</var>(<var>L</var>, <var>sep</var>),</p>
98029802
<p>where <var>L</var> = Flatten(<var>S</var>) and
9803-
<var>GroupConcat'</var>(<var>L</var>, <var>sep</var>)
9803+
<var>GCList</var>(<var>L</var>, <var>sep</var>)
98049804
is defined recursively as follows.</p>
98059805
<ul>
98069806
<li>If <a href="#defn_Card">Card</a>(<var>L</var>) = 0, then
9807-
<var>GroupConcat'</var>(<var>L</var>, <var>sep</var>) = "".</li>
9807+
<var>GCList</var>(<var>L</var>, <var>sep</var>) = "".</li>
98089808
<li>If <a href="#defn_Card">Card</a>(<var>L</var>) = 1, then
9809-
<var>GroupConcat'</var>(<var>L</var>, <var>sep</var>) =
9809+
<var>GCList</var>(<var>L</var>, <var>sep</var>) =
98109810
<a href="#func-concat"><code>CONCAT</code></a>("", <var>L</var><sub>1</sub>).</li>
98119811
<li>If <a href="#defn_Card">Card</a>(<var>L</var>) > 1, then
9812-
<var>GroupConcat'</var>(<var>L</var>, <var>sep</var>) =
9813-
<a href="#func-concat"><code>CONCAT</code></a>(<var>L</var><sub>1</sub>, <var>sep</var>, <var>GroupConcat'</var>(<var>L</var><sub>2..n</sub>, <var>sep</var>)).</li>
9812+
<var>GCList</var>(<var>L</var>, <var>sep</var>) =
9813+
<a href="#func-concat"><code>CONCAT</code></a>(<var>L</var><sub>1</sub>, <var>sep</var>, <var>GCList</var>(<var>L</var><sub>2..n</sub>, <var>sep</var>)).</li>
98149814
</ul>
98159815
<p>Note that <var>L</var><sub>1</sub> is the first element in
98169816
<var>L</var>, and <var>L</var><sub>2..n</sub> is <var>L</var>
98179817
without its first element.</p>
98189818
</div>
98199819
<p>For example, <var>GroupConcat</var>([("a"), ("b"), ("c")], {"separator" → "."})
9820-
= <var>GroupConcat'</var>( ("a", "b", "c"), "." )
9820+
= <var>GCList</var>( ("a", "b", "c"), "." )
98219821
= "a.b.c".</p>
98229822
</section>
98239823
<section id="aggSample">

0 commit comments

Comments
 (0)