diff options
Diffstat (limited to 'Master/texmf-dist/source/latex/faktor/faktor.dtx')
| -rw-r--r-- | Master/texmf-dist/source/latex/faktor/faktor.dtx | 223 |
1 files changed, 223 insertions, 0 deletions
diff --git a/Master/texmf-dist/source/latex/faktor/faktor.dtx b/Master/texmf-dist/source/latex/faktor/faktor.dtx new file mode 100644 index 00000000000..54cffd7d521 --- /dev/null +++ b/Master/texmf-dist/source/latex/faktor/faktor.dtx @@ -0,0 +1,223 @@ +% \iffalse meta-comment +% +%% (C) 2006 Paul Ebermann +%% +%% Package faktor - Faktorringe, -gruppen, -räume +%% +%% Die Datei faktor.dtx sowie die dazugehörige +%% faktor.ins sowie die damit generierte +%% faktor.sty stehen unter der +%% "LaTeX Project Public License" (LPPL, zu finden +%% unter http://www.latex-project.org/lppl/, sowie +%% auch in den meisten TeX-Distributionen in +%% texmf/docs/latex/base/lppl*.txt), Version 1.3b oder +%% später (nach Wahl des Verwenders). +%% +%% Der 'maintenance-status' ist (zur Zeit) 'author-maintained'. +%% +%% Das heißt u.a., die Dateien dürfen frei vertrieben werden, +%% bei Änderungen (durch andere Personen als Paul Ebermann) +%% ist aber der Name der Datei zu ändern. +% \fi +% +% \iffalse +%<package>\NeedsTeXFormat{LaTeX2e}[2003/12/01] +%<package>\ProvidesPackage{faktor} +%<package> [2006/04/05 v0.1b Faktor-Ringe, -Gruppen, -Raeume (PE)] +% +%<*driver> +\documentclass[draft,ngerman]{ltxdoc} +\usepackage{faktor} +\usepackage{amssymb} +\usepackage{pauldoc} +\begin{document} + \DocInput{faktor.dtx} +\end{document} +%</driver> +% \fi +% +% \CheckSum{29} +% +% +% \changes{v0.1}{2006/02/12}{Erste Fassung als .DTX} +% \changes{v0.1a}{2006/03/23}{Lizenzbestimmungen im Quelltext präzisiert.} +% \changes{v0.1b}{2006/04/05}{Tippfehler in der Dokumentation beseitigt.} +% +% \GetFileInfo{faktor.sty} +% +% \DoNotIndex{\DeclareRobustCommand,\endinput,\ensuremath} +% \DoNotIndex{\newcommand,\newlength} +% +% \title{Das \pack{faktor}-Package -- Faktor-Ringe, -Gruppen, -Räume\thanks{% +% Dieses Dokument gehört zu \pack{faktor}~\fileversion, +% vom~\filedate.}} +% \author{Paul Ebermann\thanks{\texttt{Paul-Ebermann@gmx.de}}} +% +% \maketitle +% \begin{abstract} +% In der Algebra, der Topologie, etc. tauchen gelegentlich +% Faktorstrukturen auf -- etwa Faktormengen, Faktorgruppen, Faktorringe, +% Faktorräume. Diese haben alle eine ähnliche Notation: +% ${\faktor{A}{B}}$. Bisher konnte man dies in \LaTeX{} nicht vernünftig +% setzen, dieses Paket schafft Abhilfe. +% \end{abstract} +% \tableofcontents +% +% \section{Benutzerdoku} +% +% +% \subsection{Anwendung} +% +% Um das Paket zu laden, verwendet man wie üblich +%\begin{verbatim} +% \usepackage{faktor} +%\end{verbatim} +% Package-Optionen gibt es bisher nicht. +% +% \DescribeMacro{\faktor} +% Das namensgebende (und zur Zeit einzige) Makro ist '\faktor'. +% Es funktioniert nur im mathematischen Modus. +%\begin{quote} +% '\faktor'\oarg{stylecmd}\marg{zähler}\marg{nenner} +%\end{quote} +% \meta{zähler} und \meta{nenner} sollten jeweils Formeln für den +% mathematischen Modus sein. Dieses Makro setzt dann ein Faktor-Objekt, +% also "`\meta{zähler} faktorisiert nach \meta{nenner}"'. Im Effekt wird +% dabei ein $\diagup$ auf natürlicher Höhe gemalt, links daneben +% (höhergesetzt) \meta{nenner}, rechts daneben (tiefergesetzt) \meta{zähler}. +% +% Falls \meta{stylecmd} angegeben wurde, wird es auf \meta{zähler} und \meta{nenner} jeweils +% bei der Ausgabe angewandt -- dies könnte also etwa ein Kommando sein, +% um Schriftart o.ä. zu ändern. +% +% \subsubsection{Beispiel} +%\begin{verbatim} +% $$\faktor{\sum_{i=1}^n k[X]}{\sum_{i=1}^n k[X] \cdot \theta_i}$$ +%\end{verbatim} +% ergibt: +% $$\faktor{\sum_{i=1}^n k[X]}{\sum_{i=1}^n k[X] \cdot \theta_i}$$ +% +% \subsection{Abhängigkeiten} +% \DescribeMacro{\diagup} +% Dieses Package verwendet das Zeichen '\diagup' ($\diagup$) aus dem +% \pack{amssymb}-Paket -- wenn dieses nicht definiert ist, gibt es also +% einen Fehler, sobald '\faktor' verwendet wird. Daher sollte dieses Paket +% nur gemeinsam mit \pack{amssymb} oder einem anderen Paket, welches ein +% gleich benanntes und ähnlich funktionierendes Zeichen zur Verfügung +% stellt, verwendet werden. Notfalls kann man dieses Zeichen auch einzeln +% laden (eine Anleitung dafür findet man in der Dokumentation von +% \pack{amsfonts}), oder als 'picture' simulieren. +% +% \StopEventually{\PrintChanges\PrintIndex} +% +% \CharacterTable +% {Upper-case \A\B\C\D\E\F\G\H\I\J\K\L\M\N\O\P\Q\R\S\T\U\V\W\X\Y\Z +% Lower-case \a\b\c\d\e\f\g\h\i\j\k\l\m\n\o\p\q\r\s\t\u\v\w\x\y\z +% Digits \0\1\2\3\4\5\6\7\8\9 +% Exclamation \! Double quote \" Hash (number) \# +% Dollar \$ Percent \% Ampersand \& +% Acute accent \' Left paren \( Right paren \) +% Asterisk \* Plus \+ Comma \, +% Minus \- Point \. Solidus \/ +% Colon \: Semicolon \; Less than \< +% Equals \= Greater than \> Question mark \? +% Commercial at \@ Left bracket \[ Backslash \\ +% Right bracket \] Circumflex \^ Underscore \_ +% Grave accent \` Left brace \{ Vertical bar \| +% Right brace \} Tilde \~} +% +% \section{Implementation} +% Die Implementation ist ähnlich zu der des \pack{nicefrac}-Paketes, +% allerdings etwas vereinfacht, weil wir ja nichts verkleinern wollen. +% +% \begin{macrocode} +%<*package> +% \end{macrocode} +% \begin{macro}{\faktor@zaehlerhoehe} +% \begin{macro}{\faktor@nennerhoehe} +% In diesen beiden Registern speichern wir +% nachher die Höhen von "`Zähler"' und "`Nenner"' +% (d.h. Grundobjekt und faktorisierendes Objekt). +% \begin{macrocode} +\newlength{\faktor@zaehlerhoehe} +\newlength{\faktor@nennerhoehe} +% \end{macrocode} +% \end{macro} +% \end{macro} +% \begin{macro}{\faktor} +% \changes{v0.1}{2006/02/12}{Jetzt Berücksichtigung des Mathe-Stils.} +% Der erste Parameter ist optional, vorgabemäßig leer. '\faktor' ruft '\faktor@impl@' auf, +% und gibt mittels '\mathpalette', je nach aktuellem Mathe-Stil, das Kommando, um in +% diesen Stil zu wechseln (also '\displaystyle', '\textstyle', \dots), mit. Die +% '{}' drumherum sorgen dafür, dass das ganze +% als ein einziges Objekt gewertet wird, an das man z.B. Sub- und +% Superscript anhängen kann. (Außerdem haben wir eine Gruppe, d.h. die +% Zuweisungen zu '\faktor@zaehlerhoehe' und '\faktor@nennerhoehe' +% bleiben lokal. +% \begin{macrocode} +\DeclareRobustCommand*{\faktor}[3][] +{ + { \mathpalette{\faktor@impl@}{{#1}{#2}{#3}} } +} +% \end{macrocode} +% \end{macro} +% \begin{macro}{\faktor@impl@} +% Dieses Hilfsmakro entsorgt einfach nur die +% zusätzlichen Klammern, welche von '\mathpalette' um '#2' +% eingefügt wurden, damit '\faktor@impl' vier Argumente +% und nicht nur zwei bekommt. +% \begin{macrocode} +\newcommand*{\faktor@impl@}[2]{\faktor@impl#1#2} +% \end{macrocode} +% \end{macro} +% \begin{macro}{\faktor@impl}\noindent\marg{modeCmd}\marg{zusatz}\marg{zähler}\marg{nenner} +% +% '\faktor@impl' macht die eigentliche Arbeit. +% Es ermittelt zunächst Höhen von \meta{zähler} und \meta{nenner} +% (abhängig von \meta{modeCmd} und \meta{zusatz}). +% \begin{macrocode} +\newcommand*{\faktor@impl}[4]{ + \settoheight{\faktor@zaehlerhoehe}{\ensuremath{#1#2{#3}}}% + \settoheight{\faktor@nennerhoehe}{\ensuremath{#1#2{#4}}}% +% \end{macrocode} +% Dann wird, um die Hälfte seiner Höhe nach oben geschoben, +% \emph{zähler} gesetzt. +% \begin{macrocode} + \raisebox{0.5\faktor@zaehlerhoehe}{\ensuremath{#1#2{#3}}}% +% \end{macrocode} +% Jetzt kommt eine negativer horizontaler Abstand, der diagonale +% Strich, dann noch ein negativer horizontaler Abstand, um das +% ganze etwas zusammenzurücken. +% \begin{macrocode} + \mkern-5mu\diagup\mkern-4mu% +% \end{macrocode} +% Schließlich kommt \meta{nenner}, um die Hälfte seiner Höhe nach unten geschoben. +% \begin{macrocode} + \raisebox{-0.5\faktor@nennerhoehe}{\ensuremath{#1#2{#4}}}% +} +% \end{macrocode} +% \end{macro} +% Das war es. +% \begin{macrocode} +\endinput +%</package> +% \end{macrocode} +% +% \section{Bug} +% Beim höher- und tiefersetzen von Zähler und Nenner +% wird jeweils nur die \emph{Höhe} des Objektes berücksichtigt, +% nicht die Tiefe (d.h. Unterlängen). +% Dadurch (?) kommt es bei größeren Brüchen gelegentlich zu +% etwas komischem Aussehen: +% $$ \faktor{\faktor{a}{b}}{\faktor{b}{c}}$$ +% +% \Finale +%\endinput + + +%%% Folgendes ist nur für meinen Editor. +%%% +%%% Local Variables: +%%% mode: latex +%%% TeX-master: t +%%% End: |