diff options
| author | Masaya Tojo <masaya@tojo.tokyo> | 2024-06-16 15:31:16 +0900 |
|---|---|---|
| committer | Masaya Tojo <masaya@tojo.tokyo> | 2024-06-16 15:31:16 +0900 |
| commit | dbc3a7c5d41a7b392cdcd51a90f3a419dbaed179 (patch) | |
| tree | fc32373818007b95e5f89a35aa5530db1cc12809 /algebraic-structures.private.number.product.scm | |
| parent | c2f4dde340185a4b42beacd46355f94ae41e25e4 (diff) | |
Add number (product, sum) implementations
Diffstat (limited to 'algebraic-structures.private.number.product.scm')
| -rw-r--r-- | algebraic-structures.private.number.product.scm | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/algebraic-structures.private.number.product.scm b/algebraic-structures.private.number.product.scm new file mode 100644 index 0000000..0136b80 --- /dev/null +++ b/algebraic-structures.private.number.product.scm @@ -0,0 +1,8 @@ +(module (algebraic-structures private number product) (<> unit inv) + (import scheme) + + (define (<> x y) (* x y)) + + (define unit 1) + + (define (inv x) (/ x))) |