ASKSAGE: Sage Q&A Forum - Individual question feedhttps://ask.sagemath.org/questions/Q&A Forum for SageenCopyright Sage, 2010. Some rights reserved under creative commons license.Thu, 18 Oct 2018 08:04:43 -0500Change binary Operation in Monoid/Semigroup Ringshttps://ask.sagemath.org/question/43958/change-binary-operation-in-monoidsemigroup-rings/I have been experimenting in Semigroup rings and what I’m wondering is whether Sage allows me to define a Set, it’s binary operation, and take its Semigroup Ring via the Set.algebra constructor.
Example would be
S=Set([0,1,2]) #generators
A=S.algebra(RR,Semigroups())
A.product=lambda x,y: x+y
But this does work on the basis elements of A.
I want to modify the way basis elements multiply.Mon, 15 Oct 2018 20:36:38 -0500https://ask.sagemath.org/question/43958/change-binary-operation-in-monoidsemigroup-rings/Comment by Sébastien for <p>I have been experimenting in Semigroup rings and what I’m wondering is whether Sage allows me to define a Set, it’s binary operation, and take its Semigroup Ring via the Set.algebra constructor.</p>
<p>Example would be </p>
<pre><code>S=Set([0,1,2]) #generators
A=S.algebra(RR,Semigroups())
A.product=lambda x,y: x+y
</code></pre>
<p>But this does work on the basis elements of A.
I want to modify the way basis elements multiply.</p>
https://ask.sagemath.org/question/43958/change-binary-operation-in-monoidsemigroup-rings/?comment=43977#post-id-43977Maybe you need to create a new category for the algebra you need. Maybe you will find information on how to do this in the four documentation pages in the section [Parents/Elements, Categories and algebraic structures](http://doc.sagemath.org/html/en/thematic_tutorials/index.html#parents-elements-categories-and-algebraic-structures) of the thematic tutorials.Thu, 18 Oct 2018 08:04:43 -0500https://ask.sagemath.org/question/43958/change-binary-operation-in-monoidsemigroup-rings/?comment=43977#post-id-43977