From 57a86f761605b6261d1045558c9cb7c83d723b60 Mon Sep 17 00:00:00 2001 From: Peter Mikkelsen Date: Tue, 25 Jan 2022 19:28:31 +0000 Subject: =?UTF-8?q?Add=20under=20=E2=8D=A2=20and=20obverse=20=E2=8D=AB=20T?= =?UTF-8?q?each=20inverse()=20that=20the=20inverse=20of=20f=E2=8D=ABg=20is?= =?UTF-8?q?=20g=E2=8D=ABf=20=07?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- operators.c | 23 ++++++++++++++++++++++- 1 file changed, 22 insertions(+), 1 deletion(-) (limited to 'operators.c') diff --git a/operators.c b/operators.c index 1ecb8aa..2d26251 100644 --- a/operators.c +++ b/operators.c @@ -5,7 +5,7 @@ #include "apl9.h" Rune primmonopnames[] = L"¨⍨⌸⌶&∆"; -Rune primdyadopnames[] = L"⍣.∘⍤⍥@⍠⌺⍙"; +Rune primdyadopnames[] = L"⍣.∘⍤⍥@⍠⌺⍢⍫⍙"; opmonad monadoperatordefs[] = { opEach, /* ¨ */ @@ -25,6 +25,8 @@ opdyad dyadoperatordefs[] = { 0, /* @ */ 0, /* ⍠ */ 0, /* ⌺ */ + opUnder, /* ⍢ */ + opObverse, /* ⍫ */ opSelfReference2, /* ⍙ */ }; @@ -190,6 +192,25 @@ opAtop(Datum *lefto, Datum *righto, Array *left, Array *right) return nil; } +Array * +opUnder(Datum *lefto, Datum *righto, Array *left, Array *right) +{ + if(lefto->tag != FunctionTag || righto->tag != FunctionTag) + throwerror(L"⍢ operands must be functions", EDomain); + if(left) + return rundfn(L"⍹⍣¯1 ⊢ (⍹ ⍺) ⍶ ⍹ ⍵", lefto, righto, left, right); + else + return rundfn(L"⍹⍣¯1 ⍶ ⍹ ⍵", lefto, righto, left, right); +} + +Array * +opObverse(Datum *lefto, Datum *righto, Array *left, Array *right) +{ + if(lefto->tag != FunctionTag || righto->tag != FunctionTag) + throwerror(L"⍫ operands must be functions", EDomain); + return runfunc(lefto->func, left, right); +} + Array * opOver(Datum *lefto, Datum *righto, Array *left, Array *right) { -- cgit v1.2.3