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.egg | 3 +++ 1 file changed, 3 insertions(+) (limited to 'algebraic-structures.egg') diff --git a/algebraic-structures.egg b/algebraic-structures.egg index 9b21678..bf62bd3 100644 --- a/algebraic-structures.egg +++ b/algebraic-structures.egg @@ -16,6 +16,9 @@ (extension algebraic-structures.monoid.number.product.base) (extension algebraic-structures.monoid.number.product) (extension algebraic-structures.monoid.make.fold) + (extension algebraic-structures.group.make) + (extension algebraic-structures.group.number.sum) + (extension algebraic-structures.group.number.product) (extension algebraic-structures.foldable.make) (extension algebraic-structures.foldable.list.base) (extension algebraic-structures.foldable.list) -- cgit v1.2.3