From 195336b6df932058c2e1e41d3c80921adec06c46 Mon Sep 17 00:00:00 2001 From: Marshall Lochbaum Date: Sat, 13 Aug 2022 16:04:20 -0400 Subject: [PATCH] =?UTF-8?q?Implement=20F=CB=9Dx=20as=20f; if (isAtm(x) || rnk(x)==0) thrM("˝: 𝕩 must have rank at least 1"); usz xia = a(x)->ia; if (xia==0) return m1c1(rt_insert, f, x); + if (rnk(x)==1 && isFun(f) && isPervasiveDy(f)) { + return m_atomUnit(fold_c1(d, x)); + } S_SLICES(x) usz p = xia-x_csz;