X-Git-Url: http://gitweb.michael.orlitzky.com/?a=blobdiff_plain;f=mjo-cone.tex;h=78e87415f587dddb5832215cf91aad5079d04fd3;hb=7dfe6fdee9d819258393544917c871f6b85a3eb8;hp=b7bcdab9c9dbe236fecb0142638ed136aac69e07;hpb=cabf89f8e9b033a0a0d0e875886928f227798413;p=mjotex.git diff --git a/mjo-cone.tex b/mjo-cone.tex index b7bcdab..78e8741 100644 --- a/mjo-cone.tex +++ b/mjo-cone.tex @@ -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. @@ -27,7 +33,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 +73,6 @@ \newcommand*{\gtcone}{\succ} \newcommand*{\lecone}{\preccurlyeq} \newcommand*{\ltcone}{\prec} + + +\fi