mjo-cone.tex

   1 %
   2 % Cone stuff.
   3 %
   4 % The operator families Z(K), LL(K), etc. can technically be defined on
   5 % sets other than cones, but nobody cares.
   6 %
   7
   8 % The set of all S-operators on its argument.
   9 \newcommand*{\Sof}[1]{ \mathbf{S} \of{ {#1} } }
  10
  11 % The cone of all Z-operators on its argument.
  12 \newcommand*{\Zof}[1]{ \mathbf{Z} \of{ {#1} } }
  13
  14 % The space of Lyapunov-like operators on its argument.
  15 \newcommand*{\LL}[1]{ \mathbf{LL}\of{ {#1} } }
  16
  17 % Display a ``Discrete Complementarity Set'' (DCS). The first argument
  18 % is the name of the cone, the second argument is a generating set for
  19 % that cone, and the third argument is a generating set for its dual.
  20 \newcommand*{\DCS}[3]{ C\of{{#1}} \cap \qty{ {#2} \times {#3} } }
  21
  22 % Cone inequality operators.
  23 \newcommand*{\gek}{ \succcurlyeq }
  24 \newcommand*{\gtk}{ \succ }
  25 \newcommand*{\lek}{ \preccurlyeq }
  26 \newcommand*{\ltk}{ \prec }
  27
  28 % Starred versions of the cone inequality operators.
  29 \newcommand*{\ineqkstar}[1]{ \mathrel{ \overset{ _{\ast} }{ #1 } } }
  30 \newcommand*{\gekstar}{ \ineqkstar{\gek} }
  31 \newcommand*{\gtkstar}{ \ineqkstar{\gtk} }
  32 \newcommand*{\lekstar}{ \ineqkstar{\lek} }
  33 \newcommand*{\ltkstar}{ \ineqkstar{\ltk} }
  34
  35 % And negated versions of some of those...
  36 \newcommand*{\ngeqkstar}{ \ineqkstar{\nsucceq} }
  37 \newcommand*{\ngtrkstar}{ \ineqkstar{\nsucc} }