Newer
Older
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
# imports
# standard
import random
# local, external
# local, internal
import src.topupopt.problems.esipp.signal as signal
# ******************************************************************************
# ******************************************************************************
def examples():
# **************************************************************************
# **************************************************************************
# test creating fixed signals
example_fixed_signals()
# test creating free signals
example_free_signals()
# test creating bounded signals
example_bounded_signals()
# test setting a signal
example_set_signal()
# test non-negative reals
example_nnr_signals()
# test binary signals
example_binary_signals()
# trigger errors that can only happen by messing with private/interval vars
example_peculiar_errors()
# test amplitude constrained signals
example_amplitude_constrained_signals()
# test amplitude constrained non-negative real signals
example_amplitude_constrained_nnr_signals()
# **************************************************************************
# **************************************************************************
# ******************************************************************************
# ******************************************************************************
def example_amplitude_constrained_nnr_signals():
# number of time intervals
number_intervals = 3
# **************************************************************************
# error-free examples
# create signal with max positive amplitude limit
sig = signal.AmplitudeConstrainedNNRSignal(
number_samples=number_intervals,
max_pos_amp_limit=10,
min_pos_amp_limit=None,
)
assert not sig.has_max_neg_amp_limit
assert not sig.has_min_neg_amp_limit
assert sig.has_max_pos_amp_limit
assert not sig.has_min_pos_amp_limit
assert sig.is_signal_bounded()
assert not sig.is_signal_fixed()
# create signal with min positive amplitude limit
sig = signal.AmplitudeConstrainedNNRSignal(
number_samples=number_intervals,
max_pos_amp_limit=None,
min_pos_amp_limit=3,
)
assert not sig.has_max_neg_amp_limit
assert not sig.has_min_neg_amp_limit
assert not sig.has_max_pos_amp_limit
assert sig.has_min_pos_amp_limit
assert sig.is_signal_bounded()
assert not sig.is_signal_fixed()
# create signal with positive constraints only
sig = signal.AmplitudeConstrainedNNRSignal(
number_samples=number_intervals,
max_pos_amp_limit=10,
min_pos_amp_limit=3,
)
assert not sig.has_max_neg_amp_limit
assert not sig.has_min_neg_amp_limit
assert sig.has_max_pos_amp_limit
assert sig.has_min_pos_amp_limit
assert sig.is_signal_bounded()
assert not sig.is_signal_fixed()
# **************************************************************************
# trigger errors
# by providing a non-numeric nr. of samples without specific lower bounds
Pedro L. Magalhães
committed
error_was_raised = False
try:
sig = signal.AmplitudeConstrainedNNRSignal(
number_samples=(number_intervals,), max_pos_amp_limit=10
)
except TypeError:
Pedro L. Magalhães
committed
error_was_raised = True
assert error_was_raised
Pedro L. Magalhães
committed
error_was_raised = False
try:
sig = signal.AmplitudeConstrainedNNRSignal(
number_samples=number_intervals,
max_pos_amp_limit=10,
lower_bounds=[-1 for i in range(number_intervals)],
)
except ValueError:
Pedro L. Magalhães
committed
error_was_raised = True
assert error_was_raised
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
# ******************************************************************************
# ******************************************************************************
def example_amplitude_constrained_signals():
# number of time intervals
number_intervals = 3
# **************************************************************************
# error-free examples
# create signal with max positive amplitude limit
sig = signal.AmplitudeConstrainedSignal(
number_samples=number_intervals,
max_pos_amp_limit=10,
min_pos_amp_limit=None,
max_neg_amp_limit=None,
min_neg_amp_limit=None,
)
assert not sig.has_max_neg_amp_limit
assert not sig.has_min_neg_amp_limit
assert sig.has_max_pos_amp_limit
assert not sig.has_min_pos_amp_limit
assert not sig.is_signal_bounded()
assert not sig.is_signal_fixed()
sig.set_positive_amplitude(positive_amplitude=5)
sig.validate_positive_amplitude()
# use the tolerances and validate an otherwise invalid amplitude
sig.set_positive_amplitude(positive_amplitude=12)
sig.validate_positive_amplitude(tolerance=2)
# create signal with min positive amplitude limit
sig = signal.AmplitudeConstrainedSignal(
number_samples=number_intervals,
max_pos_amp_limit=None,
min_pos_amp_limit=3,
max_neg_amp_limit=None,
min_neg_amp_limit=None,
)
assert not sig.has_max_neg_amp_limit
assert not sig.has_min_neg_amp_limit
assert not sig.has_max_pos_amp_limit
assert sig.has_min_pos_amp_limit
assert not sig.is_signal_bounded()
assert not sig.is_signal_fixed()
sig.set_positive_amplitude(positive_amplitude=5)
sig.validate_positive_amplitude()
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
# use the tolerances and validate an otherwise invalid amplitude
sig.set_positive_amplitude(positive_amplitude=1)
sig.validate_positive_amplitude(tolerance=2)
# create signal with max negative amplitude limit
sig = signal.AmplitudeConstrainedSignal(
number_samples=number_intervals,
max_pos_amp_limit=None,
min_pos_amp_limit=None,
max_neg_amp_limit=10,
min_neg_amp_limit=None,
)
assert sig.has_max_neg_amp_limit
assert not sig.has_min_neg_amp_limit
assert not sig.has_max_pos_amp_limit
assert not sig.has_min_pos_amp_limit
assert not sig.is_signal_bounded()
assert not sig.is_signal_fixed()
sig.set_negative_amplitude(negative_amplitude=5)
sig.validate_negative_amplitude()
# use the tolerances and validate an otherwise invalid amplitude
sig.set_negative_amplitude(negative_amplitude=12)
sig.validate_negative_amplitude(tolerance=2)
# create signal with min negative amplitude limit
sig = signal.AmplitudeConstrainedSignal(
number_samples=number_intervals,
max_pos_amp_limit=None,
min_pos_amp_limit=None,
max_neg_amp_limit=None,
min_neg_amp_limit=3,
)
assert not sig.has_max_neg_amp_limit
assert sig.has_min_neg_amp_limit
assert not sig.has_max_pos_amp_limit
assert not sig.has_min_pos_amp_limit
assert not sig.is_signal_bounded()
assert not sig.is_signal_fixed()
sig.set_negative_amplitude(negative_amplitude=5)
sig.validate_negative_amplitude()
# use the tolerances and validate an otherwise invalid amplitude
sig.set_negative_amplitude(negative_amplitude=1)
sig.validate_negative_amplitude(tolerance=2)
# create signal with positive constraints only
sig = signal.AmplitudeConstrainedSignal(
number_samples=number_intervals,
max_pos_amp_limit=10,
min_pos_amp_limit=3,
max_neg_amp_limit=None,
min_neg_amp_limit=None,
)
assert not sig.has_max_neg_amp_limit
assert not sig.has_min_neg_amp_limit
assert sig.has_max_pos_amp_limit
assert sig.has_min_pos_amp_limit
assert not sig.is_signal_bounded()
assert not sig.is_signal_fixed()
# create signal with negative constraints only
sig = signal.AmplitudeConstrainedSignal(
number_samples=number_intervals,
max_pos_amp_limit=None,
min_pos_amp_limit=None,
max_neg_amp_limit=10,
min_neg_amp_limit=3,
)
assert sig.has_max_neg_amp_limit
assert sig.has_min_neg_amp_limit
assert not sig.has_max_pos_amp_limit
assert not sig.has_min_pos_amp_limit
assert not sig.is_signal_bounded()
assert not sig.is_signal_fixed()
# create amplitude constrained signal with all limits but without bounds
sig = signal.AmplitudeConstrainedSignal(
number_samples=number_intervals,
max_pos_amp_limit=10,
min_pos_amp_limit=3,
max_neg_amp_limit=11,
min_neg_amp_limit=4,
)
assert sig.has_max_neg_amp_limit
assert sig.has_min_neg_amp_limit
assert sig.has_max_pos_amp_limit
assert sig.has_min_pos_amp_limit
assert not sig.is_signal_bounded()
assert not sig.is_signal_fixed()
# create amplitude constrained signal with all limits and with bounds
sig = signal.AmplitudeConstrainedSignal(
number_samples=number_intervals,
max_pos_amp_limit=10,
min_pos_amp_limit=3,
max_neg_amp_limit=11,
min_neg_amp_limit=4,
lower_bounds=[-7 for i in range(number_intervals)],
upper_bounds=[15 for i in range(number_intervals)],
)
assert sig.has_max_neg_amp_limit
assert sig.has_min_neg_amp_limit
assert sig.has_max_pos_amp_limit
assert sig.has_min_pos_amp_limit
assert sig.is_signal_bounded()
assert not sig.is_signal_fixed()
# set the signal using samples that do not violate the limits nor the bounds
sig.set_signal([5 for i in range(number_intervals)])
assert not sig.violates_amplitude_limits()
assert not sig.violates_bounds()
# set the signal using samples that violate the positive limits and bounds
sig.set_signal([25 for i in range(number_intervals)])
assert sig.violates_amplitude_limits()
assert sig.violates_bounds()
# set the signal using samples that violate the positive limits and bounds
sig.set_signal([-25 for i in range(number_intervals)])
assert sig.violates_amplitude_limits()
assert sig.violates_bounds()
# test external samples that do not violate the limits
assert not sig.violates_amplitude_limits(
samples=[0 for i in range(number_intervals)]
)
# test external samples that violate the positive limits
assert sig.violates_amplitude_limits(samples=[15 for i in range(number_intervals)])
# test external samples that violate the negative limits
assert sig.violates_amplitude_limits(samples=[-15 for i in range(number_intervals)])
# create amplitude constrained signal without limits or bounds
sig = signal.AmplitudeConstrainedSignal(
number_samples=number_intervals,
max_pos_amp_limit=None,
min_pos_amp_limit=None,
max_neg_amp_limit=None,
min_neg_amp_limit=None,
)
assert not sig.has_max_neg_amp_limit
assert not sig.has_min_neg_amp_limit
assert not sig.has_max_pos_amp_limit
assert not sig.has_min_pos_amp_limit
assert not sig.is_signal_bounded()
assert not sig.is_signal_fixed()
assert not sig.violates_amplitude_limits() # because it has none
# **************************************************************************
# trigger errors
# by providing negative 'positive' amplitude limits
Pedro L. Magalhães
committed
error_was_raised = False
try:
sig = signal.AmplitudeConstrainedSignal(
number_samples=number_intervals,
max_pos_amp_limit=-10,
min_pos_amp_limit=3,
max_neg_amp_limit=None,
min_neg_amp_limit=None,
)
except ValueError:
Pedro L. Magalhães
committed
error_was_raised = True
assert error_was_raised
Pedro L. Magalhães
committed
error_was_raised = False
try:
sig = signal.AmplitudeConstrainedSignal(
number_samples=number_intervals,
max_pos_amp_limit=10,
min_pos_amp_limit=-3,
max_neg_amp_limit=None,
min_neg_amp_limit=None,
)
except ValueError:
Pedro L. Magalhães
committed
error_was_raised = True
assert error_was_raised
# by providing negative 'negative' amplitude limits
Pedro L. Magalhães
committed
error_was_raised = False
try:
sig = signal.AmplitudeConstrainedSignal(
number_samples=number_intervals,
max_pos_amp_limit=None,
min_pos_amp_limit=None,
max_neg_amp_limit=-11,
min_neg_amp_limit=4,
)
except ValueError:
Pedro L. Magalhães
committed
error_was_raised = True
assert error_was_raised
Pedro L. Magalhães
committed
error_was_raised = False
try:
sig = signal.AmplitudeConstrainedSignal(
number_samples=number_intervals,
max_pos_amp_limit=None,
min_pos_amp_limit=None,
max_neg_amp_limit=11,
min_neg_amp_limit=-4,
)
except ValueError:
Pedro L. Magalhães
committed
error_was_raised = True
assert error_was_raised
# by providing non-numeric or not None amplitude limits (e.g. tuple)
Pedro L. Magalhães
committed
error_was_raised = False
try:
sig = signal.AmplitudeConstrainedSignal(
number_samples=number_intervals,
max_pos_amp_limit=(10,),
min_pos_amp_limit=None,
max_neg_amp_limit=None,
min_neg_amp_limit=None,
)
except TypeError:
Pedro L. Magalhães
committed
error_was_raised = True
assert error_was_raised
Pedro L. Magalhães
committed
error_was_raised = False
try:
sig = signal.AmplitudeConstrainedSignal(
number_samples=number_intervals,
max_pos_amp_limit=None,
min_pos_amp_limit=(3,),
max_neg_amp_limit=None,
min_neg_amp_limit=None,
)
except TypeError:
Pedro L. Magalhães
committed
error_was_raised = True
assert error_was_raised
Pedro L. Magalhães
committed
error_was_raised = False
try:
sig = signal.AmplitudeConstrainedSignal(
number_samples=number_intervals,
max_pos_amp_limit=None,
min_pos_amp_limit=None,
max_neg_amp_limit=(10,),
min_neg_amp_limit=None,
)
except TypeError:
Pedro L. Magalhães
committed
error_was_raised = True
assert error_was_raised
Pedro L. Magalhães
committed
error_was_raised = False
try:
sig = signal.AmplitudeConstrainedSignal(
number_samples=number_intervals,
max_pos_amp_limit=None,
min_pos_amp_limit=None,
max_neg_amp_limit=None,
min_neg_amp_limit=(3,),
)
except TypeError:
Pedro L. Magalhães
committed
error_was_raised = True
assert error_was_raised
# by providing bounds incompatible with positive limits
Pedro L. Magalhães
committed
error_was_raised = False
try:
sig = signal.AmplitudeConstrainedSignal(
number_samples=number_intervals,
max_pos_amp_limit=9,
min_pos_amp_limit=None,
max_neg_amp_limit=None,
min_neg_amp_limit=None,
upper_bounds=None,
lower_bounds=[10 for i in range(number_intervals)],
)
except ValueError:
Pedro L. Magalhães
committed
error_was_raised = True
assert error_was_raised
# by providing bounds incompatible with negative limits
Pedro L. Magalhães
committed
error_was_raised = False
try:
sig = signal.AmplitudeConstrainedSignal(
number_samples=number_intervals,
max_pos_amp_limit=None,
min_pos_amp_limit=None,
max_neg_amp_limit=6,
min_neg_amp_limit=None,
upper_bounds=[-10 for i in range(number_intervals)],
lower_bounds=None,
)
except ValueError:
Pedro L. Magalhães
committed
error_was_raised = True
assert error_was_raised
# by providing incompatible maximum and minimum positive limits
Pedro L. Magalhães
committed
error_was_raised = False
try:
sig = signal.AmplitudeConstrainedSignal(
number_samples=number_intervals,
max_pos_amp_limit=5,
min_pos_amp_limit=10,
max_neg_amp_limit=None,
min_neg_amp_limit=None,
)
except ValueError:
Pedro L. Magalhães
committed
error_was_raised = True
assert error_was_raised
# by providing incompatible maximum and minimum negative limits
Pedro L. Magalhães
committed
error_was_raised = False
try:
sig = signal.AmplitudeConstrainedSignal(
number_samples=number_intervals,
max_pos_amp_limit=None,
min_pos_amp_limit=None,
max_neg_amp_limit=6,
min_neg_amp_limit=11,
)
except ValueError:
Pedro L. Magalhães
committed
error_was_raised = True
assert error_was_raised
# by providing non-numeric or not None amplitude limits (e.g. tuple)
Pedro L. Magalhães
committed
error_was_raised = False
try:
sig = signal.AmplitudeConstrainedSignal(
number_samples=number_intervals,
max_pos_amp_limit=10,
min_pos_amp_limit=3,
max_neg_amp_limit=None,
min_neg_amp_limit=None,
)
sig.set_positive_amplitude(positive_amplitude=(5,))
except TypeError:
Pedro L. Magalhães
committed
error_was_raised = True
assert error_was_raised
# by providing non-numeric or not None amplitude limits (e.g. tuple)
Pedro L. Magalhães
committed
error_was_raised = False
try:
sig = signal.AmplitudeConstrainedSignal(
number_samples=number_intervals,
max_pos_amp_limit=None,
min_pos_amp_limit=None,
max_neg_amp_limit=10,
min_neg_amp_limit=3,
)
sig.set_negative_amplitude(negative_amplitude=(5,))
except TypeError:
Pedro L. Magalhães
committed
error_was_raised = True
assert error_was_raised
# by checking if bounds have been violated without there being samples
Pedro L. Magalhães
committed
error_was_raised = False
try:
sig = signal.AmplitudeConstrainedSignal(
number_samples=number_intervals,
max_pos_amp_limit=10,
min_pos_amp_limit=3,
max_neg_amp_limit=None,
min_neg_amp_limit=None,
)
assert not sig.has_max_neg_amp_limit
assert not sig.has_min_neg_amp_limit
assert sig.has_max_pos_amp_limit
assert sig.has_min_pos_amp_limit
assert not sig.is_signal_bounded()
assert not sig.is_signal_fixed() # signal is not set
assert not sig.violates_amplitude_limits() # since the sig is not set
except ValueError:
Pedro L. Magalhães
committed
error_was_raised = True
assert error_was_raised
# by seeking to validate a positive amplitude when there are no positive
# amplitude limits
Pedro L. Magalhães
committed
error_was_raised = False
try:
sig = signal.AmplitudeConstrainedSignal(
number_samples=number_intervals,
max_pos_amp_limit=10,
min_pos_amp_limit=3,
max_neg_amp_limit=None,
min_neg_amp_limit=None,
)
sig.validate_negative_amplitude()
except ValueError:
Pedro L. Magalhães
committed
error_was_raised = True
assert error_was_raised
# by seeking to validate a negative amplitude when there are no negative
# amplitude limits
Pedro L. Magalhães
committed
error_was_raised = False
try:
sig = signal.AmplitudeConstrainedSignal(
number_samples=number_intervals,
max_pos_amp_limit=None,
min_pos_amp_limit=None,
max_neg_amp_limit=10,
min_neg_amp_limit=3,
)
sig.validate_positive_amplitude()
except ValueError:
Pedro L. Magalhães
committed
error_was_raised = True
assert error_was_raised
# by seeking to validate a positive amplitude that exceeds its tolerated
# maximum, using the internal positive amplitude
Pedro L. Magalhães
committed
error_was_raised = False
try:
sig = signal.AmplitudeConstrainedSignal(
number_samples=number_intervals,
max_pos_amp_limit=10,
min_pos_amp_limit=3,
max_neg_amp_limit=None,
min_neg_amp_limit=None,
)
sig.set_positive_amplitude(12)
sig.validate_positive_amplitude()
except ValueError:
Pedro L. Magalhães
committed
error_was_raised = True
assert error_was_raised
# by seeking to validate a positive amplitude that exceeds its tolerated
# maximum, using an externally supplied amplitude
Pedro L. Magalhães
committed
error_was_raised = False
try:
sig = signal.AmplitudeConstrainedSignal(
number_samples=number_intervals,
max_pos_amp_limit=10,
min_pos_amp_limit=3,
max_neg_amp_limit=None,
min_neg_amp_limit=None,
)
sig.validate_positive_amplitude(12)
except ValueError:
Pedro L. Magalhães
committed
error_was_raised = True
assert error_was_raised
# by seeking to validate a positive amplitude that is below its tolerated
# minimum, using the internal positive amplitude
Pedro L. Magalhães
committed
error_was_raised = False
try:
sig = signal.AmplitudeConstrainedSignal(
number_samples=number_intervals,
max_pos_amp_limit=10,
min_pos_amp_limit=3,
max_neg_amp_limit=None,
min_neg_amp_limit=None,
)
sig.set_positive_amplitude(2)
sig.validate_positive_amplitude()
except ValueError:
Pedro L. Magalhães
committed
error_was_raised = True
assert error_was_raised
# by seeking to validate a positive amplitude that is below its tolerated
# minimum, using an externally supplied amplitude
Pedro L. Magalhães
committed
error_was_raised = False
try:
sig = signal.AmplitudeConstrainedSignal(
number_samples=number_intervals,
max_pos_amp_limit=10,
min_pos_amp_limit=3,
max_neg_amp_limit=None,
min_neg_amp_limit=None,
)
sig.validate_positive_amplitude(2)
except ValueError:
Pedro L. Magalhães
committed
error_was_raised = True
assert error_was_raised
# by seeking to validate a negative amplitude that exceeds its tolerated
# maximum, using the internal negative amplitude
Pedro L. Magalhães
committed
error_was_raised = False
try:
sig = signal.AmplitudeConstrainedSignal(
number_samples=number_intervals,
max_pos_amp_limit=None,
min_pos_amp_limit=None,
max_neg_amp_limit=10,
min_neg_amp_limit=3,
)
sig.set_negative_amplitude(12)
sig.validate_negative_amplitude()
except ValueError:
Pedro L. Magalhães
committed
error_was_raised = True
assert error_was_raised
# by seeking to validate a negative amplitude that exceeds its tolerated
# maximum, using an externally supplied amplitude
Pedro L. Magalhães
committed
error_was_raised = False
try:
sig = signal.AmplitudeConstrainedSignal(
number_samples=number_intervals,
max_pos_amp_limit=None,
min_pos_amp_limit=None,
max_neg_amp_limit=10,
min_neg_amp_limit=3,
)
sig.validate_negative_amplitude(12)
except ValueError:
Pedro L. Magalhães
committed
error_was_raised = True
assert error_was_raised
# by seeking to validate a negative amplitude that is below its tolerated
# minimum, using the internal negative amplitude
Pedro L. Magalhães
committed
error_was_raised = False
try:
sig = signal.AmplitudeConstrainedSignal(
number_samples=number_intervals,
max_pos_amp_limit=None,
min_pos_amp_limit=None,
max_neg_amp_limit=10,
min_neg_amp_limit=3,
)
sig.set_negative_amplitude(2)
sig.validate_negative_amplitude()
except ValueError:
Pedro L. Magalhães
committed
error_was_raised = True
assert error_was_raised
# by seeking to validate a negative amplitude that is below its tolerated
# minimum, using an externally supplied amplitude
Pedro L. Magalhães
committed
error_was_raised = False
try:
sig = signal.AmplitudeConstrainedSignal(
number_samples=number_intervals,
max_pos_amp_limit=None,
min_pos_amp_limit=None,
max_neg_amp_limit=10,
min_neg_amp_limit=3,
)
sig.validate_negative_amplitude(2)
except ValueError:
Pedro L. Magalhães
committed
error_was_raised = True
assert error_was_raised
# ******************************************************************************
# ******************************************************************************
def example_peculiar_errors():
# number of time intervals
number_intervals = 3
# **************************************************************************
# by providing samples as something other than a list, e.g. tuples
Pedro L. Magalhães
committed
error_was_raised = False
try:
_ = signal.Signal(
number_samples=number_intervals,
samples=(random.random() for i in range(number_intervals)),
lower_bounds=None,
upper_bounds=None,
)
except TypeError:
Pedro L. Magalhães
committed
error_was_raised = True
assert error_was_raised
# by providing an incorrect number of samples
Pedro L. Magalhães
committed
error_was_raised = False
try:
_ = signal.Signal(
number_samples=number_intervals,
samples=[random.random() for i in range(number_intervals + 1)],
lower_bounds=None,
upper_bounds=None,
)
except ValueError:
Pedro L. Magalhães
committed
error_was_raised = True
assert error_was_raised
# **************************************************************************
# **************************************************************************
# the tests below require messing with the internals
# by providing an incorrect number of lower bounds
lower_bounds = [5 for i in range(number_intervals)]
upper_bounds = [7 for i in range(number_intervals)]
Pedro L. Magalhães
committed
error_was_raised = False
try:
sig = signal.Signal(
number_samples=number_intervals,
samples=None,
lower_bounds=lower_bounds,
upper_bounds=upper_bounds,
)
sig.lower_bounds = [random.random() for i in range(number_intervals + 1)]
sig.has_lower_bounds()
except ValueError:
Pedro L. Magalhães
committed
error_was_raised = True
assert error_was_raised
# by providing an incorrect number of upper bounds
Pedro L. Magalhães
committed
error_was_raised = False
try:
sig = signal.Signal(
number_samples=number_intervals,
samples=None,
lower_bounds=lower_bounds,
upper_bounds=upper_bounds,
)
sig.upper_bounds = [random.random() for i in range(number_intervals - 1)]
sig.has_upper_bounds()
except ValueError:
Pedro L. Magalhães
committed
error_was_raised = True
assert error_was_raised
# by providing an incorrect number of samples
Pedro L. Magalhães
committed
error_was_raised = False
try:
sig = signal.Signal(
number_samples=number_intervals,
samples=[random.random() for i in range(number_intervals)],
lower_bounds=None,
upper_bounds=None,
)
sig.samples = [random.random() for i in range(number_intervals - 1)]
sig.is_signal_fixed()
except ValueError:
Pedro L. Magalhães
committed
error_was_raised = True
assert error_was_raised
# by deleting the lower bounds after creating the object
Pedro L. Magalhães
committed
error_was_raised = False
try:
sig = signal.NonNegativeRealSignal(number_samples=number_intervals)
sig.lower_bounds = None
sig.is_lower_bounded = False
if not sig.are_bounds_nnr():
raise ValueError()
except ValueError:
Pedro L. Magalhães
committed
error_was_raised = True
assert error_was_raised
# by providing negative upper bounds (requires even lower lower bounds)
Pedro L. Magalhães
committed
error_was_raised = False
try:
sig = signal.NonNegativeRealSignal(number_samples=number_intervals)
sig.is_upper_bounded = True
sig.upper_bounds = [-1 for i in range(number_intervals)]
if not sig.are_bounds_nnr():
raise ValueError()
except ValueError:
Pedro L. Magalhães
committed
error_was_raised = True
assert error_was_raised
904
905
906
907
908
909
910
911
912
913
914
915
916
917
918
919
920
921
922
923
924
925
926
927
928
929
930
931
932
933
934
935
936
937
938
939
940
941
942
943
944
945
946
947
948
949
950
951
952
953
954
955
956
957
958
959
960
961
962
963
964
965
966
967
968
969
970
971
972
973
974
975
976
977
978
979
980
981
982
983
984
985
986
987
988
989
990
991
992
993
994
995
996
997
998
999
1000
1001
1002
1003
1004
1005
1006
1007
1008
1009
1010
1011
1012
1013
1014
1015
1016
1017
1018
# ******************************************************************************
# ******************************************************************************
def example_binary_signals():
# number of time intervals
number_intervals = 3
# **************************************************************************
# error-free examples
# create a binary signal and insert non-binary integer numbers in it
sig = signal.BinarySignal(number_samples=number_intervals)
assert sig.is_signal_fixed() == False
assert sig.is_signal_bounded() == True # it has upper and lower bounds
assert sig.violates_bounds() == False # because it is not fixed
assert sig.is_nnr() == False # because it is not fixed
assert sig.are_bounds_nnr() == True # because it is within the range [0,1]
sig.set_signal(samples=[3 for _ in range(number_intervals)])
assert sig.is_signal_binary_only(integrality_tolerance=0.0) == False
assert sig.is_signal_integer_only(integrality_tolerance=0.0) == True
assert sig.is_signal_binary_only(integrality_tolerance=None) == False
# create a binary signal and insert a noisy binary numbers in it
sig = signal.BinarySignal(number_samples=number_intervals)
amplitude = 0.1
deviation = [amplitude * (random.random() - 0.5) for _ in range(number_intervals)]
samples = [random.randint(0, 1) + deviation[i] for i in range(number_intervals)]
sig.set_signal(samples=samples)
assert sig.is_signal_fixed() == True
assert sig.is_signal_bounded() == True # it has upper and lower bounds
assert sig.violates_bounds(tolerance=amplitude) == False # it should not
assert sig.is_nnr(tolerance=amplitude) == True # it should be
assert sig.are_bounds_nnr() == True # because it is within the range [0,1]
assert (
sig.is_signal_binary_only(integrality_tolerance=amplitude) == True
) # since the tol. is the ampli.
assert (
sig.is_signal_integer_only(integrality_tolerance=amplitude) == True
) # since the tol. is the ampli.
assert (
sig.is_signal_binary_only(
integrality_tolerance=max([abs(max(deviation)), abs(min(deviation))])
* (1 - 0.1)
)
== False
) # because the tolerance was set below the maximum deviation
assert (
sig.is_signal_integer_only(
integrality_tolerance=max([abs(max(deviation)), abs(min(deviation))])
* (1 - 0.1)
)
== False
) # because the tolerance was set below the maximum deviation
assert sig.is_signal_binary_only(integrality_tolerance=None) == True
# create a binary signal
sig = signal.BinarySignal(number_samples=number_intervals)
assert sig.is_signal_binary_only() == False # because it is not fixed yet
assert sig.is_signal_integer_only() == False # because it is not fixed yet
assert sig.is_signal_fixed() == False
assert sig.is_signal_bounded() == True # it has upper and lower bounds
assert sig.violates_bounds() == False # because it is not fixed
assert sig.is_nnr() == False # because it is not fixed
assert sig.are_bounds_nnr() == True # because it is within the range [0,1]
sig.set_signal(samples=[random.randint(0, 1) for _ in range(number_intervals)])
assert sig.is_signal_binary_only(integrality_tolerance=0.0) == True
assert sig.is_signal_integer_only(integrality_tolerance=0.0) == True
# **************************************************************************
# trigger errors
# by specifying an integrality tolerance greater than or equal to 0.5
Pedro L. Magalhães
committed
error_was_raised = False
try:
sig.is_signal_binary_only(integrality_tolerance=0.5)
except ValueError:
Pedro L. Magalhães
committed
error_was_raised = True
assert error_was_raised
# by specifying an integrality tolerance greater than or equal to 0.5
Pedro L. Magalhães
committed
error_was_raised = False
try:
sig.is_signal_integer_only(integrality_tolerance=0.5)
except ValueError:
Pedro L. Magalhães
committed
error_was_raised = True
assert error_was_raised
# by specifying an integrality tolerance as a tuple
Pedro L. Magalhães
committed
error_was_raised = False
try:
sig.is_signal_binary_only(integrality_tolerance=(0.5,))
except TypeError:
Pedro L. Magalhães
committed
error_was_raised = True
assert error_was_raised
# by specifying an integrality tolerance as a tuple
Pedro L. Magalhães
committed
error_was_raised = False
try:
sig.is_signal_integer_only(integrality_tolerance=(0.5,))
except TypeError:
Pedro L. Magalhães
committed
error_was_raised = True
assert error_was_raised
# by specifying the number of samples as a float
Pedro L. Magalhães
committed
error_was_raised = False
try:
sig = signal.BinarySignal(number_samples=float(number_intervals))
except TypeError:
Pedro L. Magalhães
committed
error_was_raised = True
assert error_was_raised
1061
1062
1063
1064
1065
1066
1067
1068
1069
1070
1071
1072
1073
1074
1075
1076
1077
1078
1079
1080
1081
1082
1083
1084
1085
1086
1087
1088
1089
1090
1091
1092
1093
1094
1095
1096
1097
1098
1099
1100
1101
1102
1103
1104
1105
1106
1107
1108
1109
1110
1111
1112
1113
1114
1115
1116
1117
1118
1119
1120
1121
1122
1123
1124
1125
1126
1127
1128
1129
1130
1131
1132
1133
1134
1135
1136
1137
1138
1139
1140
1141
1142
1143
1144
1145
1146
1147
1148
1149
1150
1151
1152
1153
1154
1155
1156
1157
1158
1159
1160
1161
# ******************************************************************************
# ******************************************************************************
def example_nnr_signals():
# number of time intervals
number_intervals = 3
# **************************************************************************
# error-free examples
# create an NNR signal
sig = signal.NonNegativeRealSignal(number_intervals)
assert sig.is_signal_fixed() == False
assert sig.is_signal_bounded() == True # it has lower bounds by default
assert sig.violates_bounds() == False # because it is not fixed
assert sig.is_nnr() == False # because it is not fixed
assert sig.are_bounds_nnr() == True # default case
# create a create an NNR signal with more specific lower bounds
sig = signal.NonNegativeRealSignal(
number_intervals, lower_bounds=[1 for i in range(number_intervals)]
)
assert sig.is_signal_fixed() == False
assert sig.is_signal_bounded() == True
assert sig.violates_bounds() == False # because it is not fixed
assert sig.is_nnr() == False # because it is not fixed
assert sig.are_bounds_nnr() == True
# create a create an NNR signal with more specific upper bounds
sig = signal.NonNegativeRealSignal(
number_intervals, upper_bounds=[1 for i in range(number_intervals)]
)
assert sig.is_signal_fixed() == False
assert sig.is_signal_bounded() == True
assert sig.violates_bounds() == False # because it is not fixed
assert sig.is_nnr() == False # because it is not fixed
assert sig.are_bounds_nnr() == True
# create a fixed NNR signal
sig = signal.FixedNonNegativeRealSignal(
samples=[random.random() for i in range(number_intervals)]
)
assert sig.is_signal_fixed() == True
assert sig.is_signal_bounded() == True
assert sig.violates_bounds() == False # no, since samples are within [0,1]
assert sig.is_nnr() == True # yes, same as above
assert sig.are_bounds_nnr() == True # yes, same as above
# create a fixed NNR signal with binary numbers
sig = signal.FixedNonNegativeRealSignal(
samples=[random.randint(0, 1) for i in range(number_intervals)]
)
assert sig.is_signal_fixed() == True
assert sig.is_signal_bounded() == True
assert sig.violates_bounds() == False # no, since samples are within [0,1]
assert sig.is_nnr() == True # yes, same as above
assert sig.are_bounds_nnr() == True # yes, same as above
assert sig.is_signal_integer_only() == True
# **************************************************************************
# trigger errors
# by providing a float as the number of intervals
Pedro L. Magalhães
committed
error_was_raised = False
try:
sig = signal.NonNegativeRealSignal(number_samples=float(number_intervals))
except TypeError:
Pedro L. Magalhães
committed
error_was_raised = True
assert error_was_raised
Pedro L. Magalhães
committed
error_was_raised = False
try:
sig = signal.NonNegativeRealSignal(
number_samples=number_intervals,
lower_bounds=[-1 for i in range(number_intervals)],
)
except ValueError:
Pedro L. Magalhães
committed
error_was_raised = True
assert error_was_raised
# by providing samples that are not nnr
samples = [random.random() for i in range(number_intervals)]
samples[-1] = -1
Pedro L. Magalhães
committed
error_was_raised = False
try:
sig = signal.FixedNonNegativeRealSignal(samples=samples)
except ValueError:
Pedro L. Magalhães
committed
error_was_raised = True
assert error_was_raised
# by providing samples as tuples
samples = (random.random() for i in range(number_intervals))
Pedro L. Magalhães
committed
error_was_raised = False
try:
sig = signal.FixedNonNegativeRealSignal(samples=samples)
except TypeError:
Pedro L. Magalhães
committed
error_was_raised = True
assert error_was_raised
1204
1205
1206
1207
1208
1209
1210
1211
1212
1213
1214
1215
1216
1217
1218
1219
1220
1221
1222
1223
1224
1225
1226
1227
1228
1229
1230
1231
1232
1233
1234
1235
1236
1237
1238
1239
1240
1241
1242
1243
1244
1245
1246
1247
1248
1249
1250
1251
1252
1253
1254
1255
1256
# ******************************************************************************
# ******************************************************************************
def example_set_signal():
# number of time intervals
number_intervals = 3
# **************************************************************************
# error-free examples
# create a free signal and set it afterwards
sig = signal.FreeUnboundedSignal(number_samples=number_intervals)
samples = [random.random() for i in range(number_intervals)]
assert sig.is_signal_fixed() == False
sig.set_signal(samples)
assert sig.is_signal_fixed() == True
# create a fixed signal and set it to something else afterwards
sig = signal.FixedSignal(
samples=[0.5 for i in range(number_intervals)],
lower_bounds=[0 for i in range(number_intervals)],
upper_bounds=[1 for i in range(number_intervals)],
)
assert sig.is_signal_fixed() == True
assert sig.violates_bounds() == False
new_samples = [2 for i in range(number_intervals)]
sig.set_signal(new_samples)
assert sig.is_signal_fixed() == True
assert sig.violates_bounds() == True
# **************************************************************************
# trigger errors
# by providing an integer instead of a list
Pedro L. Magalhães
committed
error_was_raised = False
try:
sig.set_signal(samples=3)
except TypeError:
Pedro L. Magalhães
committed
error_was_raised = True
assert error_was_raised
# by providing an incorrectly sized list
Pedro L. Magalhães
committed
error_was_raised = False
try:
sig.set_signal(samples=[2 for i in range(number_intervals + 1)])
except ValueError:
Pedro L. Magalhães
committed
error_was_raised = True
assert error_was_raised
1272
1273
1274
1275
1276
1277
1278
1279
1280
1281
1282
1283
1284
1285
1286
1287
1288
1289
1290
1291
1292
1293
1294
1295
1296
1297
1298
1299
1300
1301
1302
1303
1304
1305
1306
1307
1308
1309
1310
1311
1312
1313
1314
1315
1316
1317
1318
1319
1320
1321
1322
1323
1324
1325
1326
1327
1328
1329
1330
1331
1332
1333
1334
1335
1336
1337
1338
1339
1340
1341
1342
1343
1344
1345
1346
1347
1348
1349
1350
1351
1352
1353
1354
1355
1356
1357
1358
1359
1360
1361
1362
1363
1364
1365
1366
1367
1368
1369
1370
1371
1372
1373
1374
1375
1376
1377
1378
1379
1380
1381
1382
1383
1384
1385
1386
1387
1388
1389
1390
1391
1392
1393
1394
1395
1396
1397
1398
1399
1400
1401
1402
1403
1404
1405
1406
1407
1408
1409
1410
1411
1412
1413
1414
1415
# **************************************************************************
# ******************************************************************************
# ******************************************************************************
def example_bounded_signals():
# number of time intervals
number_intervals = 3
# **************************************************************************
# error-free examples
# create an upper bounded signal via the main class
sig = signal.Signal(
number_samples=number_intervals,
samples=None,
lower_bounds=None,
upper_bounds=[10 for i in range(number_intervals)],
)
assert sig.is_signal_fixed() == False # because it has no samples
assert sig.is_signal_bounded() == True # because it does
assert sig.has_upper_bounds() == True # because it does
assert sig.has_lower_bounds() == False # because it does not
assert sig.violates_bounds() == False # because it is not fixed
# create a lower bounded signal via the main class
sig = signal.Signal(
number_samples=number_intervals,
samples=None,
lower_bounds=[10 for i in range(number_intervals)],
upper_bounds=None,
)
assert sig.is_signal_fixed() == False # because it has no samples
assert sig.is_signal_bounded() == True # because it is
assert sig.has_upper_bounds() == False # because it does not
assert sig.has_lower_bounds() == True # because it does
assert sig.violates_bounds() == False # because it is not fixed
# create a signal with upper and lower bounds via the main class
sig = signal.Signal(
number_samples=number_intervals,
samples=None,
lower_bounds=[3 for i in range(number_intervals)],
upper_bounds=[10 for i in range(number_intervals)],
)
assert sig.is_signal_fixed() == False # because it has no samples
assert sig.is_signal_bounded() == True # because it is
assert sig.has_upper_bounds() == True # because it does
assert sig.has_lower_bounds() == True # because it does
assert sig.violates_bounds() == False # because it is not fixed
# create a fixed signal whose upper bounds are violated every time
sig = signal.FixedSignal(
samples=[11 for i in range(number_intervals)],
lower_bounds=[4 for i in range(number_intervals)],
upper_bounds=[10 for i in range(number_intervals)],
)
assert sig.is_signal_fixed() == True # because it has no samples
assert sig.is_signal_bounded() == True # because it is
assert sig.violates_bounds() == True # because 11 > 4
# create a fixed signal whose lower bounds are violated every time
sig = signal.FixedSignal(
samples=[3 for i in range(number_intervals)],
lower_bounds=[4 for i in range(number_intervals)],
upper_bounds=[10 for i in range(number_intervals)],
)
assert sig.is_signal_fixed() == True # because it has no samples
assert sig.is_signal_bounded() == True # because it does
assert sig.violates_bounds() == True # because 3 < 4
# create a fixed signal whose upper bounds are violated only once
samples = [5 for i in range(number_intervals)]
samples[-1] = 11
sig = signal.FixedSignal(
samples=samples,
lower_bounds=[4 for i in range(number_intervals)],
upper_bounds=[10 for i in range(number_intervals)],
)
assert sig.is_signal_fixed() == True # because it has no samples
assert sig.is_signal_bounded() == True # because it is
assert sig.violates_bounds() == True # because 11 > 4
# create a fixed signal whose lower bounds are violated only once
samples = [5 for i in range(number_intervals)]
samples[-1] = 3
sig = signal.FixedSignal(
samples=samples,
lower_bounds=[4 for i in range(number_intervals)],
upper_bounds=[10 for i in range(number_intervals)],
)
assert sig.is_signal_fixed() == True # because it has no samples
assert sig.is_signal_bounded() == True # because it does
assert sig.violates_bounds() == True # because 3 < 4
# **************************************************************************
# trigger errors
# by providing upper bounds with an inconsistent number of samples
Pedro L. Magalhães
committed
error_was_raised = False
try:
sig = signal.Signal(
number_samples=number_intervals,
samples=None,
lower_bounds=None,
upper_bounds=[10 for i in range(number_intervals - 1)], # one too few
)
except ValueError:
Pedro L. Magalhães
committed
error_was_raised = True
assert error_was_raised
# by providing lower bounds with an inconsistent number of samples
Pedro L. Magalhães
committed
error_was_raised = False
try:
sig = signal.Signal(
number_samples=number_intervals,
samples=None,
lower_bounds=[3 for i in range(number_intervals + 1)], # one extra
upper_bounds=None,
)
except ValueError:
Pedro L. Magalhães
committed
error_was_raised = True
assert error_was_raised
# by providing upper bounds not as a list but as a numeric type
Pedro L. Magalhães
committed
error_was_raised = False
try:
sig = signal.Signal(
number_samples=number_intervals,
samples=None,
lower_bounds=[3 for i in range(number_intervals)], # one extra
upper_bounds=6,
)
except TypeError:
Pedro L. Magalhães
committed
error_was_raised = True
assert error_was_raised
# by providing lower bounds not as a list but as a numeric type
Pedro L. Magalhães
committed
error_was_raised = False
try:
sig = signal.Signal(
number_samples=number_intervals,
samples=None,
lower_bounds=2,
upper_bounds=[5 for i in range(number_intervals)],
)
except TypeError:
Pedro L. Magalhães
committed
error_was_raised = True
assert error_was_raised
# by providing upper bounds lower than the lower bounds
lower_bounds = [5 for i in range(number_intervals)]
upper_bounds = [7 for i in range(number_intervals)]
upper_bounds[-1] = 3
Pedro L. Magalhães
committed
error_was_raised = False
try:
sig = signal.Signal(
number_samples=number_intervals,
samples=None,
lower_bounds=lower_bounds,
upper_bounds=upper_bounds,
)
except ValueError:
Pedro L. Magalhães
committed
error_was_raised = True
assert error_was_raised
# by providing lower bounds higher than the uppper bounds
lower_bounds = [5 for i in range(number_intervals)]
upper_bounds = [7 for i in range(number_intervals)]
lower_bounds[-1] = 9
Pedro L. Magalhães
committed
error_was_raised = False
try:
sig = signal.Signal(
number_samples=number_intervals,
samples=None,
lower_bounds=lower_bounds,
upper_bounds=upper_bounds,
)
except ValueError:
Pedro L. Magalhães
committed
error_was_raised = True
assert error_was_raised
1509
1510
1511
1512
1513
1514
1515
1516
1517
1518
1519
1520
1521
1522
1523
1524
1525
1526
1527
1528
1529
1530
1531
1532
1533
1534
1535
1536
1537
1538
1539
1540
1541
1542
1543
1544
1545
1546
1547
1548
1549
1550
1551
1552
1553
1554
1555
1556
1557
1558
1559
1560
1561
1562
1563
1564
# ******************************************************************************
# ******************************************************************************
def example_free_signals():
# number of time intervals
number_intervals = 3
# **************************************************************************
# error-free examples
# create a free signal without bounds via the main class
sig = signal.Signal(
number_samples=number_intervals,
samples=None,
lower_bounds=None,
upper_bounds=None,
)
assert sig.is_signal_fixed() == False # because it has no samples
assert sig.is_signal_bounded() == False # because it has none
assert sig.violates_bounds() == False # because it has none
# create a free signal via a specific class
sig = signal.FreeSignal(number_samples=number_intervals)
assert sig.is_signal_fixed() == False # because it has no samples
assert sig.is_signal_bounded() == False # because it has none
assert sig.violates_bounds() == False # because it has none
# create a free signal without bounds via a specific class
sig = signal.FreeUnboundedSignal(number_samples=number_intervals)
assert sig.is_signal_fixed() == False # because it has no samples
assert sig.is_signal_bounded() == False # because it has none
assert sig.violates_bounds() == False # because it has none
# **************************************************************************
# trigger errors
# by providing a float as the number of intervals
Pedro L. Magalhães
committed
error_was_raised = False
try:
sig = signal.Signal(
number_samples=float(number_intervals),
samples=None,
lower_bounds=None,
upper_bounds=None,
)
except TypeError:
Pedro L. Magalhães
committed
error_was_raised = True
assert error_was_raised
1576
1577
1578
1579
1580
1581
1582
1583
1584
1585
1586
1587
1588
1589
1590
1591
1592
1593
1594
1595
1596
1597
1598
1599
1600
1601
1602
1603
1604
1605
1606
1607
1608
1609
1610
1611
1612
1613
1614
1615
1616
1617
1618
1619
1620
1621
# ******************************************************************************
# ******************************************************************************
def example_fixed_signals():
# number of time intervals
number_intervals = 3
# **************************************************************************
# error-free examples
# create a fixed input made up of reals
sig = signal.FixedSignal(samples=[random.random() for k in range(number_intervals)])
assert sig.is_signal_fixed() == True # because it is predetermined
assert sig.is_signal_bounded() == False # because it has none
assert sig.violates_bounds() == False # because it has none
# create a fixed signal using the main class
sig = signal.Signal(
number_samples=number_intervals,
samples=[random.random() for k in range(number_intervals)],
lower_bounds=None,
upper_bounds=None,
)
assert sig.is_signal_fixed() == True # because it is predetermined
assert sig.is_signal_bounded() == False # because it has none
assert sig.violates_bounds() == False # because it has none
# **************************************************************************
# trigger errors
# by providing a None when creating a FixedSignal
Pedro L. Magalhães
committed
error_was_raised = False
try:
sig = signal.FixedSignal(samples=None)
except TypeError:
Pedro L. Magalhães
committed
error_was_raised = True
assert error_was_raised
Pedro L. Magalhães
committed
error_was_raised = False
try:
sig = signal.FixedSignal(samples=[])
except ValueError:
Pedro L. Magalhães
committed
error_was_raised = True
assert error_was_raised
# by providing the number of samples as a float
Pedro L. Magalhães
committed
error_was_raised = False
try:
sig = signal.Signal(
number_samples=float(number_intervals),
samples=[random.random() for k in range(number_intervals)],
lower_bounds=None,
upper_bounds=None,
)
except TypeError:
Pedro L. Magalhães
committed
error_was_raised = True
assert error_was_raised
# ******************************************************************************
# ******************************************************************************