summaryrefslogtreecommitdiff
path: root/macros/latex/contrib/stex/doc/packages
diff options
context:
space:
mode:
Diffstat (limited to 'macros/latex/contrib/stex/doc/packages')
-rw-r--r--macros/latex/contrib/stex/doc/packages/basics.tex16
-rw-r--r--macros/latex/contrib/stex/doc/packages/document-structure.tex1
-rw-r--r--macros/latex/contrib/stex/doc/packages/features.tex67
-rw-r--r--macros/latex/contrib/stex/doc/packages/hwexam.tex1
-rw-r--r--macros/latex/contrib/stex/doc/packages/inheritance.tex1
-rw-r--r--macros/latex/contrib/stex/doc/packages/mathhub.tex89
-rw-r--r--macros/latex/contrib/stex/doc/packages/metatheory.tex1
-rw-r--r--macros/latex/contrib/stex/doc/packages/modules.tex1
-rw-r--r--macros/latex/contrib/stex/doc/packages/problem.tex1
-rw-r--r--macros/latex/contrib/stex/doc/packages/references.tex1
-rw-r--r--macros/latex/contrib/stex/doc/packages/slides.tex1
-rw-r--r--macros/latex/contrib/stex/doc/packages/sproofs.tex1
-rw-r--r--macros/latex/contrib/stex/doc/packages/statements.tex1
-rw-r--r--macros/latex/contrib/stex/doc/packages/symbols.tex1
-rw-r--r--macros/latex/contrib/stex/doc/packages/terms.tex1
-rw-r--r--macros/latex/contrib/stex/doc/packages/tikzinput.tex1
16 files changed, 185 insertions, 0 deletions
diff --git a/macros/latex/contrib/stex/doc/packages/basics.tex b/macros/latex/contrib/stex/doc/packages/basics.tex
new file mode 100644
index 0000000000..daa6d6418d
--- /dev/null
+++ b/macros/latex/contrib/stex/doc/packages/basics.tex
@@ -0,0 +1,16 @@
+Both the \pkg{stex} package and document class offer the following
+options:
+
+\begin{description}
+ \item[\texttt{lang}] (\meta{language}$\ast$) Languages
+ to load with the \pkg{babel} package.
+ \item[\texttt{mathhub}] (\meta{directory}) MathHub folder
+ to search for repositories.
+ \item[\texttt{sms}] (\meta{boolean}) use \emph{persisted}
+ mode (not yet implemented).
+ \item[\texttt{image}] (\meta{boolean}) passed on to
+ \pkg{tikzinput}.
+ \item[\texttt{debug}] (\meta{log-prefix}$\ast$) Logs debugging
+ information with the given prefixes to the terminal,
+ or all if |all| is given.
+\end{description} \ No newline at end of file
diff --git a/macros/latex/contrib/stex/doc/packages/document-structure.tex b/macros/latex/contrib/stex/doc/packages/document-structure.tex
new file mode 100644
index 0000000000..1c8fe97dac
--- /dev/null
+++ b/macros/latex/contrib/stex/doc/packages/document-structure.tex
@@ -0,0 +1 @@
+\textcolor{red}{TODO: document-structure documentation} \ No newline at end of file
diff --git a/macros/latex/contrib/stex/doc/packages/features.tex b/macros/latex/contrib/stex/doc/packages/features.tex
new file mode 100644
index 0000000000..e70bbaa0e8
--- /dev/null
+++ b/macros/latex/contrib/stex/doc/packages/features.tex
@@ -0,0 +1,67 @@
+Given modules:
+
+\stexexample{
+ \begin{smodule}{magma}
+ \symdef{universe}{\comp{\mathcal U}}
+ \symdef{operation}[args=2,op=\circ]{#1 \comp\circ #2}
+ \end{smodule}
+ \begin{smodule}{monoid}
+ \importmodule{magma}
+ \symdef{unit}{\comp e}
+ \end{smodule}
+ \begin{smodule}{group}
+ \importmodule{monoid}
+ \symdef{inverse}[args=1]{{#1}^{\comp{-1}}}
+ \end{smodule}
+}
+
+We can form a module for \emph{rings} by ``cloning''
+an instance of |group| (for addition) and |monoid| (for multiplication),
+respectively, and ``glueing them together'' to ensure they share the
+same universe:
+
+\stexexample{
+ \begin{smodule}{ring}
+ \begin{copymodule}{group}{addition}
+ \renamedecl[name=universe]{universe}{runiverse}
+ \renamedecl[name=plus]{operation}{rplus}
+ \renamedecl[name=zero]{unit}{rzero}
+ \renamedecl[name=uminus]{inverse}{ruminus}
+ \end{copymodule}
+ \notation*{rplus}[plus,op=+,prec=60]{#1 \comp+ #2}
+ %\setnotation{rplus}{plus}
+ \notation*{rzero}[zero]{\comp0}
+ %\setnotation{rzero}{zero}
+ \notation*{ruminus}[uminus,op=-]{\comp- #1}
+ %\setnotation{ruminus}{uminus}
+ \begin{copymodule}{monoid}{multiplication}
+ \assign{universe}{\runiverse}
+ \renamedecl[name=times]{operation}{rtimes}
+ \renamedecl[name=one]{unit}{rone}
+ \end{copymodule}
+ \notation*{rtimes}[cdot,op=\cdot,prec=50]{#1 \comp\cdot #2}
+ %\setnotation{rtimes}{cdot}
+ \notation*{rone}[one]{\comp1}
+ %\setnotation{rone}{one}
+ Test: $\rtimes a{\rplus c{\rtimes de}}$
+ \end{smodule}
+}
+
+\textcolor{red}{TODO: explain donotclone}
+
+
+\stexexample{
+ \begin{smodule}{int}
+ \symdef{Integers}{\comp{\mathbb Z}}
+ \symdef{plus}[args=2,op=+]{#1 \comp+ #2}
+ \symdef{zero}{\comp0}
+ \symdef{uminus}[args=1,op=-]{\comp-#1}
+
+ \begin{interpretmodule}{group}{intisgroup}
+ \assign{universe}{\Integers}
+ \assign{operation}{\plus!}
+ \assign{unit}{\zero}
+ \assign{inverse}{\uminus!}
+ \end{interpretmodule}
+ \end{smodule}
+} \ No newline at end of file
diff --git a/macros/latex/contrib/stex/doc/packages/hwexam.tex b/macros/latex/contrib/stex/doc/packages/hwexam.tex
new file mode 100644
index 0000000000..5f1758b015
--- /dev/null
+++ b/macros/latex/contrib/stex/doc/packages/hwexam.tex
@@ -0,0 +1 @@
+\textcolor{red}{TODO: hwexam documentation} \ No newline at end of file
diff --git a/macros/latex/contrib/stex/doc/packages/inheritance.tex b/macros/latex/contrib/stex/doc/packages/inheritance.tex
new file mode 100644
index 0000000000..41631f94d2
--- /dev/null
+++ b/macros/latex/contrib/stex/doc/packages/inheritance.tex
@@ -0,0 +1 @@
+\textcolor{red}{TODO: inheritance documentation} \ No newline at end of file
diff --git a/macros/latex/contrib/stex/doc/packages/mathhub.tex b/macros/latex/contrib/stex/doc/packages/mathhub.tex
new file mode 100644
index 0000000000..4b05134e70
--- /dev/null
+++ b/macros/latex/contrib/stex/doc/packages/mathhub.tex
@@ -0,0 +1,89 @@
+\begin{sfragment}{The Local MathHub-Directory}
+ |\usemodule|, |\importmodule|, |\inputref| etc. allow for
+ including content modularly without having to specify absolute
+ paths, which would differ between users and machines. Instead,
+ \sTeX uses \emph{archives} that determine the global
+ namespaces for symbols and statements and make it possible
+ for \sTeX to find content referenced via such URIs.
+
+ All \sTeX archives need to exist in the local |MathHub|-directory.
+ \sTeX knows where this folder is via one of three means:
+
+ \begin{enumerate}
+ \item If the \sTeX package is loaded with the option
+ |mathhub=/path/to/mathhub|, then \sTeX will consider
+ |/path/to/mathhub| as the local |MathHub|-directory.
+ \item If the |mathhub| package option is \emph{not}
+ set, but the macro |\mathhub| exists when the
+ \sTeX-package is loaded, then this macro is
+ assumed to point to the local |MathHub|-directory; i.e.
+ |\def\mathhub{/path/to/mathhub}\usepackage{stex}|
+ will set the |MathHub|-directory as |path/to/mathhub|.
+ \item Otherwise, \sTeX will attempt to retrieve the
+ system variable |MATHHUB|, assuming it will
+ point to the local |MathHub|-directory. Since this
+ variant needs setting up only \emph{once} and is
+ machine-specific (rather than defined in tex code),
+ it is compatible with collaborating and sharing tex
+ content, and hence recommended.
+ \end{enumerate}
+\end{sfragment}
+
+\begin{sfragment}{The Structure of \sTeX Archives}
+ An \sTeX archive |group/name| needs to be stored in the
+ directory |/path/to/mathhub/group/name|; e.g. assuming your
+ local |MathHub|-directory is set as |/user/foo/MathHub|, then
+ in order for the |smglom/calculus|-archive to be found by the
+ \sTeX system, it needs to be in |/user/foo/MathHub/smglom/calculus|.
+
+ Each such archive needs two subdirectories:
+ \begin{itemize}
+ \item |/source| -- this is where all your tex files go.
+ \item |/META-INF| -- a directory containing a single file
+ |MANIFEST.MF|, the content of which we will consider shortly
+ \end{itemize}
+ An additional |lib|-directory is optional, and is where \sTeX will
+ look for files included via |\libinput|.
+
+ Additionally a \emph{group} of archives |group/name| may have
+ an additional archive |group/meta-inf|. If this |meta-inf|-archive
+ has a |/lib|-subdirectory, it too will be searched by |\libinput|
+ from all tex files in any archive in the |group/*|-group.
+\end{sfragment}
+
+\begin{sfragment}{MANIFEST.MF-Files}
+ The |MANIFEST.MF| in the |META-INF|-directory consists of
+ key-value-pairs, instructing \sTeX (and associated software)
+ of various properties of an archive. For example,
+ the |MANIFEST.MF| of the |smglom/calculus|-archive looks like this:
+
+ \begin{framed}
+ \begin{verbatim}
+ id: smglom/calculus
+ source-base: http://mathhub.info/smglom/calculus
+ narration-base: http://mathhub.info/smglom/calculus
+ dependencies: smglom/arithmetics,smglom/sets,smglom/topology,
+ smglom/mv,smglom/linear-algebra,smglom/algebra
+ responsible: Michael.Kohlhase@FAU.de
+ title: Elementary Calculus
+ teaser: Terminology for the mathematical study of change.
+ description: desc.html
+ \end{verbatim}
+ \end{framed}
+
+ Many of these are in fact ignored by \sTeX, but some are important:
+ \begin{itemize}
+ \item[|id|:] The name of the archive, including its group (e.g. |smglom/calculus|),
+ \item[|source-base|] or
+ \item[|ns|:] The namespace from which all symbol and module URIs
+ in this repository are formed, see (\textcolor{red}{TODO}),
+ \item[|narration-base:|] The namespace from which all document
+ URIs in this repository are formed, see (\textcolor{red}{TODO}),
+ \item[|url-base|:] The URL that is formed as a basis for \emph{external references},
+ see (\textcolor{red}{TODO}),
+ \item[|dependencies|:] All archives that this archive depends on. \sTeX ignores
+ this field, but \mmt can pick up on them to resolve dependencies,
+ e.g. for |lmh install|.
+ \end{itemize}
+
+\end{sfragment} \ No newline at end of file
diff --git a/macros/latex/contrib/stex/doc/packages/metatheory.tex b/macros/latex/contrib/stex/doc/packages/metatheory.tex
new file mode 100644
index 0000000000..1585ba504c
--- /dev/null
+++ b/macros/latex/contrib/stex/doc/packages/metatheory.tex
@@ -0,0 +1 @@
+\textcolor{red}{TODO: metatheory documentation} \ No newline at end of file
diff --git a/macros/latex/contrib/stex/doc/packages/modules.tex b/macros/latex/contrib/stex/doc/packages/modules.tex
new file mode 100644
index 0000000000..c067f28a1c
--- /dev/null
+++ b/macros/latex/contrib/stex/doc/packages/modules.tex
@@ -0,0 +1 @@
+\textcolor{red}{TODO: modules documentation} \ No newline at end of file
diff --git a/macros/latex/contrib/stex/doc/packages/problem.tex b/macros/latex/contrib/stex/doc/packages/problem.tex
new file mode 100644
index 0000000000..1ce5aaa3a2
--- /dev/null
+++ b/macros/latex/contrib/stex/doc/packages/problem.tex
@@ -0,0 +1 @@
+\textcolor{red}{TODO: problem documentation} \ No newline at end of file
diff --git a/macros/latex/contrib/stex/doc/packages/references.tex b/macros/latex/contrib/stex/doc/packages/references.tex
new file mode 100644
index 0000000000..bf8a8ed66c
--- /dev/null
+++ b/macros/latex/contrib/stex/doc/packages/references.tex
@@ -0,0 +1 @@
+\textcolor{red}{TODO: references documentation} \ No newline at end of file
diff --git a/macros/latex/contrib/stex/doc/packages/slides.tex b/macros/latex/contrib/stex/doc/packages/slides.tex
new file mode 100644
index 0000000000..1f9d0c989d
--- /dev/null
+++ b/macros/latex/contrib/stex/doc/packages/slides.tex
@@ -0,0 +1 @@
+\textcolor{red}{TODO: notesslides documentation} \ No newline at end of file
diff --git a/macros/latex/contrib/stex/doc/packages/sproofs.tex b/macros/latex/contrib/stex/doc/packages/sproofs.tex
new file mode 100644
index 0000000000..0523c65948
--- /dev/null
+++ b/macros/latex/contrib/stex/doc/packages/sproofs.tex
@@ -0,0 +1 @@
+\textcolor{red}{TODO: sproofs documentation} \ No newline at end of file
diff --git a/macros/latex/contrib/stex/doc/packages/statements.tex b/macros/latex/contrib/stex/doc/packages/statements.tex
new file mode 100644
index 0000000000..aa9f5f76ab
--- /dev/null
+++ b/macros/latex/contrib/stex/doc/packages/statements.tex
@@ -0,0 +1 @@
+\textcolor{red}{TODO: statements documentation} \ No newline at end of file
diff --git a/macros/latex/contrib/stex/doc/packages/symbols.tex b/macros/latex/contrib/stex/doc/packages/symbols.tex
new file mode 100644
index 0000000000..50b450a248
--- /dev/null
+++ b/macros/latex/contrib/stex/doc/packages/symbols.tex
@@ -0,0 +1 @@
+\textcolor{red}{TODO: symbols documentation} \ No newline at end of file
diff --git a/macros/latex/contrib/stex/doc/packages/terms.tex b/macros/latex/contrib/stex/doc/packages/terms.tex
new file mode 100644
index 0000000000..cc67ce0c7f
--- /dev/null
+++ b/macros/latex/contrib/stex/doc/packages/terms.tex
@@ -0,0 +1 @@
+\textcolor{red}{TODO: terms documentation} \ No newline at end of file
diff --git a/macros/latex/contrib/stex/doc/packages/tikzinput.tex b/macros/latex/contrib/stex/doc/packages/tikzinput.tex
new file mode 100644
index 0000000000..fb7d0c1e5b
--- /dev/null
+++ b/macros/latex/contrib/stex/doc/packages/tikzinput.tex
@@ -0,0 +1 @@
+\textcolor{red}{TODO: tikzinput documentation} \ No newline at end of file