]> gitweb.michael.orlitzky.com - mjotex.git/blobdiff - mjo-cone.tex
mjo-algebra.tex: fix glossary sorting of \variety
[mjotex.git] / mjo-cone.tex
index b7bcdab9c9dbe236fecb0142638ed136aac69e07..00a1309dd3fa2a924875da25d613d2fae7dd922a 100644 (file)
@@ -4,10 +4,16 @@
 % The operator families Z(K), LL(K), etc. can technically be defined on
 % sets other than cones, but nobody cares.
 %
+\ifx\havemjocone\undefined
+\def\havemjocone{1}
 
-\usepackage{amssymb} % \succcurlyeq and friends
 
-\input{mjo-common}
+\ifx\succcurlyeq\undefined
+  \usepackage{amssymb} % \succcurlyeq, \preccurlyeq
+\fi
+
+\input{mjo-common} % for \of, \Rn, etc.
+\input{mjo-linear_algebra} % \Sn and \Hn
 
 % The dual of a subset of an inner-product space; always a closed
 % convex cone.
 % Common cones.
 %
 
-% The nonnegative orthant in the given number of dimensions.
+% The nonnegative and strictly positive orthants in the given number
+% of dimensions.
 \newcommand*{\Rnplus}[1][n]{ \Rn[#1]_{+} }
+\newcommand*{\Rnplusplus}[1][n]{ \Rn[#1]_{++} }
 
 % The Lorentz ``ice-cream'' cone in the given number of dimensions.
 \newcommand*{\Lnplus}[1][n]{ \mathcal{L}^{{#1}}_{+} }
@@ -27,7 +35,7 @@
 \newcommand*{\Snplus}[1][n]{ \Sn[#1]_{+} }
 
 % The PSD cone in a space of Hermitian matrices.
-\newcommand*{\Hnplus}[1][n]{ \mathcal{H}^{{#1}}_{+} }
+\newcommand*{\Hnplus}[1][n]{ \Hn[#1]_{+} }
 
 
 %
@@ -67,3 +75,6 @@
 \newcommand*{\gtcone}{\succ}
 \newcommand*{\lecone}{\preccurlyeq}
 \newcommand*{\ltcone}{\prec}
+
+
+\fi