From 5138b2f0436d99b55224e2a1f8d1b38c685314af Mon Sep 17 00:00:00 2001 From: Marshall Lochbaum Date: Sun, 11 Jul 2021 19:11:08 -0400 Subject: =?UTF-8?q?Test=20for=20bad=20results=20from=20(=E2=89=A0?= =?UTF-8?q?=F0=9D=95=A9)|=F0=9D=95=A8=20in=20Rotate?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- src/r1.bqn | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) (limited to 'src') diff --git a/src/r1.bqn b/src/r1.bqn index 6747f3ca..2c52bea1 100644 --- a/src/r1.bqn +++ b/src/r1.bqn @@ -294,7 +294,9 @@ Reverse←{ } RotReduce ← { "π•¨βŒ½π•©: 𝕨 must consist of integers" ! Int𝕨 - 𝕩+↩0=𝕩 β‹„ 𝕨-π•©Γ—βŒŠπ•¨Γ·π•© + 𝕩+↩0=𝕩 β‹„ r←𝕨-π•©Γ—βŒŠπ•¨Γ·π•© + "π•¨βŒ½π•©: 𝕨 too large" ! r<𝕩 + r } RotL ← β†“βˆΎβ†‘ Rot ← (1==∘⊒)β—ΆβŸ¨RotL⟜(↕≠)⊏⊒,RotL⟩ -- cgit v1.2.3