summaryrefslogtreecommitdiffstats
path: root/funtools/man/man7/regalgebra.7
blob: 93cb9850121e2fa6d68ae7dbbb2905d3c7fa933b (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
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
321
322
323
324
325
326
327
328
329
330
331
332
333
334
335
336
337
338
339
340
341
342
343
344
345
346
347
348
349
350
351
352
353
354
355
356
357
358
359
360
361
362
363
364
365
366
367
368
369
370
371
372
373
374
375
376
377
378
379
380
381
382
383
384
385
386
387
388
389
390
391
392
393
394
395
396
397
398
399
400
.\" Automatically generated by Pod::Man v1.37, Pod::Parser v1.32
.\"
.\" Standard preamble:
.\" ========================================================================
.de Sh \" Subsection heading
.br
.if t .Sp
.ne 5
.PP
\fB\\$1\fR
.PP
..
.de Sp \" Vertical space (when we can't use .PP)
.if t .sp .5v
.if n .sp
..
.de Vb \" Begin verbatim text
.ft CW
.nf
.ne \\$1
..
.de Ve \" End verbatim text
.ft R
.fi
..
.\" Set up some character translations and predefined strings.  \*(-- will
.\" give an unbreakable dash, \*(PI will give pi, \*(L" will give a left
.\" double quote, and \*(R" will give a right double quote.  | will give a
.\" real vertical bar.  \*(C+ will give a nicer C++.  Capital omega is used to
.\" do unbreakable dashes and therefore won't be available.  \*(C` and \*(C'
.\" expand to `' in nroff, nothing in troff, for use with C<>.
.tr \(*W-|\(bv\*(Tr
.ds C+ C\v'-.1v'\h'-1p'\s-2+\h'-1p'+\s0\v'.1v'\h'-1p'
.ie n \{\
.    ds -- \(*W-
.    ds PI pi
.    if (\n(.H=4u)&(1m=24u) .ds -- \(*W\h'-12u'\(*W\h'-12u'-\" diablo 10 pitch
.    if (\n(.H=4u)&(1m=20u) .ds -- \(*W\h'-12u'\(*W\h'-8u'-\"  diablo 12 pitch
.    ds L" ""
.    ds R" ""
.    ds C` ""
.    ds C' ""
'br\}
.el\{\
.    ds -- \|\(em\|
.    ds PI \(*p
.    ds L" ``
.    ds R" ''
'br\}
.\"
.\" If the F register is turned on, we'll generate index entries on stderr for
.\" titles (.TH), headers (.SH), subsections (.Sh), items (.Ip), and index
.\" entries marked with X<> in POD.  Of course, you'll have to process the
.\" output yourself in some meaningful fashion.
.if \nF \{\
.    de IX
.    tm Index:\\$1\t\\n%\t"\\$2"
..
.    nr % 0
.    rr F
.\}
.\"
.\" For nroff, turn off justification.  Always turn off hyphenation; it makes
.\" way too many mistakes in technical documents.
.hy 0
.if n .na
.\"
.\" Accent mark definitions (@(#)ms.acc 1.5 88/02/08 SMI; from UCB 4.2).
.\" Fear.  Run.  Save yourself.  No user-serviceable parts.
.    \" fudge factors for nroff and troff
.if n \{\
.    ds #H 0
.    ds #V .8m
.    ds #F .3m
.    ds #[ \f1
.    ds #] \fP
.\}
.if t \{\
.    ds #H ((1u-(\\\\n(.fu%2u))*.13m)
.    ds #V .6m
.    ds #F 0
.    ds #[ \&
.    ds #] \&
.\}
.    \" simple accents for nroff and troff
.if n \{\
.    ds ' \&
.    ds ` \&
.    ds ^ \&
.    ds , \&
.    ds ~ ~
.    ds /
.\}
.if t \{\
.    ds ' \\k:\h'-(\\n(.wu*8/10-\*(#H)'\'\h"|\\n:u"
.    ds ` \\k:\h'-(\\n(.wu*8/10-\*(#H)'\`\h'|\\n:u'
.    ds ^ \\k:\h'-(\\n(.wu*10/11-\*(#H)'^\h'|\\n:u'
.    ds , \\k:\h'-(\\n(.wu*8/10)',\h'|\\n:u'
.    ds ~ \\k:\h'-(\\n(.wu-\*(#H-.1m)'~\h'|\\n:u'
.    ds / \\k:\h'-(\\n(.wu*8/10-\*(#H)'\z\(sl\h'|\\n:u'
.\}
.    \" troff and (daisy-wheel) nroff accents
.ds : \\k:\h'-(\\n(.wu*8/10-\*(#H+.1m+\*(#F)'\v'-\*(#V'\z.\h'.2m+\*(#F'.\h'|\\n:u'\v'\*(#V'
.ds 8 \h'\*(#H'\(*b\h'-\*(#H'
.ds o \\k:\h'-(\\n(.wu+\w'\(de'u-\*(#H)/2u'\v'-.3n'\*(#[\z\(de\v'.3n'\h'|\\n:u'\*(#]
.ds d- \h'\*(#H'\(pd\h'-\w'~'u'\v'-.25m'\f2\(hy\fP\v'.25m'\h'-\*(#H'
.ds D- D\\k:\h'-\w'D'u'\v'-.11m'\z\(hy\v'.11m'\h'|\\n:u'
.ds th \*(#[\v'.3m'\s+1I\s-1\v'-.3m'\h'-(\w'I'u*2/3)'\s-1o\s+1\*(#]
.ds Th \*(#[\s+2I\s-2\h'-\w'I'u*3/5'\v'-.3m'o\v'.3m'\*(#]
.ds ae a\h'-(\w'a'u*4/10)'e
.ds Ae A\h'-(\w'A'u*4/10)'E
.    \" corrections for vroff
.if v .ds ~ \\k:\h'-(\\n(.wu*9/10-\*(#H)'\s-2\u~\d\s+2\h'|\\n:u'
.if v .ds ^ \\k:\h'-(\\n(.wu*10/11-\*(#H)'\v'-.4m'^\v'.4m'\h'|\\n:u'
.    \" for low resolution devices (crt and lpr)
.if \n(.H>23 .if \n(.V>19 \
\{\
.    ds : e
.    ds 8 ss
.    ds o a
.    ds d- d\h'-1'\(ga
.    ds D- D\h'-1'\(hy
.    ds th \o'bp'
.    ds Th \o'LP'
.    ds ae ae
.    ds Ae AE
.\}
.rm #[ #] #H #V #F C
.\" ========================================================================
.\"
.IX Title "regalgebra 7"
.TH regalgebra 7 "April 14, 2011" "version 1.4.5" "SAORD Documentation"
.SH "NAME"
RegAlgebra \- Boolean Algebra on Spatial Regions
.SH "SYNOPSIS"
.IX Header "SYNOPSIS"
This document describes the boolean arithmetic defined for 
region expressions.
.SH "DESCRIPTION"
.IX Header "DESCRIPTION"
When defining a region, several shapes can be  combined using boolean
operations.  The boolean operators are (in order of precedence):
.PP
.Vb 6
\&  Symbol        Operator                Associativity
\&  ------        --------                -------------
\&  !             not                     right to left
\&  &             and                     left to right
\&  ^             exclusive or            left to right
\&  |             inclusive or            left to right
.Ve
.PP
For example,  to  create a mask  consisting  of a large  circle with a
smaller  box   removed,  one  can  use   the   \fBand\fR and \fBnot\fR
operators:
.PP
.Vb 1
\&  CIRCLE(11,11,15) & !BOX(11,11,3,6)
.Ve
.PP
and the resulting mask is:
.PP
.Vb 42
\&         1234567890123456789012345678901234567890
\&         ----------------------------------------
\&       1:1111111111111111111111..................
\&       2:1111111111111111111111..................
\&       3:11111111111111111111111.................
\&       4:111111111111111111111111................
\&       5:111111111111111111111111................
\&       6:1111111111111111111111111...............
\&       7:1111111111111111111111111...............
\&       8:1111111111111111111111111...............
\&       9:111111111...1111111111111...............
\&      10:111111111...1111111111111...............
\&      11:111111111...1111111111111...............
\&      12:111111111...1111111111111...............
\&      13:111111111...1111111111111...............
\&      14:111111111...1111111111111...............
\&      15:1111111111111111111111111...............
\&      16:1111111111111111111111111...............
\&      17:111111111111111111111111................
\&      18:111111111111111111111111................
\&      19:11111111111111111111111.................
\&      20:1111111111111111111111..................
\&      21:1111111111111111111111..................
\&      22:111111111111111111111...................
\&      23:..11111111111111111.....................
\&      24:...111111111111111......................
\&      25:.....11111111111........................
\&      26:........................................
\&      27:........................................
\&      28:........................................
\&      29:........................................
\&      30:........................................
\&      31:........................................
\&      32:........................................
\&      33:........................................
\&      34:........................................
\&      35:........................................
\&      36:........................................
\&      37:........................................
\&      38:........................................
\&      39:........................................
\&      40:........................................
.Ve
.PP
A three-quarter circle can be defined as:
.PP
.Vb 1
\&  CIRCLE(20,20,10) & !PIE(20,20,270,360)
.Ve
.PP
and looks as follows:
.PP
.Vb 42
\&         1234567890123456789012345678901234567890
\&         ----------------------------------------
\&       1:........................................
\&       2:........................................
\&       3:........................................
\&       4:........................................
\&       5:........................................
\&       6:........................................
\&       7:........................................
\&       8:........................................
\&       9:........................................
\&      10:........................................
\&      11:...............111111111................
\&      12:..............11111111111...............
\&      13:............111111111111111.............
\&      14:............111111111111111.............
\&      15:...........11111111111111111............
\&      16:..........1111111111111111111...........
\&      17:..........1111111111111111111...........
\&      18:..........1111111111111111111...........
\&      19:..........1111111111111111111...........
\&      20:..........1111111111111111111...........
\&      21:..........1111111111....................
\&      22:..........1111111111....................
\&      23:..........1111111111....................
\&      24:..........1111111111....................
\&      25:...........111111111....................
\&      26:............11111111....................
\&      27:............11111111....................
\&      28:..............111111....................
\&      29:...............11111....................
\&      30:........................................
\&      31:........................................
\&      32:........................................
\&      33:........................................
\&      34:........................................
\&      35:........................................
\&      36:........................................
\&      37:........................................
\&      38:........................................
\&      39:........................................
\&      40:........................................
.Ve
.PP
Two non-intersecting ellipses can be made into the same region:
.PP
.Vb 1
\&  ELL(20,20,10,20,90) | ELL(1,1,20,10,0)
.Ve
.PP
and looks as follows:
.PP
.Vb 42
\&         1234567890123456789012345678901234567890
\&         ----------------------------------------
\&       1:11111111111111111111....................
\&       2:11111111111111111111....................
\&       3:11111111111111111111....................
\&       4:11111111111111111111....................
\&       5:1111111111111111111.....................
\&       6:111111111111111111......................
\&       7:1111111111111111........................
\&       8:111111111111111.........................
\&       9:111111111111............................
\&      10:111111111...............................
\&      11:...........11111111111111111............
\&      12:........111111111111111111111111........
\&      13:.....11111111111111111111111111111......
\&      14:....11111111111111111111111111111111....
\&      15:..11111111111111111111111111111111111...
\&      16:.1111111111111111111111111111111111111..
\&      17:111111111111111111111111111111111111111.
\&      18:111111111111111111111111111111111111111.
\&      19:111111111111111111111111111111111111111.
\&      20:111111111111111111111111111111111111111.
\&      21:111111111111111111111111111111111111111.
\&      22:111111111111111111111111111111111111111.
\&      23:111111111111111111111111111111111111111.
\&      24:.1111111111111111111111111111111111111..
\&      25:..11111111111111111111111111111111111...
\&      26:...11111111111111111111111111111111.....
\&      27:.....11111111111111111111111111111......
\&      28:.......111111111111111111111111.........
\&      29:...........11111111111111111............
\&      30:........................................
\&      31:........................................
\&      32:........................................
\&      33:........................................
\&      34:........................................
\&      35:........................................
\&      36:........................................
\&      37:........................................
\&      38:........................................
\&      39:........................................
\&      40:........................................
.Ve
.PP
You can use several boolean operations in a single region expression,
to create arbitrarily complex regions.  With the important exception
below, you can apply the operators in any order, using parentheses if
necessary to override the natural precedences of the operators.
.PP
\&\s-1NB:\s0 Using a panda shape is always much more efficient than explicitly
specifying \*(L"pie & annulus\*(R", due to the ability of panda to place a
limit on the number of pixels checked in the pie shape.  If you are
going to specify the intersection of pie and annulus, use panda
instead.
.PP
As described in \*(L"help regreometry\*(R", the \fB\s-1PIE\s0\fR slice goes to the
edge of the field. To limit its scope, \fB\s-1PIE\s0\fR usually is is
combined with other shapes, such as circles and annuli, using boolean
operations.  In this context, it is worth noting that that there is a
difference between \fB\-PIE\fR and \fB&!PIE\fR. The former is a
global exclude of all pixels in the \fB\s-1PIE\s0\fR slice, while the latter
is a local excludes of pixels affecting only the region(s) with which
the \fB\s-1PIE\s0\fR is combined.  For example, the following region uses
\&\fB&!PIE\fR as a local exclude of a single circle. Two other circles
are also defined and are unaffected by the local exclude:
.PP
.Vb 3
\&        CIRCLE(1,8,1)
\&        CIRCLE(8,8,7)&!PIE(8,8,60,120)&!PIE(8,8,240,300)
\&        CIRCLE(15,8,2)
.Ve
.PP
.Vb 17
\&          1 2 3 4 5 6 7 8 9 0 1 2 3 4 5
\&          - - - - - - - - - - - - - - -
\&      15: . . . . . . . . . . . . . . .
\&      14: . . . . 2 2 2 2 2 2 2 . . . .
\&      13: . . . 2 2 2 2 2 2 2 2 2 . . .
\&      12: . . 2 2 2 2 2 2 2 2 2 2 2 . .
\&      11: . . 2 2 2 2 2 2 2 2 2 2 2 . .
\&      10: . . . . 2 2 2 2 2 2 2 . . . .
\&       9: . . . . . . 2 2 2 . . . . 3 3
\&       8: 1 . . . . . . . . . . . . 3 3
\&       7: . . . . . . 2 2 2 . . . . 3 3
\&       6: . . . . 2 2 2 2 2 2 2 . . . .
\&       5: . . 2 2 2 2 2 2 2 2 2 2 2 . .
\&       4: . . 2 2 2 2 2 2 2 2 2 2 2 . .
\&       3: . . . 2 2 2 2 2 2 2 2 2 . . .
\&       2: . . . . 2 2 2 2 2 2 2 . . . .
\&       1: . . . . . . . . . . . . . . .
.Ve
.PP
Note that the two other regions are not affected by the \fB&!PIE\fR,
which only affects the circle with which it is combined.
.PP
On the other hand, a \fB\-PIE\fR is an global exclude that does
affect other regions with which it overlaps:
.PP
.Vb 5
\&        CIRCLE(1,8,1)
\&        CIRCLE(8,8,7)
\&        \-PIE(8,8,60,120)
\&        \-PIE(8,8,240,300)
\&        CIRCLE(15,8,2)
.Ve
.PP
.Vb 17
\&          1 2 3 4 5 6 7 8 9 0 1 2 3 4 5
\&          - - - - - - - - - - - - - - -
\&      15: . . . . . . . . . . . . . . .
\&      14: . . . . 2 2 2 2 2 2 2 . . . .
\&      13: . . . 2 2 2 2 2 2 2 2 2 . . .
\&      12: . . 2 2 2 2 2 2 2 2 2 2 2 . .
\&      11: . . 2 2 2 2 2 2 2 2 2 2 2 . .
\&      10: . . . . 2 2 2 2 2 2 2 . . . .
\&       9: . . . . . . 2 2 2 . . . . . .
\&       8: . . . . . . . . . . . . . . .
\&       7: . . . . . . 2 2 2 . . . . . .
\&       6: . . . . 2 2 2 2 2 2 2 . . . .
\&       5: . . 2 2 2 2 2 2 2 2 2 2 2 . .
\&       4: . . 2 2 2 2 2 2 2 2 2 2 2 . .
\&       3: . . . 2 2 2 2 2 2 2 2 2 . . .
\&       2: . . . . 2 2 2 2 2 2 2 . . . .
\&       1: . . . . . . . . . . . . . . .
.Ve
.PP
The two smaller circles are entirely contained within the two exclude
\&\fB\s-1PIE\s0\fR slices and therefore are excluded from the region.
.SH "SEE ALSO"
.IX Header "SEE ALSO"
See funtools(7) for a list of Funtools help pages