From 8ca27427af98bd3a82e8c5f4a199513295747930 Mon Sep 17 00:00:00 2001 From: Sebastiano Tronto Date: Sat, 21 Dec 2024 18:13:27 +0100 Subject: Revert "Fix division" Actually you cannot do division like that, the result is not unique. This reverts commit 771667c2bb52235d6dacf67eab933207b59e167b. --- test | 10 ---------- 1 file changed, 10 deletions(-) (limited to 'test') diff --git a/test b/test index d80dc2b..4b426c2 100755 --- a/test +++ b/test @@ -141,16 +141,6 @@ public: assert_equal(p, 92); } }, -{ - .name = "4 / 2 mod 6", - .f = []() { - Zmod<6> four = 4; - Zmod<6> two = 2; - auto d = four / two; - assert_equal(d.has_value(), true); - assert_equal(d.value(), 2); - } -}, }; int main() { -- cgit v1.2.3