diff options
Diffstat (limited to 'Master/texmf-dist/tex/latex/galois/galois.sty')
-rw-r--r-- | Master/texmf-dist/tex/latex/galois/galois.sty | 63 |
1 files changed, 39 insertions, 24 deletions
diff --git a/Master/texmf-dist/tex/latex/galois/galois.sty b/Master/texmf-dist/tex/latex/galois/galois.sty index 61ae2847635..cebe8a2bd75 100644 --- a/Master/texmf-dist/tex/latex/galois/galois.sty +++ b/Master/texmf-dist/tex/latex/galois/galois.sty @@ -11,8 +11,8 @@ %% distribution. Either version 1.0 or, at your option, any later %% version. %% -\def\fileversion{1.04} -\def\filedate{1999/05/01} +\def\fileversion{1.05} +\def\filedate{2005/03/19} %% \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 @@ -31,16 +31,26 @@ %% %% %% Source File: galois.dtx -%% Copyright 1994 1998 1999 Patrick.Cousot@ens.fr +%% Copyright 1994 1998 1999 2006 Patrick.Cousot@ens.fr %% \NeedsTeXFormat{LaTeX2e} \ProvidesPackage{galois} [\filedate\space v\fileversion, Galois connections, Patrick.Cousot@ens.fr] +\DeclareOption{color}{% + \def\@GALOIScolor{\color}} +\ProcessOptions +\ifx\@GALOIScolor\undefined +\def\@GALOIScolor#1{\relax}% +\else +\RequirePackage{color}% +\fi \@ifundefined{comp}{% -\newcommand{\comp}{\mathchoice{\mathrel{\raisebox{0.2ex}{$\scriptstyle\circ$}}}% -{\mathrel{\raisebox{0.2ex}{$\scriptstyle\circ$}}}% -{\mathrel{\raisebox{0.1ex}{$\scriptscriptstyle\circ$}}}% -{\mathrel{\raisebox{0.1ex}{$\scriptscriptstyle\circ$}}}}% +\newcommand{\comp}{\@ifnextchar[{\@GALOIScomp}{\@GALOIScomp[black]}}% +\def\@GALOIScomp[#1]{\mathchoice +{\mathrel{\raisebox{0.2ex}{$\@GALOIScolor{#1}\scriptstyle\circ$}}}% +{\mathrel{\raisebox{0.2ex}{$\@GALOIScolor{#1}\scriptstyle\circ$}}}% +{\mathrel{\raisebox{0.1ex}{$\@GALOIScolor{#1}\scriptscriptstyle\circ$}}}% +{\mathrel{\raisebox{0.1ex}{$\@GALOIScolor{#1}\scriptscriptstyle\circ$}}}}% }{}% \newcommand{\GaloisStyle}{\scriptstyle}% \newcommand{\GaloisArrowThickness}{0.1ex}% @@ -66,12 +76,15 @@ \def\@GALOISleftarrowfill#1{$\m@th \mathord{#1} \mkern-7mu% \cleaders\hbox{$\mkern-2mu \smash- \mkern-2mu$}\hfill% \mkern-7mu \smash-$}% -\def\@GALOIS#1#2#3#4{% +\def\@GALOIS#1#2{\@ifnextchar[{\@GALOISca{#1}{#2}}{\@GALOISca{#1}{#2}[black]}}% +\def\@GALOISca#1#2[#3]#4{\@ifnextchar[{\@GALOIScacg{#1}{#2}[#3]{#4}}% + {\@GALOIScacg{#1}{#2}[#3]{#4}[black]}}% +\def\@GALOIScacg#1#2[#3]#4[#5]#6{% \ensuremath{\mathrel{% -\def\@GALOISalphatag{\ $\GaloisStyle#1$\ }% -\def\@GALOISgammatag{\ $\GaloisStyle#2$\ }% -\settowidth{\@GALOISalphaarrowwidth}{$\mathord{#3}$}% -\settowidth{\@GALOISgammaarrowwidth}{$\mathord{#4}$}% +\def\@GALOISalphatag{\ $\@GALOIScolor{#3}\GaloisStyle#4$\ }% +\def\@GALOISgammatag{\ $\@GALOIScolor{#5}\GaloisStyle#6$\ }% +\settowidth{\@GALOISalphaarrowwidth}{$\mathord{#1}$}% +\settowidth{\@GALOISgammaarrowwidth}{$\mathord{#2}$}% \ifdim\@GALOISalphaarrowwidth>\@GALOISgammaarrowwidth% \settowidth{\@tempdima}{\hbox{\hspace*{\@GALOISalphaarrowwidth}\@GALOISalphatag}}% \settowidth{\@tempdimb}{\hbox{\hspace*{\@GALOISalphaarrowwidth}\@GALOISgammatag}}% @@ -84,14 +97,16 @@ \else% \setlength{\@GALOISwidth}{\@tempdimb}% \fi% -\def\@GALOISrightarrow{\hbox to\@GALOISwidth{\@GALOISrightarrowfill{#3}}}% -\def\@GALOISleftarrow{\hbox to\@GALOISwidth{\@GALOISleftarrowfill{#4}}}% -\settodepth{\@GALOISalphaarrowhalfheight}{$\mathord{#3}$}% -\settoheight{\@tempdima}{$\mathord{#3}$}% +\def\@GALOISrightarrow{\hbox to\@GALOISwidth +{\@GALOIScolor{#3}\@GALOISrightarrowfill{#1}}}% +\def\@GALOISleftarrow{\hbox to\@GALOISwidth +{\@GALOIScolor{#5}\@GALOISleftarrowfill{#2}}}% +\settodepth{\@GALOISalphaarrowhalfheight}{$\mathord{#1}$}% +\settoheight{\@tempdima}{$\mathord{#1}$}% \addtolength{\@GALOISalphaarrowhalfheight}{\@tempdima}% \divide \@GALOISalphaarrowhalfheight by 2% -\settodepth{\@GALOISgammaarrowhalfheight}{$\mathord{#4}$}% -\settoheight{\@tempdima}{$\mathord{#4}$}% +\settodepth{\@GALOISgammaarrowhalfheight}{$\mathord{#2}$}% +\settoheight{\@tempdima}{$\mathord{#2}$}% \addtolength{\@GALOISgammaarrowhalfheight}{\@tempdima}% \divide \@GALOISgammaarrowhalfheight by 2% \ifdim\@GALOISalphaarrowhalfheight>\@GALOISgammaarrowhalfheight% @@ -108,7 +123,7 @@ \setlength{\@GALOISdepth}{\@GALOISalphadepth}% \addtolength{\@GALOISdepth}{\@GALOISalphaheight}% \addtolength{\@GALOISdepth}{\GaloisArrowTagSep}% -\addtolength{\@GALOISdepth}{-\GaloisArrowThickness }% lift from the stem thickness +\addtolength{\@GALOISdepth}{-\GaloisArrowThickness }% \setlength{\@GALOISheight}{\@GALOISGap}% \addtolength{\@GALOISheight}{\GaloisArrowTagSep}% \addtolength{\@GALOISheight}{\@GALOISgammadepth}% @@ -137,18 +152,18 @@ \rule[-\@GALOISdepth]{0pt}{\@GALOIStotalheight}% set depth and height \hspace*{\@GALOISwidth}% set width }}}% -\newcommand{\galois}[2]{\@GALOIS{#1}{#2}{\rightarrow}{\leftarrow}}% +\newcommand{\galois}{\@GALOIS{\rightarrow}{\leftarrow}}% \def\@GALOISmytwoheadrightarrow{\rlap{$\:\,{\rightarrow}$}{\longrightarrow}}% \def\@GALOIStwoheadrightarrow{\protect\@GALOISmytwoheadrightarrow}% -\newcommand{\galoiS}[2]{\@GALOIS{#1}{#2}{\@GALOIStwoheadrightarrow}{\leftarrow}}% +\newcommand{\galoiS}{\@GALOIS{\@GALOIStwoheadrightarrow}{\leftarrow}}% \def\@GALOISmytwoheadrightarrowreduc{\rlap{\smash{\hskip1ex\raisebox{0.815ex}% {\tiny$\equiv$}}}\rlap{$\:\,{\rightarrow}$}{\longrightarrow}}% \def\@GALOIStwoheadrightarrowreduc{\protect\@GALOISmytwoheadrightarrowreduc}% -\newcommand{\galoiSr}[2]{\@GALOIS{#1}{#2}{\@GALOIStwoheadrightarrowreduc}{\leftarrow}}% +\newcommand{\galoiSr}{\@GALOIS{\@GALOIStwoheadrightarrowreduc}{\leftarrow}}% \def\@GALOISmytwoheadleftarrow{\rlap{$\:{\leftarrow}$}{\longleftarrow}}% \def\@GALOIStwoheadleftarrow{\protect\@GALOISmytwoheadleftarrow}% -\newcommand{\Galois}[2]{\@GALOIS{#1}{#2}{\rightarrow}{\@GALOIStwoheadleftarrow}}% -\newcommand{\GaloiS}[2]{\@GALOIS{#1}{#2}% +\newcommand{\Galois}{\@GALOIS{\rightarrow}{\@GALOIStwoheadleftarrow}}% +\newcommand{\GaloiS}{\@GALOIS% {\@GALOIStwoheadrightarrow}{\@GALOISmytwoheadleftarrow}}% \endinput %% |