From c8e15b68086c7c9b6fdfb816b8fe1c8e020a9989 Mon Sep 17 00:00:00 2001 From: Karl Berry Date: Mon, 6 Jun 2016 23:08:53 +0000 Subject: linop (6jun16) git-svn-id: svn://tug.org/texlive/trunk@41304 c570f23f-e606-0410-a88d-b1316a301751 --- Master/texmf-dist/doc/latex/linop/README.md | 25 +++ Master/texmf-dist/doc/latex/linop/compact.png | Bin 0 -> 36189 bytes Master/texmf-dist/doc/latex/linop/linop.pdf | Bin 0 -> 203663 bytes Master/texmf-dist/doc/latex/linop/linop.tex | 272 +++++++++++++++++++++++ Master/texmf-dist/tex/latex/linop/linop.sty | 99 +++++++++ Master/tlpkg/bin/tlpkg-ctan-check | 2 +- Master/tlpkg/tlpsrc/collection-latexextra.tlpsrc | 1 + Master/tlpkg/tlpsrc/linop.tlpsrc | 0 8 files changed, 398 insertions(+), 1 deletion(-) create mode 100644 Master/texmf-dist/doc/latex/linop/README.md create mode 100644 Master/texmf-dist/doc/latex/linop/compact.png create mode 100644 Master/texmf-dist/doc/latex/linop/linop.pdf create mode 100644 Master/texmf-dist/doc/latex/linop/linop.tex create mode 100644 Master/texmf-dist/tex/latex/linop/linop.sty create mode 100644 Master/tlpkg/tlpsrc/linop.tlpsrc (limited to 'Master') diff --git a/Master/texmf-dist/doc/latex/linop/README.md b/Master/texmf-dist/doc/latex/linop/README.md new file mode 100644 index 00000000000..aed302e5682 --- /dev/null +++ b/Master/texmf-dist/doc/latex/linop/README.md @@ -0,0 +1,25 @@ +%% linop.sty +%% Copyright 2016 Johannes Weytjens +% +% This work may be distributed and/or modified under the +% conditions of the LaTeX Project Public License, either version 1.3 +% of this license or (at your option) any later version. +% The latest version of this license is in +% http://www.latex-project.org/lppl.txt +% and version 1.3 or later is part of all distributions of LaTeX +% version 2005/12/01 or later. +% +% This work has the LPPL maintenance status `maintained'. +% +% The Current Maintainer of this work is Johannes Weytjens +% +% This work consists of the file linop.sty + +Linop +----- +Version: 0.1 +Last revision: June 6, 2016 +Created by: Johannes Weytjens +Email: johannes.weytjens@nietsissimpel.org + +Linop is a small package that aims to provide two simple commands and many options to easily write linear operators, as they appear in many-body physics, quantum theory and linear algebra, in any of the ways they commonly appear. diff --git a/Master/texmf-dist/doc/latex/linop/compact.png b/Master/texmf-dist/doc/latex/linop/compact.png new file mode 100644 index 00000000000..177dad73f6e Binary files /dev/null and b/Master/texmf-dist/doc/latex/linop/compact.png differ diff --git a/Master/texmf-dist/doc/latex/linop/linop.pdf b/Master/texmf-dist/doc/latex/linop/linop.pdf new file mode 100644 index 00000000000..787e54af35f Binary files /dev/null and b/Master/texmf-dist/doc/latex/linop/linop.pdf differ diff --git a/Master/texmf-dist/doc/latex/linop/linop.tex b/Master/texmf-dist/doc/latex/linop/linop.tex new file mode 100644 index 00000000000..74316468962 --- /dev/null +++ b/Master/texmf-dist/doc/latex/linop/linop.tex @@ -0,0 +1,272 @@ +%% linop.sty +%% Copyright 2016 Johannes Weytjens +% +% This work may be distributed and/or modified under the +% conditions of the LaTeX Project Public License, either version 1.3 +% of this license or (at your option) any later version. +% The latest version of this license is in +% http://www.latex-project.org/lppl.txt +% and version 1.3 or later is part of all distributions of LaTeX +% version 2005/12/01 or later. +% +% This work has the LPPL maintenance status `maintained'. +% +% The Current Maintainer of this work is Johannes Weytjens +% +% This work consists of the file linop.sty + +\documentclass[10pt]{article} + +% layout +\usepackage[T1]{fontenc} +\usepackage[utf8]{inputenc} +\usepackage[a4paper]{geometry} +\usepackage[english]{babel} +\usepackage[tracking=true,kerning=true,factor=1250]{microtype} +\usepackage[compact]{titlesec} +\usepackage{tocloft} +\usepackage[charter,expert]{mathdesign} +\usepackage[scaled=0.96]{XCharter} +\usepackage{linop} +\usepackage{parskip} +\usepackage{float} +\usepackage{xparse} +\usepackage{fancyvrb} +\usepackage{booktabs} +\usepackage{graphicx} +\usepackage{caption} +\usepackage{cprotect} +\usepackage[hang]{footmisc} + +% math +\usepackage{bm} + +% titlesec +\titleformat{\section}[hang]{\scshape\Large}{\thesection.}{1ex}{} +\titleformat{\subsection}[hang]{\scshape\large}{\thesubsection.}{0.5ex}{} +\titleformat{\subsubsection}[hang]{\scshape}{\thesubsubsection.}{0.25ex}{} + +% tableofcontents +\setcounter{tocdepth}{1} +\renewcommand{\cfttoctitlefont}{\Large\scshape} +\renewcommand{\cftsecfont}{\scshape} +\renewcommand{\cftsecpagefont}{\large} + +% footmisc +\setlength{\footnotemargin}{1em} + +% distance between columns in a table +\setlength{\tabcolsep}{20pt} + +% caption +\DeclareCaptionFormat{center}{{\centerline{#1#2}\\}#3} +\captionsetup{font={small},labelfont=sc,width=0.8\textwidth,format=center,labelsep=none,justification=justified} + +% microtype +\SetTracking{encoding={*}, shape=sc}{0} % small caps are correctly typeset +% protrusion for footnotes +\DeclareMicrotypeSet{textandfootnote}{% + encoding = {OT1,T1}, + family = {*}, + size = {normalsize,footnotesize,small,large,Large,scriptsize}, + font = {*} +} + +% PDF (metadata) +\usepackage{hyperref} +\hypersetup{ + pdfauthor = {Johannes Weytjens}, + pdftitle = {The linop package v0.1}, + pdfcreator = {LaTeX} +} + +\title{The \texttt{linop} package v0.1} +\author{Johannes Weytjens \\ \href{johannes.weytjens@nietsissimpel.org}{johannes.weytjens@nietsissimpel.org}} + +\begin{document} +\maketitle + +\tableofcontents + +\section{Introduction} +There exist already many packages to help you typeset common and less common mathematical notation with ease. Yet, to the best of my knowledge, there does not yet exist a package that provides an easy way to typeset operators as they appear for example in many body physics, quantum (field) theory or linear algebra. The aim of this package is to provide two simple commands and many options to easily write operators in any of the ways they commonly appear. + +Besides providing easy to use macros, this package also ensures consistent spacing for subscript and superscript. To illustrate this point, compare the normal way for typesetting operators with the macros provided by this package. + +\begin{table}[ht] + \centering + \begin{tabular}{ll} + \verb|\hat{a}_{in}\hat{a}_{in}^{\dagger}| & $\hat{a}_{in}\hat{a}_{in}^{\dagger}$ \\ + \verb|\op{a}{in}\hc{a}{in}| & $\op{a}{in}\hc{a}{in}$ + \end{tabular} +\end{table} + +Typesetting the \verb|\dagger| and a subscript simultaneously pushes the subscript down, this is no longer the case with the here defined macros. + +\subsection{Required packages} +As these are simple macros, you only need the \texttt{xparse} package. + +\newpage +\section{List of commands} +The two macros defined in this package are \verb|\op| and \verb|\hc| as well as their starred versions. + +\begin{Verbatim}[commandchars=\&\"\!] + \op[&rmfamily&itshape"superscript spacing!&ttfamily]{&rmfamily&itshape"operator!&ttfamily}{&rmfamily&itshape"subscript!&ttfamily}{&rmfamily&itshape"superscript!&ttfamily}{&rmfamily&itshape"supersuperscript!&ttfamily} + \hc[&rmfamily&itshape"superscript spacing!&ttfamily]{&rmfamily&itshape"operator!&ttfamily}{&rmfamily&itshape"subscript!&ttfamily}{&rmfamily&itshape"superscript!&ttfamily}{&rmfamily&itshape"supersuperscript!&ttfamily} +\end{Verbatim} + +These macros typeset an operator and the Hermitian conjugate respectively. Only the \emph{operator} argument is mandatory, all other arguments can either be empty or be skipped entirely if no subscript or superscript is desired. The optional argument \emph{superscript spacing} only applies to the starred versions. Supersuperscripts are implemented to distinguish between e.g.\ the order in some expansion and the square of the operator. + +\begin{table}[H] + \centering + \begin{tabular}{ll} + \verb|\op{a}{in}{0}| & $\op{a}{in}{0}$ \\ + \verb|\op{a}{}{(1)}{2}| & $\op{a}{}{(1)}{2}$ \\ + \verb|\hc{b}{out}{0}| & $\hc{b}{out}{0}$ \\ + \verb|\hc{b}{out}{}{2}| & $\hc{b}{out}{}{2}$ + \end{tabular} +\end{table} + +The defaults style is to typeset all operators with a hat. The none starred versions use \verb|\hat| and are only appropriate for single symbol operators. The starred version use \verb|\widehat| which scales with the width of the operator and can therefore be used for wider symbols. The \verb|\widehat| often overlaps with the superscripts however, so the starred version insert a \verb|\>| before the superscripts and a \verb|\:| for the Hermitian conjugate superscript. Controling the spacing of the superscript for individual operators can be done with the optional \emph{superscript spacing} argument. + +\begin{table}[H] + \centering + \begin{tabular}{ll} + \verb|\op*{A}{in}{0}| & $\op*{A}{in}{0}$ \\ + \verb|\hc*{ab}{out}| & $\hc*{ab}{out}$ \\ + \verb|\hc*[\kern4pt]{\mathcal{L}}| & $\hc*[\kern4pt]{\mathcal{L}}$ + \end{tabular} +\end{table} + + +\section{List of options} +\subsection{bold} +Some prefer to use bold letters for operators instead of hats. This can be achieved by using the \texttt{bold} option when loading the package. When using this option, the starred versions will produce the same result as the none starred versions. + +\renewcommand{\linopstyle}{\mathbf} +\renewcommand{\linopstylewide}{\linopstyle} + +\begin{table}[H] + \centering + \begin{tabular}{ll} + \verb|\op{a}{in}{0}| & $\op{a}{in}{0}$ \\ + \verb|\hc{b}{out}| & $\hc{b}{out}$ + \end{tabular} +\end{table} + +\subsection{bmbold} +The \texttt{bmbold} option achieves the same effect as bold, but instead uses the bold math font provided by the \texttt{bm} package. + +\renewcommand{\linopstyle}{\bm} + +\begin{table}[H] + \centering + \begin{tabular}{ll} + \verb|\op{a}{in}{0}| & $\op{a}{in}{0}$ \\ + \verb|\hc{b}{out}| & $\hc{b}{out}$ + \end{tabular} +\end{table} + +\subsection{nohat} +The option \texttt{nohat} typesets the operators without a \verb|\hat|. This also applies to the starred versions. + +\renewcommand{\linopstyle}{} + +\begin{table}[H] + \centering + \begin{tabular}{ll} + \verb|\op{a}{in}{0}| & $\op{a}{in}{0}$ \\ + \verb|\hc{b}{out}| & $\hc{b}{out}$ + \end{tabular} +\end{table} + +\subsection{wide} + +\renewcommand{\linopstyle}{\hat} +With the wide option, all operators will use \verb|\widehat|, regardless of whether you're using the starred or non starred versions. + +\subsection{star} + +\renewcommand{\linopconjugate}{*} + +The \texttt{star} options typesets the Hermitian conjugate with a star instead of a dagger. + +\begin{table}[H] + \centering + \begin{tabular}{ll} + \verb|\hc{b}{out}| & $\hc{b}{out}$ + \end{tabular} +\end{table} + + + +\subsection{compact} +The consistent spacing is provided by using \verb|\mathstrut| in both the subscript and superscript. As the misalignment is caused by using a \verb|\dagger| in the superscript, the same effect can be achieved by using a \verb|\phantom{\dagger}| in the superscript of the non Hermitian conjugated operator. This turns out to be slightly more compact than using \verb|\mathstrut|, though the effect is minimal\cprotect\footnote{This is because \verb|\mathstrut| is defined as \verb|\def\mathstrut{\vphantom(}| and \verb|(| turns out be slightly larger than \verb|\dagger|.}. + +\renewcommand{\linopconjugate}{\dagger} + +\begin{table}[H] + \centering + \begin{tabular}{lll} + \verb|\op{a}{in}\hc{a}{in}| & $\op{a}{in}\hc{a}{in}$ & using \verb|\mathstrut| \\ + \gdef\linopsubscript{}% + \gdef\linopsuperscript{\phantom{\dagger}}% + \gdef\linopsuperscripthc{}% + \verb|\op{a}{in}\hc{a}{in}| & $\op{a}{in}\hc{a}{in}$ & using \verb|\phantom{\dagger}| + \end{tabular} +\end{table} + +\begin{figure}[H] + \centering + \includegraphics[scale=0.35]{compact} + \cprotect\caption{Illustrating the difference between \verb|\mathstrut| and \verb|\phantom{\dagger}|. The light grey letters are the compact version that used \verb|\phantom{\dagger}|.} +\end{figure} + + +\subsection{square} +To help distinguish between the operator and the indices, the subscript and superscripts can be given in square brackets as well when using the \texttt{square} option. + +\DeclareDocumentCommand{\op}{s m O{} O{} O{}}{% + \IfBooleanTF#1% + {\linopstylewide{#2}_{\linopsubscript#3}^{\linopspacewide#4^{#5}\linopsuperscript}} + {\linopstyle{#2}_{\linopsubscript#3}^{#4^{#5}\linopsuperscript}} +} + +\DeclareDocumentCommand{\hc}{s m O{} O{} O{}}{% + \IfBooleanTF#1% + {\linopstylewide{#2}_{\linopsubscript#3}^{\linopspacewide\linopconjugate#4^{#5}\linopsuperscripthc}} + {\linopstyle{#2}_{\linopsubscript#3}^{\linopconjugate#4^{#5}\linopsuperscripthc}} + } + +\begin{table}[H] + \centering + \begin{tabular}{ll} + \verb|\op{a}[in][0]| & $\op{a}[in][0]$ \\ + \verb|\hc{b}[out]| & $\hc{b}[out]$ + \end{tabular} +\end{table} + +\section{Advanced control} +All the options above are set by renewing some custom commands which are + +\begin{table}[H] + \centering + \begin{tabular}{lll} + \toprule + command & default value & description \\ + \midrule + \verb|\linopstyle| & \verb|\hat| & style of operators\\ + \verb|\linopstylewide| & \verb|\widehat| & style of starred operators\\ + \verb|\linopconjugate| & \verb|\dagger| & symbol used for Hermitian conjugate\\ + \verb|\linopspacewide| & \verb|\>| & spacing in superscript of \verb|op*|\\ + \verb|\linopspacewidehc| & \verb|\:| & spacing in superscript of \verb|hc*|\\ + \verb|\linopsubscript| & \verb|\mathstrut| & equal spacing in subscript \\ + \verb|\linopsuperscript| & \verb|\mathstrut| & equal spacing in superscript of \verb|op|\\ + \verb|\linopsuperscripthc| & \verb|\mathstrut| & equal spacing in superscript of \verb|hc|\\ + \bottomrule + \end{tabular} +\end{table} + +These can be changed with \verb|\renewcommand| for even further control. + +\end{document} diff --git a/Master/texmf-dist/tex/latex/linop/linop.sty b/Master/texmf-dist/tex/latex/linop/linop.sty new file mode 100644 index 00000000000..f53938b4fab --- /dev/null +++ b/Master/texmf-dist/tex/latex/linop/linop.sty @@ -0,0 +1,99 @@ +%% linop.sty +%% Copyright 2016 Johannes Weytjens +% +% This work may be distributed and/or modified under the +% conditions of the LaTeX Project Public License, either version 1.3 +% of this license or (at your option) any later version. +% The latest version of this license is in +% http://www.latex-project.org/lppl.txt +% and version 1.3 or later is part of all distributions of LaTeX +% version 2005/12/01 or later. +% +% This work has the LPPL maintenance status `maintained'. +% +% The Current Maintainer of this work is Johannes Weytjens +% +% This work consists of the file linop.sty + +\NeedsTeXFormat{LaTeX2e} +\ProvidesPackage{linop} + +\RequirePackage{xparse} +\RequirePackage{bm} + +% provide commands that can be easily be renewed to change the style +\newcommand{\linopstyle}{\hat} +\newcommand{\linopstylewide}{\widehat} +\newcommand{\linopspacewide}{\>} +\newcommand{\linopspacewidehc}{\:} +\newcommand{\linopconjugate}{\dagger} +\newcommand{\linopsubscript}{\mathstrut} +\newcommand{\linopsuperscript}{\mathstrut} +\newcommand{\linopsuperscripthc}{\mathstrut} + +% main commands +\DeclareDocumentCommand{\op}{s O{\linopspacewide} m G{} G{} G{}}{% + \IfBooleanTF#1% + {\linopstylewide{#3}_{\linopsubscript#4}^{#2 #5^{#6}\linopsuperscript}} + {\linopstyle{#3}_{\linopsubscript#4}^{#5^{#6}\linopsuperscript}} +} + +\DeclareDocumentCommand{\hc}{s O{\linopspacewidehc} m G{} G{} G{}}{% + \IfBooleanTF#1% + {\linopstylewide{#3}_{\linopsubscript#4}^{#2 \linopconjugate#5^{#6}\linopsuperscripthc}} + {\linopstyle{#3}_{\linopsubscript#4}^{\linopconjugate#5^{#6}\linopsuperscripthc}} +} + +% options +\DeclareOption{bold}{% + \renewcommand{\linopstyle}{\mathbf} + \renewcommand{\linopstylewide}{\linopstyle} + \renewcommand{\linopspacewide}{} + \renewcommand{\linopspacewidehc}{} + +} + +\DeclareOption{bmbold}{% + \renewcommand{\linopstyle}{\bm} + \renewcommand{\linopstylewide}{\linopstyle} + \renewcommand{\linopspacewide}{} + \renewcommand{\linopspacewidehc}{} +} + +\DeclareOption{wide}{% + \@ifpackagewith{linop}{bold}{\PackageWarning{linop}{The wide option will override the bold option. You probably want to choose one but not both.}}{} + \renewcommand{\linopstyle}{\widehat} +} + +\DeclareOption{nohat}{% + \renewcommand{\linopstyle}{} + \newcommand{\linopstylewide}{} +} + +\DeclareOption{star}{% + \renewcommand{\linopconjugate}{*} +} + +\DeclareOption{compact}{% + \renewcommand{\linopsubscript}{} + \renewcommand{\linopsuperscript}{\phantom{\dagger}} + \renewcommand{\linopsuperscripthc}{} +} + +\DeclareOption{square}{% + \DeclareDocumentCommand{\op}{s O{\linopspacewide} m O{} O{} O{}}{% + \IfBooleanTF#1% + {\linopstylewide{#3}_{\linopsubscript#4}^{#2 #5^{#6}\linopsuperscript}} + {\linopstyle{#3}_{\linopsubscript#4}^{#5^{#6}\linopsuperscript}} + } + + \DeclareDocumentCommand{\hc}{s O{\linopspacewidehc} m O{} O{} O{}}{% + \IfBooleanTF#1% + {\linopstylewide{#3_{\linopsubscript#4}^{#2 \linopconjugate#5^{#6}\linopsuperscripthc}}} + {\linopstyle{#3}_{\linopsubscript#4}^{\linopconjugate#5^{#6}\linopsuperscripthc}} + } +} + +\ProcessOptions\relax + +\endinput diff --git a/Master/tlpkg/bin/tlpkg-ctan-check b/Master/tlpkg/bin/tlpkg-ctan-check index 7cc9f28c62c..be5db5a4162 100755 --- a/Master/tlpkg/bin/tlpkg-ctan-check +++ b/Master/tlpkg/bin/tlpkg-ctan-check @@ -347,7 +347,7 @@ my @TLP_working = qw( libertine libertinegc libertinus libertinust1math libgreek librarian librebaskerville librebodoni librecaslon libris lilyglyphs limap linearA linegoal - lineno linguex + lineno linguex linop lipsum lisp-on-tex listbib listing listings listings-ext listlbls listliketab listofsymbols lithuanian liturg lkproof lm lm-math lmake lobster2 diff --git a/Master/tlpkg/tlpsrc/collection-latexextra.tlpsrc b/Master/tlpkg/tlpsrc/collection-latexextra.tlpsrc index 13ef6914b79..9b010ffa2d8 100644 --- a/Master/tlpkg/tlpsrc/collection-latexextra.tlpsrc +++ b/Master/tlpkg/tlpsrc/collection-latexextra.tlpsrc @@ -562,6 +562,7 @@ depend lhelp depend libgreek depend limap depend linegoal +depend linop depend lipsum depend lisp-on-tex depend listing diff --git a/Master/tlpkg/tlpsrc/linop.tlpsrc b/Master/tlpkg/tlpsrc/linop.tlpsrc new file mode 100644 index 00000000000..e69de29bb2d -- cgit v1.2.3