dzaima
|
cd40ec8117
|
fix ¯2e9‿2e9⍋0
|
2023-04-30 19:35:18 +03:00 |
|
dzaima
|
c567dff565
|
fix leading-axis operations on empty inputs
|
2023-04-30 19:15:46 +03:00 |
|
dzaima
|
93dd25e0e1
|
fast leading-axis for <>≤≥=≠
|
2023-04-30 19:00:56 +03:00 |
|
dzaima
|
c889a07d75
|
replicate-using leading axis arithmetic case
|
2023-04-30 18:46:41 +03:00 |
|
dzaima
|
1e11cf93c1
|
faster leading axis arithmetic
|
2023-04-30 17:27:07 +03:00 |
|
dzaima
|
048352f587
|
fix 0˝˘ 2‿2⥊0
|
2023-04-29 21:15:46 +03:00 |
|
dzaima
|
0a30c7b4e6
|
more generic n⊸↑⎉k & n⊸↓⎉k & n⊸⍉⎉k
|
2023-04-29 21:10:44 +03:00 |
|
dzaima
|
aae8651e8b
|
fix Arith⌜ with empty 𝕨
|
2023-04-29 20:11:24 +03:00 |
|
dzaima
|
518635d0b9
|
generic 𝕨 ≡⎉¯k 𝕩
|
2023-04-29 20:01:48 +03:00 |
|
dzaima
|
df613ad674
|
w⊸F⎉g x → w F⎉∞‿g x & F⟜x⎉g w → w F⎉g‿∞ x
|
2023-04-29 17:39:13 +03:00 |
|
dzaima
|
35786d4f5b
|
m_hVec\d → m_hvec\d
|
2023-04-29 17:39:13 +03:00 |
|
dzaima
|
e200bbc5f9
|
move ↕list to its own function
|
2023-04-29 17:39:13 +03:00 |
|
dzaima
|
bb7c37960e
|
a round of more incG/incByG
|
2023-04-29 17:39:13 +03:00 |
|
dzaima
|
3b580cbd0c
|
rename unit creation methods
|
2023-04-29 17:39:13 +03:00 |
|
dzaima
|
865257fdb6
|
more header file cleanup
|
2023-04-29 17:39:13 +03:00 |
|
dzaima
|
aa5ed7cc7a
|
BB2B & BBB2B → FC1 & FC2
|
2023-04-29 15:31:31 +03:00 |
|
dzaima
|
ca13fb567a
|
header file cleanup
|
2023-04-29 13:54:32 +03:00 |
|
dzaima
|
ba1b853936
|
don't use the cell appender for Arith⌜
|
2023-04-29 13:13:58 +03:00 |
|
dzaima
|
62e2ea96ce
|
zsh needs to be kept alive even for zk==1
|
2023-04-28 21:04:30 +03:00 |
|
dzaima
|
7f0390be3f
|
more error messages
|
2023-04-28 20:49:34 +03:00 |
|
dzaima
|
7dd677a4e2
|
various fill improvements
|
2023-04-28 20:31:44 +03:00 |
|
dzaima
|
7a501ffbdf
|
use APD for ∾list
|
2023-04-28 20:17:44 +03:00 |
|
dzaima
|
5aa896ab38
|
use APD for Arith⌜
|
2023-04-28 19:30:54 +03:00 |
|
dzaima
|
b17d2010c2
|
better error messages
|
2023-04-28 19:25:42 +03:00 |
|
dzaima
|
38b2028374
|
use APD for ˘/⎉
|
2023-04-28 19:25:42 +03:00 |
|
dzaima
|
d43ffd6b62
|
remove no longer needed E_SLICES
|
2023-04-25 22:13:41 +03:00 |
|
dzaima
|
037d36ddab
|
rework for_cells_AA
|
2023-04-25 22:13:13 +03:00 |
|
dzaima
|
23737cc458
|
proper error messages for ⎉ vs ˘
|
2023-04-24 19:43:04 +03:00 |
|
dzaima
|
77154be2a8
|
testing setup for ˘ & ⎉
incl. toggleable fill testing for !CATCH_ERRORS
|
2023-04-24 19:43:04 +03:00 |
|
dzaima
|
6d33018788
|
merge dyadic ˘ & ⎉
|
2023-04-24 19:43:04 +03:00 |
|
dzaima
|
e11d5dd31d
|
•internal.HasFill
|
2023-04-24 19:43:04 +03:00 |
|
dzaima
|
2259e7b6a9
|
fix ↕1‿0‿1e9‿1e9‿1e9 incorrectly erroring
|
2023-04-23 22:17:32 +03:00 |
|
dzaima
|
9d9c3fe8ac
|
return signal code+128 in exit code on signaling •SH invocation
|
2023-04-23 22:17:32 +03:00 |
|
dzaima
|
c50674d63a
|
always overallocate by 4 bytes in 32-bit output case for /bitarr
|
2023-04-23 15:11:58 +03:00 |
|
dzaima
|
10edc75f09
|
use c1fn for monadic ˘/⎉
|
2023-04-22 22:33:32 +03:00 |
|
dzaima
|
6d5cee1cdc
|
extract one-call case to noinline function
|
2023-04-22 22:33:32 +03:00 |
|
dzaima
|
5395d1eb08
|
cleanup
|
2023-04-22 19:10:58 +03:00 |
|
dzaima
|
36b99d3505
|
handle more cases of ⊏⎉n & ⊑⎉n
|
2023-04-22 18:44:21 +03:00 |
|
dzaima
|
fe071b641f
|
handle more cases of ⍉⎉n & «⎉n & »⎉n
|
2023-04-22 18:44:21 +03:00 |
|
dzaima
|
1c041fd968
|
move emptiness checks to where needed
|
2023-04-22 18:34:29 +03:00 |
|
dzaima
|
e4d38f571d
|
move k==0 case out of for_cells_c1
|
2023-04-22 18:34:25 +03:00 |
|
dzaima
|
edf1f2df7e
|
merge_fill_result changes
incl. fixing when rr==k
|
2023-04-22 18:34:18 +03:00 |
|
dzaima
|
78764ec47c
|
move SLICE source refcount incrementing outside of loop
|
2023-04-22 18:33:39 +03:00 |
|
dzaima
|
b10a87fe00
|
merge ˘ & ⎉
|
2023-04-22 18:31:29 +03:00 |
|
dzaima
|
1ffc141919
|
move toCells & toKCells to cells.c
|
2023-04-22 18:31:24 +03:00 |
|
dzaima
|
1de59d6ee8
|
reorder functions
|
2023-04-22 17:20:05 +03:00 |
|
dzaima
|
663fe29a89
|
move monadic ⎉ to slice macros
|
2023-04-22 17:20:05 +03:00 |
|
dzaima
|
078ee7af97
|
use c2fn in insert_base
|
2023-04-22 17:20:05 +03:00 |
|
dzaima
|
d2ac5db1c8
|
move ⎉ & ˘ to their own file
|
2023-04-22 17:20:05 +03:00 |
|
dzaima
|
e0479adee4
|
fix rank overflow check in 𝕨⥊𝕩
|
2023-04-22 11:53:54 +03:00 |
|