blob: 8be8fc98dcc86d4b860cfaa404e81a2673bf533c (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
|
%D \module
%D [ file=math-lop,
%D version=2022.02.10,
%D title=\CONTEXT\ Math Macros,
%D subtitle=Large operators,
%D author={Hans Hagen & Mikael Sundqvist},
%D date=\currentdate,
%D copyright={PRAGMA ADE \& \CONTEXT\ Development Team}]
%C
%C This module is part of the \CONTEXT\ macro||package and is
%C therefore copyrighted by \PRAGMA. See mreadme.pdf for
%C details.
\writestatus{loading}{ConTeXt Math Macros / Large Operators}
% $\textstyle \Uoperator \Udelimiter "0 \fam "222B {t} {b} {x}$\blank
% $\textstyle \Uoperator \Udelimiter "0 \fam "222B {t} {b} {\frac{1}{x}}$\blank
% $\displaystyle x + \Uoperator \Udelimiter "0 \fam "222B {t} {b} {\frac{1}{x}}$\blank
% $ x + \Uoperator nolimits \Udelimiter "0 \fam "222B {t} {b} {\frac{1}{x}}$\blank
% $ x + \Uoperator limits \Udelimiter "0 \fam "222B {t} {b} {\frac{1}{x}}$\blank
\unprotect
\installcorenamespace{mathoperators}
\installcorenamespace{mathoperatormethod}
\installcommandhandler \??mathoperators {mathoperator} \??mathoperators
\setupmathoperator
[\c!left=\zerocount]% so we always have something
\aliased\let\setupmathoperators\setupmathoperator
\appendtoks
% todo: only define when there's left or right
\protected\instance\edefcsname\currentmathoperator\endcsname{\math_operator{\currentmathoperator}}%
% todo: under definition control
\protected\instance\edefcsname\e!start\currentmathoperator\endcsname{\math_operator_start{\currentmathoperator}}%
\protected\instance\edefcsname\e!stop \currentmathoperator\endcsname{\math_operator_stop}%
\to \everydefinemathoperator
% more generic:
\defcsname\??mathoperatormethod\v!horizontal\endcsname{nolimits }
\defcsname\??mathoperatormethod\v!vertical \endcsname{limits }
% The ones we wlready had:
\letcsname\??mathoperatormethod \v!auto\endcsname\empty
\letcsname\??mathoperatormethod autolimits\endcsname\empty
\letcsname\??mathoperatormethod nolimits\expandafter\endcsname\csname\??mathoperatormethod\v!horizontal\endcsname
\letcsname\??mathoperatormethod limits\expandafter\endcsname\csname\??mathoperatormethod\v!vertical \endcsname
%D With the auto option DisplayOperatorMinHeight will kick in unless we explicitly set the size or
%D use the start|-|stop variant (which will size automatically). The default of this font parameter
%D are a bit on the small size which doesn't work well with fonts other than Latin Modern that has
%D a large one. Keep in mind that we have e.g. integrals as operators and not fixed characters.
\installlocalcurrenthandler\??mathoperators {mathoperator}
\protected\def\math_operator_operator#1#2%
{\setlocalmathoperatorcurrent{#1}% \edef\currentmathoperator{#1}%
\setupcurrentmathoperator[#2]%
\Uoperator
\usedcolorparameterattributes{\mathoperatorparameter\c!color}%
\begincsname\??mathoperatormethod\mathoperatorparameter\c!method\endcsname
\ifchkdim\mathoperatorparameter\c!size\or
\s!depth \mathoperatorparameter\c!size
\s!height\mathoperatorparameter\c!size
\s!axis
\orelse\ifcstok{\mathoperatorparameter\c!size}\v!auto
\s!auto
\fi
\s!class \mathoperatorcode
\s!attr \indexofregister \c_attr_mathsize \attributeunsetvalue
% todo: find a way to pick up or pass sup/sub to here
\Udelimiter \zerocount \fam \mathoperatorparameter\c!left
{\edef\m_operator_text{\mathoperatorparameter\c!top}%
\ifempty\m_operator_text\else
\mathstrut % todo: make option
\dousecolorparameter{\mathoperatorparameter\c!topcolor}
\m_operator_text
\fi}%
{\edef\m_operator_text{\mathoperatorparameter\c!bottom}%
\ifempty\m_operator_text\else
\mathstrut % todo: make option
\dousecolorparameter{\mathoperatorparameter\c!bottomcolor}
\m_operator_text
\fi}}
\tolerant\protected\def\math_operator#1#*[#2]#*#:#=% mandate braces
{\math_operator_operator{#1}{#2}#3\Uright.}
\tolerant\protected\def\math_operator_start#1#*[#2]%
{\math_operator_operator{#1}{#2}}
\protected\def\math_operator_stop
{\Uright.}
% {\Uright\Udelimiter\zerocount \fam \zerocount }
% \def\math_operator_default_size % is now the auto option
% {\ifconditional\indisplaymath\ifcase\Umathoperatorsize=\maxdimen\else
% \Umathoperatorsize\displaystyle
% \fi\fi}
% TODO: Add 4 (inherited) classes and then define them automatically from char-def
% instead.
\definemathoperator [integrals]
\definemathoperator [summations]
\definemathoperator [products]
\definemathoperator [operators]
\setupmathoperators [integrals] [\c!size=\v!auto,\c!method=\mathematicsparameter\c!integral] % cf Mikael's wish
\setupmathoperators [summations] [\c!size=\v!auto]
\setupmathoperators [products] [\c!size=\v!auto]
\setupmathoperators [operators] [\c!size=\v!auto]
\setupmathematics[\c!integral=nolimits]
\definemathoperator [integral] [integrals] [\c!left="222B] % these might go unless we decide
\definemathoperator [iintegral] [integrals] [\c!left="222C] % to have verbose parents but who
\definemathoperator [iiintegral] [integrals] [\c!left="222D] % will use them
\definemathoperator [int] [integrals] [\c!left="222B] % INTEGRAL
\definemathoperator [iint] [integrals] [\c!left="222C] % DOUBLE INTEGRAL
\definemathoperator [iiint] [integrals] [\c!left="222D] % TRIPLE INTEGRAL
\definemathoperator [iiiint] [integrals] [\c!left="2A0C] % QUADRUPLE INTEGRAL OPERATOR
\definemathoperator [oint] [integrals] [\c!left="222E] % CONTOUR INTEGRAL
\definemathoperator [oiint] [integrals] [\c!left="222F] % SURFACE INTEGRAL
\definemathoperator [oiiint] [integrals] [\c!left="2230] % VOLUME INTEGRAL
\definemathoperator [intc] [integrals] [\c!left="2231] % CLOCKWISE INTEGRAL
\definemathoperator [ointc] [integrals] [\c!left="2232] % CLOCKWISE CONTOUR INTEGRAL
\definemathoperator [aointc] [integrals] [\c!left="2233] % ANTI CLOCKWISE CONTOUR INTEGRAL
\definemathoperator [sum] [summations] [\c!left="2211] % N-ARY SUMMATION
\definemathoperator [prod] [products] [\c!left="220F] % N-ARY PRODUCT
\definemathoperator [coprod] [products] [\c!left="2210] % N-ARY COPRODUCT
% todo: middles too
\definemathoperator [bigwedge] [operators] [\c!left="22C0] % N-ARY LOGICAL AND
\definemathoperator [bigvee] [operators] [\c!left="22C1] % N-ARY LOGICAL OR
\definemathoperator [bigcap] [operators] [\c!left="22C2] % N-ARY LOGICAL INTERSECTION
\definemathoperator [bigcup] [operators] [\c!left="22C3] % N-ARY UNION
\definemathoperator [bigodot] [operators] [\c!left="2A00] % N-ARY CIRCLED DOT OPERATOR
\definemathoperator [bigoplus] [operators] [\c!left="2A01] % N-ARY CIRCLED PLUS OPERATOR
\definemathoperator [bigotimes] [operators] [\c!left="2A02] % N-ARY CIRCLED TIMES OPERATOR
\definemathoperator [bigudot] [operators] [\c!left="2A03] % N-ARY UNION OPERATOR WITH DOT
\definemathoperator [biguplus] [operators] [\c!left="2A04] % N-ARY UNION OPERATOR WITH PLUS
\definemathoperator [bigsqcap] [operators] [\c!left="2A05] % N-ARY SQUARE INTERSECTION OPERATOR
\definemathoperator [bigsqcup] [operators] [\c!left="2A06] % N-ARY SQUARE UNION OPERATOR
\definemathoperator [bigtimes] [operators] [\c!left="2A09] % N-ARY TIMES OPERATOR
\protect \endinput
|
