User:8680/tmp/AnimationWMLProgressiveStringSquareBracketExpansionSyntax - Revision history

8680 at 23:56, 14 February 2014

2014-02-14T23:56:20Z

8680 at 23:50, 11 February 2014

2014-02-11T23:50:05Z

8680 at 23:47, 11 February 2014

2014-02-11T23:47:12Z

8680 at 22:51, 11 February 2014

2014-02-11T22:51:44Z

8680 at 21:00, 10 February 2014

2014-02-10T21:00:11Z

8680 at 07:26, 10 February 2014

2014-02-10T07:26:23Z

8680 at 07:21, 10 February 2014

2014-02-10T07:21:02Z

8680 at 07:04, 10 February 2014

2014-02-10T07:04:15Z

8680 at 06:54, 10 February 2014

2014-02-10T06:54:56Z

8680: Created page with "Each set of square brackets (‘[’ and ‘]’) contains a comma-separated list — an '''''expansion list''''' — of which each element can be: # a plain '''string''' —..."

2014-02-08T02:21:49Z

Created page with "Each set of square brackets (‘[’ and ‘]’) contains a comma-separated list — an '''''expansion list''''' — of which each element can be: # a plain '''string''' —..."

New page

Each set of square brackets (‘[’ and ‘]’) contains a comma-separated list — an '''''expansion list''''' — of which each element can be:

# a plain '''string''' — e.g., “abc” or “123”;
# a '''range''', expressed as two radix-10 integers, separated by a tilde — e.g., “1~5”; or
# a '''repetition''', notated as a string and a radix-10 integer, separated by an asterisk — e.g., “a*3”.

'''Ranges''' can not only be from a lesser number to a greater number (e.g., “1~5”), but can also be backward — from a greater number to a lesser number (e.g., “5~1”).

A single progressive string value may contain multiple expansion lists, which must all be of the same length in elements.

When a progressive string that contains expansion lists is processed to expand its expansion lists, it is transformed into a comma-separated list, which is generated as follows:

@@ Line 15: / Line 15: @@
 If '''<var>x</var> = <var>y</var>''', then this list has only one element, which is <var>x</var> (and is also <var>y</var>, of course). E.g., “2~2” would becomes “2”.
-If either <var>x</var> or <var>y</var> are padded with '''leading zeros''', then each number in the resultant list will be padded with leading zeros such that it is expressed in as many digits as the endpoint (either <var>x</var> or <var>y</var>) that is padded with the most leading zeros. E.g., “07~11” would become “07,08,09,10,11”, and “003~1” (or “3~001”) would become “003,002,001”.
+If either <var>x</var> or <var>y</var> (or both) are padded with '''leading zeros''', then each number in the resultant list will be padded with leading zeros such that it is expressed in at least <var>z</var>+1 digits, where <var>z</var> is the quantity of leading zeros with which one or both endpoints are padded. E.g.,
 ==== Repetition expansion ====

@@ Line 1: / Line 1: @@
 Each set of square brackets (‘[’ and ‘]’) contains a comma-separated list — an '''''expansion list''''' — of which each element can be:
-# a '''plain string''' — e.g., “abc” or “123”;
+* a '''plain string''' — e.g., “abc” or “123”;
-# a '''range''', expressed as two radix-10 integers, separated by a tilde — e.g., “1~5”; or
+* a '''range''', expressed as two radix-10 integers, separated by a tilde — e.g., “1~5”; or
-# a '''repetition''', notated as a string and a radix-10 integer, separated by an asterisk — e.g., “a*3”.
+* a '''repetition''', notated as a string and a radix-10 integer, separated by an asterisk — e.g., “a*3”.
 Ranges can not only be from a lesser number to a greater number (e.g., “1~5”), but can also be '''backward''' — from a greater number to a lesser number (e.g., “5~1”).

← Older revision		Revision as of 23:47, 11 February 2014
Line 27:		Line 27:
	When a progressive string that contains expansion lists is processed to expand its expansion lists, it is transformed into a comma-separated list with <var>L</var> elements.		When a progressive string that contains expansion lists is processed to expand its expansion lists, it is transformed into a comma-separated list with <var>L</var> elements.

−	For each integer <var>n</var> from 1 to <var>L</var>, the <var>n</var>-th element of this list shall be a copy of the progressive string, with each expansion list it contains ~~(after range and repetition expansion)~~ replaced with that expansion list’s <var>n</var>-th element.	+	For each integer <var>n</var> from 1 to <var>L</var>, the <var>n</var>-th element of this list shall be a copy of the progressive string, with each expansion list it contains replaced with that expansion list’s <var>n</var>-th element (after range and repetition expansion).

@@ Line 23: / Line 23: @@
 ==== Square bracket expansion ====
-A single '''progressive string value''' may contain multiple '''square-bracketed expansion lists''', which must all be of the same length in elements (after range and repetition expansion).
+A single '''progressive string value''' may contain multiple '''square-bracketed expansion lists''', which must all be of the same length in elements (after range and repetition expansion). This length shall be referred to as <var>L</var> for the remainder of this section.
-When a progressive string that contains expansion lists is processed to expand its expansion lists, it is transformed into a comma-separated list, which is generated as follows:
+When a progressive string that contains expansion lists is processed to expand its expansion lists, it is transformed into a comma-separated list with <var>L</var> elements.
-For each integer <var>n</var> from 1 to <var>L</var>, where <var>L</var> is the length in elements of each expansion list (after range and repetition expansion):
+For each integer <var>n</var> from 1 to <var>L</var>, the <var>n</var>-th element of this list shall be a copy of the progressive string, with each expansion list it contains (after range and repetition expansion) replaced with that expansion list’s <var>n</var>-th element.

@@ Line 9: / Line 9: @@
 ==== Range expansion ====
-Each '''range''' ''x''~''y'' is expanded within its expansion list to a comma-separated list of radix-10 integers (which are plain strings), starting from the first endpoint ''x'' and ending at the second endpoint ''y''.
+Each '''range''' ''<var>x</var>~<var>y</var>'' is expanded within its expansion list to a comma-separated list of radix-10 integers (which are plain strings), starting from the first endpoint <var>x</var> and ending at the second endpoint <var>y</var>.
-If '''''x'' < ''y''''', then the numbers in this list increase by increments of 1; if '''''x'' > ''y''''', then the numbers in this list decrease by decrements of 1. E.g., “1~3” would become “1,2,3”, and “3~1” would become “3,2,1”.
+If '''<var>x</var> < <var>y</var>''', then the numbers in this list increase by increments of 1; if '''<var>x</var> > <var>y</var>''', then the numbers in this list decrease by decrements of 1. E.g., “1~3” would become “1,2,3”, and “3~1” would become “3,2,1”.
-If '''''x'' = ''y''''', then this list has only one element, which is ''x'' (and is also ''y'', of course). E.g., “2~2” would becomes “2”.
+If '''<var>x</var> = <var>y</var>''', then this list has only one element, which is <var>x</var> (and is also <var>y</var>, of course). E.g., “2~2” would becomes “2”.
-If either ''x'' or ''y'' are padded with '''leading zeros''', then each number in the resultant list will be padded with leading zeros such that it is expressed in as many digits as the endpoint (either of ''x'' or ''y'') that is padded with the most leading zeros. E.g., “07~11” would become “07,08,09,10,11”, and “003~1” (or “3~001”) would become “003,002,001”.
+If either <var>x</var> or <var>y</var> are padded with '''leading zeros''', then each number in the resultant list will be padded with leading zeros such that it is expressed in as many digits as the endpoint (either <var>x</var> or <var>y</var>) that is padded with the most leading zeros. E.g., “07~11” would become “07,08,09,10,11”, and “003~1” (or “3~001”) would become “003,002,001”.
 ==== Repetition expansion ====
-Each '''repetition''' ''s''*''n'' is expanded within its expansion list to a comma-separated list with ''n'' elements, each of which is the string ''s''. E.g., “abc*3” would become “abc,abc,abc”.
+Each '''repetition''' ''<var>s</var>*<var>n</var>'' is expanded within its expansion list to a comma-separated list with <var>n</var> elements, each of which is the string <var>s</var>. E.g., “abc*3” would become “abc,abc,abc”.
 ==== Square bracket expansion ====
@@ Line 27: / Line 27: @@
 When a progressive string that contains expansion lists is processed to expand its expansion lists, it is transformed into a comma-separated list, which is generated as follows:
-For each integer ''n'' from 1 to ''L'', where ''L'' is the length in elements of each expansion list:
+For each integer <var>n</var> from 1 to <var>L</var>, where <var>L</var> is the length in elements of each expansion list (after range and repetition expansion):
 :If

@@ Line 7: / Line 7: @@
 Ranges can not only be from a lesser number to a greater number (e.g., “1~5”), but can also be backward — from a greater number to a lesser number (e.g., “5~1”).
-====== Range expansion =====
+==== Range expansion ====
-Each '''range''' ''x~y'' is expanded within its expansion list to a comma-separated list of radix-10 integers (which are plain strings), starting from the first endpoint ''x'' and ending at the second endpoint ''y''.
+Each '''range''' ''x''~''y'' is expanded within its expansion list to a comma-separated list of radix-10 integers (which are plain strings), starting from the first endpoint ''x'' and ending at the second endpoint ''y''.
 If ''x'' < ''y'', then the numbers in this list increase by increments of 1; if ''x'' > ''y'', then the numbers in this list decrease by decrements of 1. E.g., “1~3” would become “1,2,3”, and “3~1” would become “3,2,1”.
@@ Line 15: / Line 15: @@
 If ''x'' = ''y'', then this list has only one element, which is ''x''. E.g., “2~2” would becomes “2”.
-If either ''x'' or ''y'' are padded with leading zeros, then each number in the resultant list will be padded with leading zeros such that it is expressed in as many digits as the endpoint (either of ''x'' or ''y'') that is padded with the most leading zeros. E.g., “07~11” would become “07,08,09,10,11”, and “003~1” would become “003,002,001”.
+If either ''x'' or ''y'' are padded with leading zeros, then each number in the resultant list will be padded with leading zeros such that it is expressed in as many digits as the endpoint (either of ''x'' or ''y'') that is padded with the most leading zeros. E.g., “07~11” would become “07,08,09,10,11”, and “003~1” (or “3~001”) would become “003,002,001”.
-====== Square bracket expansion ======
+==== Square bracket expansion ====
 A single progressive string value may contain multiple square-bracketed expansion lists, which must all be of the same length in elements.