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 --- algebraic-structures.group.number.product.scm | 8 ++++++++ 1 file changed, 8 insertions(+) create mode 100644 algebraic-structures.group.number.product.scm (limited to 'algebraic-structures.group.number.product.scm') diff --git a/algebraic-structures.group.number.product.scm b/algebraic-structures.group.number.product.scm new file mode 100644 index 0000000..a57cdf6 --- /dev/null +++ b/algebraic-structures.group.number.product.scm @@ -0,0 +1,8 @@ +(import (only (algebraic-structures group make))) +(module (algebraic-structures group number product) = (algebraic-structures group make) + (import scheme + (chicken module) + (algebraic-structures monoid number product)) + (export <> unit inv) + + (define (inv x) (/ x))) -- cgit v1.2.3