eyeling 1.34.3 → 1.34.4

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.
Files changed (48) hide show
  1. package/README.md +7 -9
  2. package/docs/eyelang-guide.md +5 -10
  3. package/docs/eyelang-language-reference.md +31 -5
  4. package/examples/eyelang/bayes-therapy.pl +4 -4
  5. package/examples/eyelang/output/reusable-builtins.pl +5 -0
  6. package/examples/eyelang/output/term-tools.pl +6 -0
  7. package/examples/eyelang/reusable-builtins.pl +32 -0
  8. package/examples/eyelang/term-tools.pl +23 -0
  9. package/lib/eyelang/builtins/arithmetic.js +19 -6
  10. package/lib/eyelang/builtins/control.js +12 -0
  11. package/lib/eyelang/builtins/lists.js +146 -7
  12. package/lib/eyelang/builtins/registry.js +2 -3
  13. package/lib/eyelang/builtins/strings.js +165 -1
  14. package/lib/eyelang/builtins/terms.js +66 -0
  15. package/package.json +1 -1
  16. package/test/eyelang/conformance/README.md +1 -1
  17. package/test/eyelang/conformance/cases/extension/036_reusable_numeric_builtins.pl +10 -0
  18. package/test/eyelang/conformance/cases/extension/037_reusable_list_builtins.pl +11 -0
  19. package/test/eyelang/conformance/cases/extension/038_reusable_string_builtins.pl +12 -0
  20. package/test/eyelang/conformance/cases/extension/039_reusable_term_control_builtins.pl +11 -0
  21. package/test/eyelang/conformance/expected/extension/036_reusable_numeric_builtins.out +8 -0
  22. package/test/eyelang/conformance/expected/extension/037_reusable_list_builtins.out +9 -0
  23. package/test/eyelang/conformance/expected/extension/038_reusable_string_builtins.out +10 -0
  24. package/test/eyelang/conformance/expected/extension/039_reusable_term_control_builtins.out +6 -0
  25. package/examples/eyelang/collatz-1000.pl +0 -14
  26. package/examples/eyelang/complex-matrix-stability.pl +0 -45
  27. package/examples/eyelang/gcd-bezout-identity.pl +0 -48
  28. package/examples/eyelang/goldbach-1000.pl +0 -185
  29. package/examples/eyelang/kaprekar.pl +0 -32
  30. package/examples/eyelang/matrix.pl +0 -296
  31. package/examples/eyelang/output/collatz-1000.pl +0 -1000
  32. package/examples/eyelang/output/complex-matrix-stability.pl +0 -5
  33. package/examples/eyelang/output/gcd-bezout-identity.pl +0 -36
  34. package/examples/eyelang/output/goldbach-1000.pl +0 -667
  35. package/examples/eyelang/output/kaprekar.pl +0 -8
  36. package/examples/eyelang/output/matrix.pl +0 -10
  37. package/lib/eyelang/builtins/matrix.js +0 -226
  38. package/lib/eyelang/builtins/number-theory.js +0 -114
  39. package/test/eyelang/conformance/cases/extension/036_extended_gcd.pl +0 -3
  40. package/test/eyelang/conformance/cases/extension/037_collatz_trajectory.pl +0 -3
  41. package/test/eyelang/conformance/cases/extension/038_kaprekar_steps.pl +0 -3
  42. package/test/eyelang/conformance/cases/extension/039_goldbach_pair.pl +0 -3
  43. package/test/eyelang/conformance/cases/extension/040_matrix_operations.pl +0 -5
  44. package/test/eyelang/conformance/expected/extension/036_extended_gcd.out +0 -1
  45. package/test/eyelang/conformance/expected/extension/037_collatz_trajectory.out +0 -1
  46. package/test/eyelang/conformance/expected/extension/038_kaprekar_steps.out +0 -1
  47. package/test/eyelang/conformance/expected/extension/039_goldbach_pair.out +0 -2
  48. package/test/eyelang/conformance/expected/extension/040_matrix_operations.out +0 -3
package/examples/eyelang/output/complex-matrix-stability.pl DELETED
@@ -1,5 +0,0 @@
1
- trace(controller_loop, -1.2).
2
- determinant(controller_loop, 0.82999999999999996).
3
- discriminant(controller_loop, -1.8799999999999999).
4
- eigenShape(controller_loop, complex_conjugate_pair).
5
- status(controller_loop, asymptotically_stable).
package/examples/eyelang/output/gcd-bezout-identity.pl DELETED
@@ -1,36 +0,0 @@
1
- gcd(c1, 6).
2
- gcd(c2, 1).
3
- gcd(c3, 5).
4
- gcd(c4, 6).
5
- gcd(c5, 9).
6
- gcd(c6, 6).
7
- bezoutCoefficients(c1, [-1, 3]).
8
- bezoutCoefficients(c2, [215, -47]).
9
- bezoutCoefficients(c3, [0, 1]).
10
- bezoutCoefficients(c4, [5, -7]).
11
- bezoutCoefficients(c5, [1, 1]).
12
- bezoutCoefficients(c6, [-649, 10155]).
13
- check(c1, bezout_identity).
14
- check(c2, bezout_identity).
15
- check(c3, bezout_identity).
16
- check(c4, bezout_identity).
17
- check(c5, bezout_identity).
18
- check(c6, bezout_identity).
19
- check(c1, divides_inputs).
20
- check(c2, divides_inputs).
21
- check(c3, divides_inputs).
22
- check(c4, divides_inputs).
23
- check(c5, divides_inputs).
24
- check(c6, divides_inputs).
25
- check(c1, nonnegative_gcd).
26
- check(c2, nonnegative_gcd).
27
- check(c3, nonnegative_gcd).
28
- check(c4, nonnegative_gcd).
29
- check(c5, nonnegative_gcd).
30
- check(c6, nonnegative_gcd).
31
- status(c1, done).
32
- status(c2, done).
33
- status(c3, done).
34
- status(c4, done).
35
- status(c5, done).
36
- status(c6, done).
package/examples/eyelang/output/goldbach-1000.pl DELETED
@@ -1,667 +0,0 @@
1
- isPrime(2, true).
2
- isPrime(3, true).
3
- isPrime(5, true).
4
- isPrime(7, true).
5
- isPrime(11, true).
6
- isPrime(13, true).
7
- isPrime(17, true).
8
- isPrime(19, true).
9
- isPrime(23, true).
10
- isPrime(29, true).
11
- isPrime(31, true).
12
- isPrime(37, true).
13
- isPrime(41, true).
14
- isPrime(43, true).
15
- isPrime(47, true).
16
- isPrime(53, true).
17
- isPrime(59, true).
18
- isPrime(61, true).
19
- isPrime(67, true).
20
- isPrime(71, true).
21
- isPrime(73, true).
22
- isPrime(79, true).
23
- isPrime(83, true).
24
- isPrime(89, true).
25
- isPrime(97, true).
26
- isPrime(101, true).
27
- isPrime(103, true).
28
- isPrime(107, true).
29
- isPrime(109, true).
30
- isPrime(113, true).
31
- isPrime(127, true).
32
- isPrime(131, true).
33
- isPrime(137, true).
34
- isPrime(139, true).
35
- isPrime(149, true).
36
- isPrime(151, true).
37
- isPrime(157, true).
38
- isPrime(163, true).
39
- isPrime(167, true).
40
- isPrime(173, true).
41
- isPrime(179, true).
42
- isPrime(181, true).
43
- isPrime(191, true).
44
- isPrime(193, true).
45
- isPrime(197, true).
46
- isPrime(199, true).
47
- isPrime(211, true).
48
- isPrime(223, true).
49
- isPrime(227, true).
50
- isPrime(229, true).
51
- isPrime(233, true).
52
- isPrime(239, true).
53
- isPrime(241, true).
54
- isPrime(251, true).
55
- isPrime(257, true).
56
- isPrime(263, true).
57
- isPrime(269, true).
58
- isPrime(271, true).
59
- isPrime(277, true).
60
- isPrime(281, true).
61
- isPrime(283, true).
62
- isPrime(293, true).
63
- isPrime(307, true).
64
- isPrime(311, true).
65
- isPrime(313, true).
66
- isPrime(317, true).
67
- isPrime(331, true).
68
- isPrime(337, true).
69
- isPrime(347, true).
70
- isPrime(349, true).
71
- isPrime(353, true).
72
- isPrime(359, true).
73
- isPrime(367, true).
74
- isPrime(373, true).
75
- isPrime(379, true).
76
- isPrime(383, true).
77
- isPrime(389, true).
78
- isPrime(397, true).
79
- isPrime(401, true).
80
- isPrime(409, true).
81
- isPrime(419, true).
82
- isPrime(421, true).
83
- isPrime(431, true).
84
- isPrime(433, true).
85
- isPrime(439, true).
86
- isPrime(443, true).
87
- isPrime(449, true).
88
- isPrime(457, true).
89
- isPrime(461, true).
90
- isPrime(463, true).
91
- isPrime(467, true).
92
- isPrime(479, true).
93
- isPrime(487, true).
94
- isPrime(491, true).
95
- isPrime(499, true).
96
- isPrime(503, true).
97
- isPrime(509, true).
98
- isPrime(521, true).
99
- isPrime(523, true).
100
- isPrime(541, true).
101
- isPrime(547, true).
102
- isPrime(557, true).
103
- isPrime(563, true).
104
- isPrime(569, true).
105
- isPrime(571, true).
106
- isPrime(577, true).
107
- isPrime(587, true).
108
- isPrime(593, true).
109
- isPrime(599, true).
110
- isPrime(601, true).
111
- isPrime(607, true).
112
- isPrime(613, true).
113
- isPrime(617, true).
114
- isPrime(619, true).
115
- isPrime(631, true).
116
- isPrime(641, true).
117
- isPrime(643, true).
118
- isPrime(647, true).
119
- isPrime(653, true).
120
- isPrime(659, true).
121
- isPrime(661, true).
122
- isPrime(673, true).
123
- isPrime(677, true).
124
- isPrime(683, true).
125
- isPrime(691, true).
126
- isPrime(701, true).
127
- isPrime(709, true).
128
- isPrime(719, true).
129
- isPrime(727, true).
130
- isPrime(733, true).
131
- isPrime(739, true).
132
- isPrime(743, true).
133
- isPrime(751, true).
134
- isPrime(757, true).
135
- isPrime(761, true).
136
- isPrime(769, true).
137
- isPrime(773, true).
138
- isPrime(787, true).
139
- isPrime(797, true).
140
- isPrime(809, true).
141
- isPrime(811, true).
142
- isPrime(821, true).
143
- isPrime(823, true).
144
- isPrime(827, true).
145
- isPrime(829, true).
146
- isPrime(839, true).
147
- isPrime(853, true).
148
- isPrime(857, true).
149
- isPrime(859, true).
150
- isPrime(863, true).
151
- isPrime(877, true).
152
- isPrime(881, true).
153
- isPrime(883, true).
154
- isPrime(887, true).
155
- isPrime(907, true).
156
- isPrime(911, true).
157
- isPrime(919, true).
158
- isPrime(929, true).
159
- isPrime(937, true).
160
- isPrime(941, true).
161
- isPrime(947, true).
162
- isPrime(953, true).
163
- isPrime(967, true).
164
- isPrime(971, true).
165
- isPrime(977, true).
166
- isPrime(983, true).
167
- isPrime(991, true).
168
- isPrime(997, true).
169
- goldbachOk(4, true).
170
- goldbachOk(6, true).
171
- goldbachOk(8, true).
172
- goldbachOk(10, true).
173
- goldbachOk(12, true).
174
- goldbachOk(14, true).
175
- goldbachOk(16, true).
176
- goldbachOk(18, true).
177
- goldbachOk(20, true).
178
- goldbachOk(22, true).
179
- goldbachOk(24, true).
180
- goldbachOk(26, true).
181
- goldbachOk(28, true).
182
- goldbachOk(30, true).
183
- goldbachOk(32, true).
184
- goldbachOk(34, true).
185
- goldbachOk(36, true).
186
- goldbachOk(38, true).
187
- goldbachOk(40, true).
188
- goldbachOk(42, true).
189
- goldbachOk(44, true).
190
- goldbachOk(46, true).
191
- goldbachOk(48, true).
192
- goldbachOk(50, true).
193
- goldbachOk(52, true).
194
- goldbachOk(54, true).
195
- goldbachOk(56, true).
196
- goldbachOk(58, true).
197
- goldbachOk(60, true).
198
- goldbachOk(62, true).
199
- goldbachOk(64, true).
200
- goldbachOk(66, true).
201
- goldbachOk(68, true).
202
- goldbachOk(70, true).
203
- goldbachOk(72, true).
204
- goldbachOk(74, true).
205
- goldbachOk(76, true).
206
- goldbachOk(78, true).
207
- goldbachOk(80, true).
208
- goldbachOk(82, true).
209
- goldbachOk(84, true).
210
- goldbachOk(86, true).
211
- goldbachOk(88, true).
212
- goldbachOk(90, true).
213
- goldbachOk(92, true).
214
- goldbachOk(94, true).
215
- goldbachOk(96, true).
216
- goldbachOk(98, true).
217
- goldbachOk(100, true).
218
- goldbachOk(102, true).
219
- goldbachOk(104, true).
220
- goldbachOk(106, true).
221
- goldbachOk(108, true).
222
- goldbachOk(110, true).
223
- goldbachOk(112, true).
224
- goldbachOk(114, true).
225
- goldbachOk(116, true).
226
- goldbachOk(118, true).
227
- goldbachOk(120, true).
228
- goldbachOk(122, true).
229
- goldbachOk(124, true).
230
- goldbachOk(126, true).
231
- goldbachOk(128, true).
232
- goldbachOk(130, true).
233
- goldbachOk(132, true).
234
- goldbachOk(134, true).
235
- goldbachOk(136, true).
236
- goldbachOk(138, true).
237
- goldbachOk(140, true).
238
- goldbachOk(142, true).
239
- goldbachOk(144, true).
240
- goldbachOk(146, true).
241
- goldbachOk(148, true).
242
- goldbachOk(150, true).
243
- goldbachOk(152, true).
244
- goldbachOk(154, true).
245
- goldbachOk(156, true).
246
- goldbachOk(158, true).
247
- goldbachOk(160, true).
248
- goldbachOk(162, true).
249
- goldbachOk(164, true).
250
- goldbachOk(166, true).
251
- goldbachOk(168, true).
252
- goldbachOk(170, true).
253
- goldbachOk(172, true).
254
- goldbachOk(174, true).
255
- goldbachOk(176, true).
256
- goldbachOk(178, true).
257
- goldbachOk(180, true).
258
- goldbachOk(182, true).
259
- goldbachOk(184, true).
260
- goldbachOk(186, true).
261
- goldbachOk(188, true).
262
- goldbachOk(190, true).
263
- goldbachOk(192, true).
264
- goldbachOk(194, true).
265
- goldbachOk(196, true).
266
- goldbachOk(198, true).
267
- goldbachOk(200, true).
268
- goldbachOk(202, true).
269
- goldbachOk(204, true).
270
- goldbachOk(206, true).
271
- goldbachOk(208, true).
272
- goldbachOk(210, true).
273
- goldbachOk(212, true).
274
- goldbachOk(214, true).
275
- goldbachOk(216, true).
276
- goldbachOk(218, true).
277
- goldbachOk(220, true).
278
- goldbachOk(222, true).
279
- goldbachOk(224, true).
280
- goldbachOk(226, true).
281
- goldbachOk(228, true).
282
- goldbachOk(230, true).
283
- goldbachOk(232, true).
284
- goldbachOk(234, true).
285
- goldbachOk(236, true).
286
- goldbachOk(238, true).
287
- goldbachOk(240, true).
288
- goldbachOk(242, true).
289
- goldbachOk(244, true).
290
- goldbachOk(246, true).
291
- goldbachOk(248, true).
292
- goldbachOk(250, true).
293
- goldbachOk(252, true).
294
- goldbachOk(254, true).
295
- goldbachOk(256, true).
296
- goldbachOk(258, true).
297
- goldbachOk(260, true).
298
- goldbachOk(262, true).
299
- goldbachOk(264, true).
300
- goldbachOk(266, true).
301
- goldbachOk(268, true).
302
- goldbachOk(270, true).
303
- goldbachOk(272, true).
304
- goldbachOk(274, true).
305
- goldbachOk(276, true).
306
- goldbachOk(278, true).
307
- goldbachOk(280, true).
308
- goldbachOk(282, true).
309
- goldbachOk(284, true).
310
- goldbachOk(286, true).
311
- goldbachOk(288, true).
312
- goldbachOk(290, true).
313
- goldbachOk(292, true).
314
- goldbachOk(294, true).
315
- goldbachOk(296, true).
316
- goldbachOk(298, true).
317
- goldbachOk(300, true).
318
- goldbachOk(302, true).
319
- goldbachOk(304, true).
320
- goldbachOk(306, true).
321
- goldbachOk(308, true).
322
- goldbachOk(310, true).
323
- goldbachOk(312, true).
324
- goldbachOk(314, true).
325
- goldbachOk(316, true).
326
- goldbachOk(318, true).
327
- goldbachOk(320, true).
328
- goldbachOk(322, true).
329
- goldbachOk(324, true).
330
- goldbachOk(326, true).
331
- goldbachOk(328, true).
332
- goldbachOk(330, true).
333
- goldbachOk(332, true).
334
- goldbachOk(334, true).
335
- goldbachOk(336, true).
336
- goldbachOk(338, true).
337
- goldbachOk(340, true).
338
- goldbachOk(342, true).
339
- goldbachOk(344, true).
340
- goldbachOk(346, true).
341
- goldbachOk(348, true).
342
- goldbachOk(350, true).
343
- goldbachOk(352, true).
344
- goldbachOk(354, true).
345
- goldbachOk(356, true).
346
- goldbachOk(358, true).
347
- goldbachOk(360, true).
348
- goldbachOk(362, true).
349
- goldbachOk(364, true).
350
- goldbachOk(366, true).
351
- goldbachOk(368, true).
352
- goldbachOk(370, true).
353
- goldbachOk(372, true).
354
- goldbachOk(374, true).
355
- goldbachOk(376, true).
356
- goldbachOk(378, true).
357
- goldbachOk(380, true).
358
- goldbachOk(382, true).
359
- goldbachOk(384, true).
360
- goldbachOk(386, true).
361
- goldbachOk(388, true).
362
- goldbachOk(390, true).
363
- goldbachOk(392, true).
364
- goldbachOk(394, true).
365
- goldbachOk(396, true).
366
- goldbachOk(398, true).
367
- goldbachOk(400, true).
368
- goldbachOk(402, true).
369
- goldbachOk(404, true).
370
- goldbachOk(406, true).
371
- goldbachOk(408, true).
372
- goldbachOk(410, true).
373
- goldbachOk(412, true).
374
- goldbachOk(414, true).
375
- goldbachOk(416, true).
376
- goldbachOk(418, true).
377
- goldbachOk(420, true).
378
- goldbachOk(422, true).
379
- goldbachOk(424, true).
380
- goldbachOk(426, true).
381
- goldbachOk(428, true).
382
- goldbachOk(430, true).
383
- goldbachOk(432, true).
384
- goldbachOk(434, true).
385
- goldbachOk(436, true).
386
- goldbachOk(438, true).
387
- goldbachOk(440, true).
388
- goldbachOk(442, true).
389
- goldbachOk(444, true).
390
- goldbachOk(446, true).
391
- goldbachOk(448, true).
392
- goldbachOk(450, true).
393
- goldbachOk(452, true).
394
- goldbachOk(454, true).
395
- goldbachOk(456, true).
396
- goldbachOk(458, true).
397
- goldbachOk(460, true).
398
- goldbachOk(462, true).
399
- goldbachOk(464, true).
400
- goldbachOk(466, true).
401
- goldbachOk(468, true).
402
- goldbachOk(470, true).
403
- goldbachOk(472, true).
404
- goldbachOk(474, true).
405
- goldbachOk(476, true).
406
- goldbachOk(478, true).
407
- goldbachOk(480, true).
408
- goldbachOk(482, true).
409
- goldbachOk(484, true).
410
- goldbachOk(486, true).
411
- goldbachOk(488, true).
412
- goldbachOk(490, true).
413
- goldbachOk(492, true).
414
- goldbachOk(494, true).
415
- goldbachOk(496, true).
416
- goldbachOk(498, true).
417
- goldbachOk(500, true).
418
- goldbachOk(502, true).
419
- goldbachOk(504, true).
420
- goldbachOk(506, true).
421
- goldbachOk(508, true).
422
- goldbachOk(510, true).
423
- goldbachOk(512, true).
424
- goldbachOk(514, true).
425
- goldbachOk(516, true).
426
- goldbachOk(518, true).
427
- goldbachOk(520, true).
428
- goldbachOk(522, true).
429
- goldbachOk(524, true).
430
- goldbachOk(526, true).
431
- goldbachOk(528, true).
432
- goldbachOk(530, true).
433
- goldbachOk(532, true).
434
- goldbachOk(534, true).
435
- goldbachOk(536, true).
436
- goldbachOk(538, true).
437
- goldbachOk(540, true).
438
- goldbachOk(542, true).
439
- goldbachOk(544, true).
440
- goldbachOk(546, true).
441
- goldbachOk(548, true).
442
- goldbachOk(550, true).
443
- goldbachOk(552, true).
444
- goldbachOk(554, true).
445
- goldbachOk(556, true).
446
- goldbachOk(558, true).
447
- goldbachOk(560, true).
448
- goldbachOk(562, true).
449
- goldbachOk(564, true).
450
- goldbachOk(566, true).
451
- goldbachOk(568, true).
452
- goldbachOk(570, true).
453
- goldbachOk(572, true).
454
- goldbachOk(574, true).
455
- goldbachOk(576, true).
456
- goldbachOk(578, true).
457
- goldbachOk(580, true).
458
- goldbachOk(582, true).
459
- goldbachOk(584, true).
460
- goldbachOk(586, true).
461
- goldbachOk(588, true).
462
- goldbachOk(590, true).
463
- goldbachOk(592, true).
464
- goldbachOk(594, true).
465
- goldbachOk(596, true).
466
- goldbachOk(598, true).
467
- goldbachOk(600, true).
468
- goldbachOk(602, true).
469
- goldbachOk(604, true).
470
- goldbachOk(606, true).
471
- goldbachOk(608, true).
472
- goldbachOk(610, true).
473
- goldbachOk(612, true).
474
- goldbachOk(614, true).
475
- goldbachOk(616, true).
476
- goldbachOk(618, true).
477
- goldbachOk(620, true).
478
- goldbachOk(622, true).
479
- goldbachOk(624, true).
480
- goldbachOk(626, true).
481
- goldbachOk(628, true).
482
- goldbachOk(630, true).
483
- goldbachOk(632, true).
484
- goldbachOk(634, true).
485
- goldbachOk(636, true).
486
- goldbachOk(638, true).
487
- goldbachOk(640, true).
488
- goldbachOk(642, true).
489
- goldbachOk(644, true).
490
- goldbachOk(646, true).
491
- goldbachOk(648, true).
492
- goldbachOk(650, true).
493
- goldbachOk(652, true).
494
- goldbachOk(654, true).
495
- goldbachOk(656, true).
496
- goldbachOk(658, true).
497
- goldbachOk(660, true).
498
- goldbachOk(662, true).
499
- goldbachOk(664, true).
500
- goldbachOk(666, true).
501
- goldbachOk(668, true).
502
- goldbachOk(670, true).
503
- goldbachOk(672, true).
504
- goldbachOk(674, true).
505
- goldbachOk(676, true).
506
- goldbachOk(678, true).
507
- goldbachOk(680, true).
508
- goldbachOk(682, true).
509
- goldbachOk(684, true).
510
- goldbachOk(686, true).
511
- goldbachOk(688, true).
512
- goldbachOk(690, true).
513
- goldbachOk(692, true).
514
- goldbachOk(694, true).
515
- goldbachOk(696, true).
516
- goldbachOk(698, true).
517
- goldbachOk(700, true).
518
- goldbachOk(702, true).
519
- goldbachOk(704, true).
520
- goldbachOk(706, true).
521
- goldbachOk(708, true).
522
- goldbachOk(710, true).
523
- goldbachOk(712, true).
524
- goldbachOk(714, true).
525
- goldbachOk(716, true).
526
- goldbachOk(718, true).
527
- goldbachOk(720, true).
528
- goldbachOk(722, true).
529
- goldbachOk(724, true).
530
- goldbachOk(726, true).
531
- goldbachOk(728, true).
532
- goldbachOk(730, true).
533
- goldbachOk(732, true).
534
- goldbachOk(734, true).
535
- goldbachOk(736, true).
536
- goldbachOk(738, true).
537
- goldbachOk(740, true).
538
- goldbachOk(742, true).
539
- goldbachOk(744, true).
540
- goldbachOk(746, true).
541
- goldbachOk(748, true).
542
- goldbachOk(750, true).
543
- goldbachOk(752, true).
544
- goldbachOk(754, true).
545
- goldbachOk(756, true).
546
- goldbachOk(758, true).
547
- goldbachOk(760, true).
548
- goldbachOk(762, true).
549
- goldbachOk(764, true).
550
- goldbachOk(766, true).
551
- goldbachOk(768, true).
552
- goldbachOk(770, true).
553
- goldbachOk(772, true).
554
- goldbachOk(774, true).
555
- goldbachOk(776, true).
556
- goldbachOk(778, true).
557
- goldbachOk(780, true).
558
- goldbachOk(782, true).
559
- goldbachOk(784, true).
560
- goldbachOk(786, true).
561
- goldbachOk(788, true).
562
- goldbachOk(790, true).
563
- goldbachOk(792, true).
564
- goldbachOk(794, true).
565
- goldbachOk(796, true).
566
- goldbachOk(798, true).
567
- goldbachOk(800, true).
568
- goldbachOk(802, true).
569
- goldbachOk(804, true).
570
- goldbachOk(806, true).
571
- goldbachOk(808, true).
572
- goldbachOk(810, true).
573
- goldbachOk(812, true).
574
- goldbachOk(814, true).
575
- goldbachOk(816, true).
576
- goldbachOk(818, true).
577
- goldbachOk(820, true).
578
- goldbachOk(822, true).
579
- goldbachOk(824, true).
580
- goldbachOk(826, true).
581
- goldbachOk(828, true).
582
- goldbachOk(830, true).
583
- goldbachOk(832, true).
584
- goldbachOk(834, true).
585
- goldbachOk(836, true).
586
- goldbachOk(838, true).
587
- goldbachOk(840, true).
588
- goldbachOk(842, true).
589
- goldbachOk(844, true).
590
- goldbachOk(846, true).
591
- goldbachOk(848, true).
592
- goldbachOk(850, true).
593
- goldbachOk(852, true).
594
- goldbachOk(854, true).
595
- goldbachOk(856, true).
596
- goldbachOk(858, true).
597
- goldbachOk(860, true).
598
- goldbachOk(862, true).
599
- goldbachOk(864, true).
600
- goldbachOk(866, true).
601
- goldbachOk(868, true).
602
- goldbachOk(870, true).
603
- goldbachOk(872, true).
604
- goldbachOk(874, true).
605
- goldbachOk(876, true).
606
- goldbachOk(878, true).
607
- goldbachOk(880, true).
608
- goldbachOk(882, true).
609
- goldbachOk(884, true).
610
- goldbachOk(886, true).
611
- goldbachOk(888, true).
612
- goldbachOk(890, true).
613
- goldbachOk(892, true).
614
- goldbachOk(894, true).
615
- goldbachOk(896, true).
616
- goldbachOk(898, true).
617
- goldbachOk(900, true).
618
- goldbachOk(902, true).
619
- goldbachOk(904, true).
620
- goldbachOk(906, true).
621
- goldbachOk(908, true).
622
- goldbachOk(910, true).
623
- goldbachOk(912, true).
624
- goldbachOk(914, true).
625
- goldbachOk(916, true).
626
- goldbachOk(918, true).
627
- goldbachOk(920, true).
628
- goldbachOk(922, true).
629
- goldbachOk(924, true).
630
- goldbachOk(926, true).
631
- goldbachOk(928, true).
632
- goldbachOk(930, true).
633
- goldbachOk(932, true).
634
- goldbachOk(934, true).
635
- goldbachOk(936, true).
636
- goldbachOk(938, true).
637
- goldbachOk(940, true).
638
- goldbachOk(942, true).
639
- goldbachOk(944, true).
640
- goldbachOk(946, true).
641
- goldbachOk(948, true).
642
- goldbachOk(950, true).
643
- goldbachOk(952, true).
644
- goldbachOk(954, true).
645
- goldbachOk(956, true).
646
- goldbachOk(958, true).
647
- goldbachOk(960, true).
648
- goldbachOk(962, true).
649
- goldbachOk(964, true).
650
- goldbachOk(966, true).
651
- goldbachOk(968, true).
652
- goldbachOk(970, true).
653
- goldbachOk(972, true).
654
- goldbachOk(974, true).
655
- goldbachOk(976, true).
656
- goldbachOk(978, true).
657
- goldbachOk(980, true).
658
- goldbachOk(982, true).
659
- goldbachOk(984, true).
660
- goldbachOk(986, true).
661
- goldbachOk(988, true).
662
- goldbachOk(990, true).
663
- goldbachOk(992, true).
664
- goldbachOk(994, true).
665
- goldbachOk(996, true).
666
- goldbachOk(998, true).
667
- goldbachOk(1000, true).
package/examples/eyelang/output/kaprekar.pl DELETED
@@ -1,8 +0,0 @@
1
- kaprekarSteps(3524, 3).
2
- kaprekarSteps(2111, 5).
3
- kaprekarSteps(9831, 7).
4
- kaprekarSteps(6174, 0).
5
- reachesConstant(kaprekar, 3524).
6
- reachesConstant(kaprekar, 2111).
7
- reachesConstant(kaprekar, 9831).
8
- reachesConstant(kaprekar, 6174).
package/examples/eyelang/output/matrix.pl DELETED
@@ -1,10 +0,0 @@
1
- result(det3, determinant([[2, -1, 0], [-1, 2, -1], [0, -1, 2]], 4.0)).
2
- result(inv3, matrix_inversion([[2, -1, 0], [-1, 2, -1], [0, -1, 2]], [[0.74999999999999978, 0.5, 0.25], [0.5, 1.0000000000000004, 0.50000000000000022], [0.25, 0.50000000000000022, 0.75000000000000011]])).
3
- result(inv4, matrix_inversion([[18, 22, 54, 42], [22, 70, 86, 62], [54, 86, 174, 134], [42, 62, 134, 106]], [[2.5156250000000067, 0.48437500000000011, -1.2968749999999987, 0.35937499999999561], [0.48437500000000011, 0.14062499999999961, -0.32812499999999822, 0.14062499999999797], [-1.2968749999999987, -0.32812499999999822, 1.0156249999999925, -0.57812499999999201], [0.35937499999999561, 0.14062499999999797, -0.57812499999999201, 0.51562499999999278]])).
4
- result(invtri3, matrix_inv_triang([[2, 0, 0], [-1, 2, 0], [0, -1, 2]], [[0.5, 0, 0], [0.25, 0.5, 0], [0.125, 0.25, 0.5]])).
5
- result(mul_small, matrix_multiply([[[1, 2], [3, 4], [5, 6]], [[1, 1, 1], [1, 1, 1]]], [[3, 3, 3], [7, 7, 7], [11, 11, 11]])).
6
- result(mul_identity_check, matrix_multiply([[[18, 22, 54, 42], [22, 70, 86, 62], [54, 86, 174, 134], [42, 62, 134, 106]], [[2.515624999999984, 0.4843749999999933, -1.296874999999973, 0.3593749999999767], [0.4843749999999933, 0.1406249999999978, -0.3281249999999918, 0.1406249999999936], [-1.296874999999973, -0.3281249999999918, 1.015624999999971, -0.5781249999999781], [0.3593749999999767, 0.1406249999999936, -0.5781249999999781, 0.5156249999999853]]], [[1.0000000000000497, 5.3290705182007514e-15, 1.7763568394002505e-14, 4.4408920985006262e-15], [5.6843418860808015e-14, 1.0000000000000089, 2.8421709430404007e-14, 1.0658141036401503e-14], [1.7053025658242404e-13, 1.7763568394002505e-14, 1.0000000000000426, 3.907985046680551e-14], [8.5265128291212022e-14, 3.5527136788005009e-15, 7.1054273576010019e-14, 0.99999999999999467]])).
7
- result(sum_small, matrix_sum([[[1, 2], [3, 4], [5, 6]], [[1, 2], [3, 4], [5, 6]]], [[2, 4], [6, 8], [10, 12]])).
8
- result(chol3, cholesky_decomposition([[25, 15, -5], [15, 18, 0], [-5, 0, 11]], [[5.0, 0, 0], [3.0, 3.0, 0], [-1.0, 1.0, 3.0]])).
9
- result(chol4, cholesky_decomposition([[18, 22, 54, 42], [22, 70, 86, 62], [54, 86, 174, 134], [42, 62, 134, 106]], [[4.2426406871192848, 0, 0, 0], [5.1854497287013492, 6.5659052011974026, 0, 0], [12.727922061357857, 3.0460384954008553, 1.6497422479090704, 0], [9.8994949366116654, 1.6245538642137891, 1.8497110052313821, 1.3926212476455924]])).
10
- checksConsistentWithTreallaReference(matrix, true).