<?php
$types = [
[null, null],
[null, -2],
[null, 2],
[-2, null],
[2, null],
[-2, 2],
];
$a = 'f';
foreach($types as $key => $type) {
echo "(interval[".($type[0]??'-∞').",".($type[1]??'∞')."] * -1) = -(interval[".($type[0]??'-∞').",".($type[1]??'∞')."]);\r\n";
}
- Output for 7.3.0 - 7.3.33, 7.4.0 - 7.4.33, 8.0.0 - 8.0.30, 8.1.0 - 8.1.33, 8.2.0 - 8.2.29, 8.3.0 - 8.3.4, 8.3.6 - 8.3.26, 8.4.1 - 8.4.13
- (interval[-∞,∞] * -1) = -(interval[-∞,∞]);
(interval[-∞,-2] * -1) = -(interval[-∞,-2]);
(interval[-∞,2] * -1) = -(interval[-∞,2]);
(interval[-2,∞] * -1) = -(interval[-2,∞]);
(interval[2,∞] * -1) = -(interval[2,∞]);
(interval[-2,2] * -1) = -(interval[-2,2]);
- Output for 8.3.5
- Warning: PHP Startup: Unable to load dynamic library 'sodium.so' (tried: /usr/lib/php/8.3.5/modules/sodium.so (libsodium.so.23: cannot open shared object file: No such file or directory), /usr/lib/php/8.3.5/modules/sodium.so.so (/usr/lib/php/8.3.5/modules/sodium.so.so: cannot open shared object file: No such file or directory)) in Unknown on line 0
(interval[-∞,∞] * -1) = -(interval[-∞,∞]);
(interval[-∞,-2] * -1) = -(interval[-∞,-2]);
(interval[-∞,2] * -1) = -(interval[-∞,2]);
(interval[-2,∞] * -1) = -(interval[-2,∞]);
(interval[2,∞] * -1) = -(interval[2,∞]);
(interval[-2,2] * -1) = -(interval[-2,2]);
preferences:
152.04 ms | 409 KiB | 5 Q