X-Git-Url: http://gitweb.michael.orlitzky.com/?a=blobdiff_plain;f=mjo-cone.tex;h=78e87415f587dddb5832215cf91aad5079d04fd3;hb=2398b156d5cec30d4ede3e65ae1c89ad08551447;hp=b770d753ec3ad8855a0ab91081550ee106737056;hpb=2de2a8ba6c344269da825553bde45f6d49c91a88;p=mjotex.git diff --git a/mjo-cone.tex b/mjo-cone.tex index b770d75..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. @@ -24,10 +30,10 @@ \newcommand*{\Lnplus}[1][n]{ \mathcal{L}^{{#1}}_{+} } % The PSD cone in a space of symmetric matrices. -\newcommand*{\Snplus}[1][n]{ \mathcal{S}^{{#1}}_{+} } +\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