diff options
| author | Masaya Tojo <masaya@tojo.tokyo> | 2024-06-12 02:43:00 +0900 |
|---|---|---|
| committer | Masaya Tojo <masaya@tojo.tokyo> | 2024-06-12 02:43:00 +0900 |
| commit | a1b1d10ad5fc505f8b83ac6976e5eb68b87427ff (patch) | |
| tree | fc178e36cbd7bbb45f9043062a74e4e6cab1ed94 /tests/run.scm | |
| parent | 7e9013fc2ae5d82dfc0b152089c94d6c78e245b3 (diff) | |
Add group modules
Diffstat (limited to 'tests/run.scm')
| -rw-r--r-- | tests/run.scm | 13 |
1 files changed, 13 insertions, 0 deletions
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))) |