Permalink
Browse files

generalizations to vector spaces with monoids instead of groups

  • Loading branch information...
gruninger committed Jan 4, 2016
1 parent b6cffc2 commit a76ed6a9849d1da3238c244e3f5a5e6419a7a23f
@@ -0,0 +1,19 @@
(cl-text http://colore.oor.net/algebra/vector_semispace.clif
(cl-imports http://colore.oor.net/ringoids/field.clif)
(cl-imports http://colore.oor.net/magma/commutative_monoid.clif)
(forall (r x y)
(= (mult r (op x y)) (op (mult r x) (mult r y))))
(forall (r s x)
(= (mult (sum r s) x) (op (mult r x) (mult s x))))
(forall (r s x)
(= (mult (prod r s) x) (mult r (mult s x))))
(forall (x)
(= x (mult one x)))
)
@@ -0,0 +1,7 @@
(cl-text http://colore.oor.net/magma/commutative_monoid.clif
(cl-imports http://colore.oor.net/magma/commutative_magma.clif)
(cl-imports http://colore.oor.net/magma/monoid.clif)
)
@@ -0,0 +1,7 @@
(cl-text http://colore.oor.net/magma/commutative_semigroup.clif
(cl-imports http://colore.oor.net/magma/commutative_magma.clif)
(cl-imports http://colore.oor.net/magma/semigroup.clif)
)

0 comments on commit a76ed6a

Please sign in to comment.