ASKSAGE: Sage Q&A Forum - RSS feedhttps://ask.sagemath.org/questions/Q&A Forum for SageenCopyright Sage, 2010. Some rights reserved under creative commons license.Sat, 01 Dec 2012 18:37:19 +0100non-commutative algebra with formal functionshttps://ask.sagemath.org/question/9595/non-commutative-algebra-with-formal-functions/I'd like to look at the following: the set of formal functions with 2 variables f(x,y) and the real numbers a,b,c..., including an addition and a non-commutative multiplication, such that things like
expand((a+f(x,y))*(b+c*f(u,v))) = a*b + a*c*f(u,v) + b*f(x,y) + c*f(x,y)*f(u,v)
are possible (and vice versa), and with the multiplication of the functions
f(x,y)*f(u,v) != f(u,v)*f(x,y)
being non-commutative, however with the multiplication of the functions by the real scalars
a*f(x,y) == f(x,y)*a
still commutative. Can I construct something like that with sage?
MarkSat, 01 Dec 2012 18:37:19 +0100https://ask.sagemath.org/question/9595/