@sc-voice/tools 3.14.0 → 3.15.0
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
- package/package.json +1 -1
- package/src/math/interval.mjs +9 -6
- package/src/text/unicode.mjs +6 -0
package/package.json
CHANGED
package/src/math/interval.mjs
CHANGED
|
@@ -1,5 +1,5 @@
|
|
|
1
1
|
import { Unicode } from '../text/unicode.mjs';
|
|
2
|
-
const { INFINITY } = Unicode;
|
|
2
|
+
const { EMPTY_SET, INFINITY } = Unicode;
|
|
3
3
|
import { ColorConsole } from '../text/color-console.mjs';
|
|
4
4
|
const { cc } = ColorConsole;
|
|
5
5
|
import { DBG } from '../defines.mjs';
|
|
@@ -126,22 +126,25 @@ export class Interval {
|
|
|
126
126
|
}
|
|
127
127
|
|
|
128
128
|
toString() {
|
|
129
|
-
let { lo, hi } = this;
|
|
129
|
+
let { lo, hi, leftOpen, rightOpen, isEmpty } = this;
|
|
130
|
+
if (isEmpty) {
|
|
131
|
+
return EMPTY_SET;
|
|
132
|
+
}
|
|
130
133
|
if (lo === hi) {
|
|
131
134
|
return [
|
|
132
|
-
|
|
135
|
+
leftOpen ? '(' : '[',
|
|
133
136
|
lo === INFINITY ? MINUS_INFINITY : lo,
|
|
134
137
|
lo == null ? '' : ',',
|
|
135
138
|
hi === INFINITY ? PLUS_INFINITY : hi,
|
|
136
|
-
|
|
139
|
+
rightOpen ? ')' : ']',
|
|
137
140
|
].join('');
|
|
138
141
|
}
|
|
139
142
|
return [
|
|
140
|
-
|
|
143
|
+
leftOpen ? '(' : '[',
|
|
141
144
|
lo === INFINITY ? MINUS_INFINITY : lo,
|
|
142
145
|
lo === hi ? '' : ',',
|
|
143
146
|
hi === INFINITY ? PLUS_INFINITY : hi,
|
|
144
|
-
|
|
147
|
+
rightOpen ? ')' : ']',
|
|
145
148
|
].join('');
|
|
146
149
|
}
|
|
147
150
|
|
package/src/text/unicode.mjs
CHANGED
|
@@ -220,6 +220,9 @@ export class Unicode {
|
|
|
220
220
|
static get IMPLIES() {
|
|
221
221
|
return '\u21D2';
|
|
222
222
|
}
|
|
223
|
+
static get EMPTY_SET() {
|
|
224
|
+
return '\u2205';
|
|
225
|
+
}
|
|
223
226
|
static get ELEMENT_OF() {
|
|
224
227
|
return '\u2208';
|
|
225
228
|
}
|
|
@@ -355,6 +358,9 @@ export class Unicode {
|
|
|
355
358
|
get IMPLIES() {
|
|
356
359
|
return Unicode.IMPLIES;
|
|
357
360
|
}
|
|
361
|
+
get EMPTY_SET() {
|
|
362
|
+
return Unicode.EMPTY_SET;
|
|
363
|
+
}
|
|
358
364
|
get ELEMENT_OF() {
|
|
359
365
|
return Unicode.ELEMENT_OF;
|
|
360
366
|
}
|