Differences

This shows you the differences between two versions of the page.

--- instructions_for_authors [2019/03/01 13:35]
d.gromada
+++ instructions_for_authors [2021/11/23 11:56] (current)
@@ Line 17: / Line 17: @@
 We define the following additional macros. The purpose of those definitions is not only to make writing formulas easier but also to unify the notation for the wiki. So, authors are strongly encouraged to use the macros and to use them in the meaning specified in the table. If you suggest any changes in the list, please contact the administrators.
-^ Symbol     ^ Command        ^ Meaning                                ^
+^ Symbol     ^ Command        ^ Meaning                                         ^
-|$\C$         | ''\C''         | Set of complex numbers                 |
+|$\hatstar$   | ''\hatstar''   | Dual free product                              |
-|$\GL$        | ''\GL''        | General linear group                   |
+|$\tilstar$   | ''\tilstar''   | Glued free product                             |
-|$\N$         | ''\N''         | Set of natural numbers (without zero)  |
+|$\tiltimes$  | ''\tiltimes''  | Glued tensor product                           |
-|$\Part$      | ''\Part''      | Set of all partitions                  |
+|$\C$         | ''\C''         | Set of complex numbers                         |
-|$\Partlin$   | ''\Partlin''   | Linear category of all partitions      |
+|$\Cscr$      | ''\Cscr''      | Some category                                  |
-|$\R$         | ''\R''         | Set of real numbers                    |
+|$\FinHilb$   | ''\FinHilb''   | Category of finite-dimensional Hilbert spaces  |
-|$\spanlin$   | ''\spanlin''   | Linear span                            |
+|$\FinVect$   | ''\FinVect''   | Category of finite-dimensional vector spaces   |
-|$\Q$         | ''\Q''         | Set of rational numbers                |
+|$\FundRep$   | ''\FundRep''   | Category generated by the fundamental representation |
-|$\Z$         | ''\Z''         | Set of integers                        |
+|$\GL$        | ''\GL''        | General linear group                           |
+|$\Hilb$      | ''\Hilb''      | Category of Hilbert spaces                     |
+|$\id$        | ''\id''        | Identity mapping                               |
+|$\Irr$       | ''\Irr''       | Irreducible representations                    |
+|$\Kscr$      | ''\Kscr''      | Some category                                  |
+|$\N$         | ''\N''         | Set of natural numbers (without zero)          |
+|$\Pol$       | ''\Pol''       | The Hopf algebra associated to CQG             |
+|$\Pscr$      | ''\Pscr''      | Set of all partitions                          |
+|$\Part$      | ''\Part''      | Linear category of all partitions              |
+|$\R$         | ''\R''         | Set of real numbers                            |
+|$\Rep$       | ''\Rep''       | Category of representations                    |
+|$\spanlin$   | ''\spanlin''   | Linear span                                    |
+|$\T$         | ''\T''         | Complex unit circle                            |
+|$\Q$         | ''\Q''         | Set of rational numbers                        |
+|$\Vect$      | ''\Vect''      | Category of vector spaces                      |
+|$\Z$         | ''\Z''         | Set of integers                                |
 ==== Partitions ====
-For typesetting partitions, we use the macro package ''partmac'' from [[https://www.math.uni-sb.de/ag/speicher/gromadaE.html|Daniel Gromada]]. Here are the instructions
+For typesetting partitions, we use the macro package ''partmac'' from [[https://www.math.uni-sb.de/ag/speicher/gromadaE.html|Daniel Gromada]]. For more details, see [[Typesetting partitions]].
-=== Predefined partitions ===
-There are macros of the form ''\Lxxxx'' for partitions on lower line, ''\Uxxxx'' for partitions on upper line and ''\Pxxxx'' for partitions with the same ammount of upper and lower points. Here ''xxxx'' is the lexicographically smallest word representation of the partiiton. That is, we have the following macros for partitions with points on the lower line.
-|''\La''    | $\La$   | ''\Laaaa'' | $\Laaaa$ | ''\Laabc'' | $\Laabc$ |
-|''\Laa''   | $\Laa$  | ''\Laaab'' | $\Laaab$ | ''\Labac'' | $\Labac$ |
-|''\Lab''   | $\Lab$  | ''\Laaba'' | $\Laaba$ | ''\Labca'' | $\Labca$ |
-|''\Laaa''  | $\Laaa$ | ''\Labaa'' | $\Labaa$ | ''\Labbc'' | $\Labbc$ |
-|''\Laab''  | $\Laab$ | ''\Labbb'' | $\Labbb$ | ''\Labcb'' | $\Labcb$ |
-|''\Laba''  | $\Laba$ | ''\Laabb'' | $\Laabb$ | ''\Labcc'' | $\Labcc$ |
-|''\Labb''  | $\Labb$ | ''\Labba'' | $\Labba$ | ''\Labcd'' | $\Labcd$ |
-|''\Labc''  | $\Labc$ | ''\Labab'' | $\Labab$ |
-Then we have the following macros for partitions with points on the upper line.
-|''\Ua''    | $\Ua$   | ''\Uaaaa'' | $\Uaaaa$ | ''\Uaabc'' | $\Uaabc$ |
-|''\Uaa''   | $\Uaa$  | ''\Uaaab'' | $\Uaaab$ | ''\Uabac'' | $\Uabac$ |
-|''\Uab''   | $\Uab$  | ''\Uaaba'' | $\Uaaba$ | ''\Uabca'' | $\Uabca$ |
-|''\Uaaa''  | $\Uaaa$ | ''\Uabaa'' | $\Uabaa$ | ''\Uabbc'' | $\Uabbc$ |
-|''\Uaab''  | $\Uaab$ | ''\Uabbb'' | $\Uabbb$ | ''\Uabcb'' | $\Uabcb$ |
-|''\Uaba''  | $\Uaba$ | ''\Uaabb'' | $\Uaabb$ | ''\Uabcc'' | $\Uabcc$ |
-|''\Uabb''  | $\Uabb$ | ''\Uabba'' | $\Uabba$ | ''\Uabcd'' | $\Uabcd$ |
-|''\Uabc''  | $\Uabc$ | ''\Uabab'' | $\Uabab$ |
-Finally partitions with equal number of points on lower and upper line.
-|''\Paa''   | $\Paa$   |  ''\Pabab'' | $\Pabab$ | ''\Pabcabc''  | $\Pabcabc$ |
-|''\Pab''   | $\Pab$   |  ''\Paabc'' | $\Paabc$ | ''\Pabcabd''  | $\Pabcabd$ |
-|''\Paaaa'' | $\Paaaa$ |  ''\Pabac'' | $\Pabac$ | ''\Pabcadc''  | $\Pabcadc$ |
-|''\Paaab'' | $\Paaab$ |  ''\Pabca'' | $\Pabca$ | ''\Pabcdbc''  | $\Pabcdbc$ |
-|''\Paaba'' | $\Paaba$ |  ''\Pabbc'' | $\Pabbc$ | ''\Pabcade''  | $\Pabcade$ |
-|''\Pabaa'' | $\Pabaa$ |  ''\Pabcb'' | $\Pabcb$ | ''\Pabcdbe''  | $\Pabcdbe$ |
-|''\Pabbb'' | $\Pabbb$ |  ''\Pabcc'' | $\Pabcc$ | ''\Pabcdec''  | $\Pabcdec$ |
-|''\Paabb'' | $\Paabb$ |  ''\Pabcd'' | $\Pabcd$ | ''\Pabcdef''  | $\Pabcdef$ |
-|''\Pabba'' | $\Pabba$ |
-In addition, we define the following synonyms.
-|''\singleton''   | $\singleton$    | ''\idpart''           | $\idpart$           | ''\fourpart''    | $\fourpart$ |
-|''\upsingleton'' | $\upsingleton$  | ''\disconnecterpart'' | $\disconnecterpart$ | ''\crosspart''   | $\crosspart$ |
-|''\pairpart''    | $\pairpart$     | ''\positionerpart''   | $\positionerpart$   | ''\halflibpart'' | $\halflibpart$ |
-|''\uppairpart''  | $\uppairpart$   | ''\connecterpart''    | $\connecterpart$    |
-=== Partitions on one line ===
-To define a general partition with points only on the lower or upper line, one can use macro ''\Lpartition'', resp. ''\Upartition''. The syntax is the following.
-<code>
-\LPartition{<singletons>}{<remaining blocks>}
-</code>
-The datum <singletons> should be of the form $h:i_1,i_2,\dots,i_k$, where $h$ is the height of the singleton blocks and $i_1,\dots,i_k$ are the positions of the singletons. The datum ''<remaining blocks>'' consists of descriptions of other blocks. Each block is described similarly as the set of singletons, so in the format $h:i_1,\dots,i_k$, where $h$ is the height of the block and $i_1,\dots,i_k$ are the positions of elements of the block. The data for the blocks are separated by semicolon.
-Let us show this on example.
-''\LPartition{0.4:1,4,8}{0.4:2,3;0.4:5,7;0.8:6,9,10}'' $\LPartition{0.4:1,4,8}{0.4:2,3;0.4:5,7;0.8:6,9,10}$
-Here, the singletons are on position 1, 4, 8 and each of them is represented by a line of height 0.4. Then there are three additional blocks. First connecting points 2 and 3 is represented by a node of height 0.4 (that is, the same as the singletons). Second block connects points 5 and 7 and has the same height. Finally a block connecting points 6, 9, 10 has double height, that is, 0.8.
-The macro ''\UPartition'' works the same. Except that instead of the height, we should put $1-{\rm height}$, that is, we put there actually the $y$-coordinate of the point. That means, to obtain the same result horizontally flipped, we have to write down
-''\UPartition{0.6:1,4,8}{0.6:2,3;0.6:5,7;0.2:6,9,10}''  $\UPartition{0.6:1,4,8}{0.6:2,3;0.6:5,7;0.2:6,9,10}$
-The units are chosen in such a way that one should keep the height between 0 and 1 to stick within the line in a paragraph. However, the macro works also if you put there higher numbers, which can be used especially in display mode. For example
-''\LPartition{0.6:1,4,8}{0.6:2,3;0.6:5,7;1.2:6,9,10}''  $\LPartition{0.6:1,4,8}{0.6:2,3;0.6:5,7;1.2:6,9,10}$
-=== General partitions ===
-To draw general partitions with upper and lower points, one can use ''\Partition{<data>}''. The data can consist of the following commands.
-<code>
-\Psingletons y1 to y2:i1,i2,...,ik    %draws singletons
-\Pblock      y1 to y2:i1,i2,...,ik    %draws one block
-\Pline       (x1,y1) (x2,y2)          %draws a line
-</code>
-Here, ''x1'' and ''x2'' represent the $x$ coordinates (i.e. position of a point) and ''y1'' and ''y2'' the $y$-coordinates. Again, one is advised to keep the $y$ coordinates between 0 and 1. As an example, we mention the definition of the connecter partition $\connecterpart$ and the positioner partition $\positionerpart$.
-<code>
-\Partition{                 % connecter partition
-\Pblock 0 to 0.3:1,2        % connecting two lower points
-\Pblock 1 to 0.7:1,2        % connecting two upper points
-\Pline (1.5,0.3) (1.5,0.7)  % connecting the two blocks together
-}
-\Partition{               % positioner partition
-\Psingletons 0to0.3:2     % singleton on lower line, pos. 2
-\Psingletons 1to0.7:1     % singleton on upper line, pos. 1
-\Pline (1,0) (2,1)        % line connecting lower pt 1 and upper pt 2
-}
-</code>
-For drawing more complicated partitions, one can use the ''\BigPartition{<data>}'', which works exactly the same, but produces a larger result. Another difference is that ''\BigPartition'' aligns the middle of the partition, i.e. the point $y=0.5$ with the equals sign. So, for example the result
-$$
-p=
-\BigPartition{
-\Pblock 0 to 0.25:2,3
-\Pblock 1 to 0.75:1,2,3
-\Psingletons 0 to 0.25:1,4
-\Pline (2.5,0.25) (2.5,0.75)
-},
-\qquad
-q=
-\BigPartition{
-\Psingletons 0 to 0.25:1,4
-\Psingletons 1 to 0.75:1,4
-\Pline (2,0) (3,1)
-\Pline (3,0) (2,1)
-\Pline (2.75,0.25) (4,0.25)
-}
-$$
-can be obtained writing
-<code>
-$$p=
-\BigPartition{
-\Pblock 0 to 0.25:2,3
-\Pblock 1 to 0.75:1,2,3
-\Psingletons 0 to 0.25:1,4
-\Pline (2.5,0.25) (2.5,0.75)
-},
-\qquad
-q=
-\BigPartition{
-\Psingletons 0 to 0.25:1,4
-\Psingletons 1 to 0.75:1,4
-\Pline (2,0) (3,1)
-\Pline (3,0) (2,1)
-\Pline (2.75,0.25) (4,0.25)
-}$$
-</code>
-=== Adding text ===
-To add text, one can use ''\Ptext(<x>,<y>){<text>}'', where '<x>' and '<y>' are coordinates and '<text>' is any $\TeX$ code. The '<text>' is wrapped in a box, whose center is described by the coordinates. An example:
-$$p=
-\BigPartition{
-\Pblock 0 to 0.25:2,3
-\Pblock 1 to 0.75:1,2,3
-\Psingletons 0 to 0.25:1,4
-\Pline (2.5,0.25) (2.5,0.75)
-\Ptext(1,1.2){1}
-\Ptext(2,1.2){2}
-\Ptext(3,1.2){3}
-\Ptext(1,-0.2){1}
-\Ptext(2,-0.2){2}
-\Ptext(3,-0.2){3}
-\Ptext(4,-0.2){4}
-}
-$$
-is obtained writing
-<code>
-$$p=
-\BigPartition{
-\Pblock 0 to 0.25:2,3
-\Pblock 1 to 0.75:1,2,3
-\Psingletons 0 to 0.25:1,4
-\Pline (2.5,0.25) (2.5,0.75)
-\Ptext(1,1.2){1}
-\Ptext(2,1.2){2}
-\Ptext(3,1.2){3}
-\Ptext(1,-0.2){1}
-\Ptext(2,-0.2){2}
-\Ptext(3,-0.2){3}
-\Ptext(4,-0.2){4}
-}$$
-</code>
-=== Coloring points ===
-In this section, we describe how to assign different shapes to the set of partitioned points to obtained so-called colored partitions. In the package, we prepared two colors. Command ''\Pw'' is used to draw white circle $\Partition{\Ppoint 0.5 \Pw:1}$ and ''\Pb'' is used to draw black circle $\Partition{\Ppoint 0.5 \Pb:1}$.
-For partitions with lower or upper points only, one can use ''\LPartition'' resp. ''\UPartition'' and specify the colorings in the ''<singletons>'' parameter. An example:
-$$\LPartition{0.6:1,4,8;\Pw:1,2,5,6;\Pb:3,4,7,8,9,10}{0.6:2,3;0.6:5,7;1.2:6,9,10}$$
-<code>
-\LPartition{0.6:1,4,8;\Pw:1,2,5,6;\Pb:3,4,7,8,9,10}{0.6:2,3;0.6:5,7;1.2:6,9,10}
-</code>
-To add points inside ''\Partition'' or ''\Bigpartition'', one can use command of the form ''\Ppoint <y> <shape>:<positions>'' as in the following example
-$$
-\BigPartition{
-\Psingletons 0 to 0.25:1,4
-\Psingletons 1 to 0.75:1,4
-\Pline (2,0) (3,1)
-\Pline (3,0) (2,1)
-\Pline (2.75,0.25) (4,0.25)
-\Ppoint0 \Pw:2,4
-\Ppoint0 \Pb:1,3
-\Ppoint1 \Pw:1,2,3
-\Ppoint1 \Pb:4
-}
-$$
-<code>
-\BigPartition{
-\Psingletons 0 to 0.25:1,4
-\Psingletons 1 to 0.75:1,4
-\Pline (2,0) (3,1)
-\Pline (3,0) (2,1)
-\Pline (2.75,0.25) (4,0.25)
-\Ppoint0 \Pw:2,4
-\Ppoint0 \Pb:1,3
-\Ppoint1 \Pw:1,2,3
-\Ppoint1 \Pb:4
-}
-</code>
-Actually, we have an additional two pre-defined points, which are actually arrows. That is, ''\Ls'' for arrow up (letters stand for lower singleton) and ''\Us'' for arrow down. Using them, we can draw the colored singleton $\LPartition{\Ls:1;\Pw:1}{}$ by ''\LPartition{\Ls:1;\Pw:1}{}''. If we wanted to emphasize the singletons in the example above, we can also replace them by arrows.
-$$
-\BigPartition{
-\Psingletons 0 to 0.25:4
-\Ppoint0 \Ls:1
-\Ppoint1 \Us:1,4
-\Pline (2,0) (3,1)
-\Pline (3,0) (2,1)
-\Pline (2.75,0.25) (4,0.25)
-\Ppoint0 \Pw:2,4
-\Ppoint0 \Pb:1,3
-\Ppoint1 \Pw:1,2,3
-\Ppoint1 \Pb:4
-}
-$$

User Tools

Site Tools

Differences

Page Tools