X-Git-Url: http://gitweb.michael.orlitzky.com/?a=blobdiff_plain;f=mjo-common.tex;h=27c4c7b3f3d8ee8e81f03bab8f5df3afa6102e3d;hb=37b342a8a6fada8b0fbe828bdf97f346b538f5f4;hp=aa7427fc96dbe46a0582a83de7c7e494e0a78f59;hpb=e6bb4f9ae2d3785b331388703b8793e0409d30af;p=mjotex.git diff --git a/mjo-common.tex b/mjo-common.tex index aa7427f..27c4c7b 100644 --- a/mjo-common.tex +++ b/mjo-common.tex @@ -37,6 +37,18 @@ % A triple of things. \newcommand*{\triple}[3]{ \left({#1},{#2},{#3}\right) } +% A four-tuple of things. +\newcommand*{\quadruple}[4]{ \left({#1},{#2},{#3},{#4}\right) } + +% A five-tuple of things. +\newcommand*{\quintuple}[5]{ \left({#1},{#2},{#3},{#4},{#5}\right) } + +% A six-tuple of things. +\newcommand*{\sextuple}[6]{ \left({#1},{#2},{#3},{#4},{#5},{#6}\right) } + +% A seven-tuple of things. +\newcommand*{\septuple}[7]{ \left({#1},{#2},{#3},{#4},{#5},{#6},{#7}\right) } + % The Cartesian product of two things. \newcommand*{\cartprod}[2]{ {#1}\times{#2} } @@ -66,36 +78,94 @@ \mathbb{N}\if\detokenize{#1}\detokenize{1}{}\else^{#1}\fi } +\ifdefined\newglossaryentry + \newglossaryentry{N}{ + name={\ensuremath{\Nn[1]}}, + description={the set of natural numbers}, + sort=N + } +\fi + % The integral n-space, Z x Z x Z x ... x Z. \newcommand*{\Zn}[1][n]{ \mathbb{Z}\if\detokenize{#1}\detokenize{1}{}\else^{#1}\fi } +\ifdefined\newglossaryentry + \newglossaryentry{Z}{ + name={\ensuremath{\Zn[1]}}, + description={the ring of integers}, + sort=Z + } +\fi + % The rational n-space, Q x Q x Q x ... x Q. \newcommand*{\Qn}[1][n]{ \mathbb{Q}\if\detokenize{#1}\detokenize{1}{}\else^{#1}\fi } +\ifdefined\newglossaryentry + \newglossaryentry{Q}{ + name={\ensuremath{\Qn[1]}}, + description={the field of rational numbers}, + sort=Q + } +\fi + % The real n-space, R x R x R x ... x R. \newcommand*{\Rn}[1][n]{ \mathbb{R}\if\detokenize{#1}\detokenize{1}{}\else^{#1}\fi } +\ifdefined\newglossaryentry + \newglossaryentry{R}{ + name={\ensuremath{\Rn[1]}}, + description={the field of real numbers}, + sort=R + } +\fi + + % The complex n-space, C x C x C x ... x C. \newcommand*{\Cn}[1][n]{ \mathbb{C}\if\detokenize{#1}\detokenize{1}{}\else^{#1}\fi } +\ifdefined\newglossaryentry + \newglossaryentry{C}{ + name={\ensuremath{\Cn[1]}}, + description={the field of complex numbers}, + sort=C + } +\fi + + % The space of real symmetric n-by-n matrices. \newcommand*{\Sn}[1][n]{ \mathcal{S}\if\detokenize{#1}\detokenize{1}{}\else^{#1}\fi } +\ifdefined\newglossaryentry + \newglossaryentry{Sn}{ + name={\ensuremath{\Sn}}, + description={the set of $n$-by-$n$ real symmetric matrices}, + sort=Sn + } +\fi + % The space of complex Hermitian n-by-n matrices. \newcommand*{\Hn}[1][n]{ \mathcal{H}\if\detokenize{#1}\detokenize{1}{}\else^{#1}\fi } +\ifdefined\newglossaryentry + \newglossaryentry{Hn}{ + name={\ensuremath{\Hn}}, + description={the set of $n$-by-$n$ complex Hermitian matrices}, + sort=Hn + } +\fi + % % Basic set operations %