From a1b1d10ad5fc505f8b83ac6976e5eb68b87427ff Mon Sep 17 00:00:00 2001 From: Masaya Tojo Date: Wed, 12 Jun 2024 02:43:00 +0900 Subject: Add group modules --- tests/run.scm | 13 +++++++++++++ 1 file changed, 13 insertions(+) (limited to 'tests/run.scm') diff --git a/tests/run.scm b/tests/run.scm index ed2cd8f..6b6a74e 100644 --- a/tests/run.scm +++ b/tests/run.scm @@ -107,6 +107,19 @@ (test-end "monoid") +(test-begin "group") + +(import (prefix (algebraic-structures group number product) product:)) +(import (prefix (algebraic-structures group number sum) sum:)) + +(test -9 (sum:inv 9)) +(test 9 (sum:pow 3 3)) + +(test 1/9 (product:inv 9)) +(test 9 (product:pow 3 2)) + +(test-end "group") + (test-begin "functor") (test '((a) (b) (c)) (list:map list '(a b c))) -- cgit v1.2.3