some more ˝ tests, use COPY_TO
not much of a difference, but prettier
This commit is contained in:
parent
f1972fc408
commit
bcf32838f4
@ -390,17 +390,18 @@ static B insert_scal(B f, FC2 fc2, B x, bool has_w, B fxw, usz xia, ur rr) {
|
||||
usz* rsh = arr_shAlloc((Arr*)r.c, rr);
|
||||
if (rr>1) shcpy(rsh, SH(x)+1, rr);
|
||||
usz xi = xia - csz;
|
||||
SGet(x)
|
||||
|
||||
B rf;
|
||||
if (has_w) {
|
||||
rf = getFillR(fxw);
|
||||
SGet(fxw) // (⊢˝𝕩)𝔽𝕨 so errors have been caught
|
||||
for (usz i=0; i<csz; i++) r.a[i] = Get(fxw, i);
|
||||
COPY_TO(r.a, el_B, 0, fxw, 0, csz); // (⊢˝𝕩)𝔽𝕨 so errors have been caught
|
||||
decG(fxw);
|
||||
} else {
|
||||
rf = getFillR(x);
|
||||
for (usz i=0; i<csz; i++) r.a[i] = Get(x, xi+i);
|
||||
COPY_TO(r.a, el_B, 0, x, xi, csz);
|
||||
}
|
||||
|
||||
SGet(x)
|
||||
while (xi) {
|
||||
xi -= csz;
|
||||
for (usz i=0; i<csz; i++) r.a[i] = fc2(f, Get(x, xi+i), r.a[i]);
|
||||
|
||||
@ -515,6 +515,13 @@ a←↕2 ⋄ ! "e" ≡ (↕10){b←a‿a‿a‿a‿a‿a‿a‿a‿a‿a ⋄
|
||||
# ˝
|
||||
!"𝔽˝𝕩: 𝕩 must have rank at least 1" % ⊢˝0
|
||||
!"𝔽˝𝕩: Identity not found" % •internal.Keep˝⟨⟩
|
||||
(↕4)+˝↕7 %% 21‿22‿23‿24
|
||||
(2‿2⥊↕4)+˝7‿2‿2⥊↕28 %% 2‿2⥊84‿92‿100‿108
|
||||
(2‿2⥊↕4)+˝2‿2⥊↕28 %% 2‿2⥊2‿3‿6‿7
|
||||
+˝ ↕10‿4 %% 45 ⋈¨ 10×↕4
|
||||
( ↕4) +˝ ↕10‿4 %% (↕4) + 45 ⋈¨ 10×↕4
|
||||
(<¨ ↕4) +˝ ↕10‿4 %% (↕4) + 45 ⋈¨ 10×↕4
|
||||
(0‿5⊸+¨↕4) +˝ ↕10‿4 %% ((↕4) + 45) ⋈¨ 5 + 11×↕4
|
||||
|
||||
# ⌜
|
||||
!"𝕨𝔽⌜𝕩: Result rank too large (200≡=𝕨, 200≡=𝕩)" % +⌜˜(200⥊1)⥊1
|
||||
|
||||
Loading…
Reference in New Issue
Block a user