Paul Zinn-Justin
Paul Zinn-Justin
My (possibly biased) summary of the discussion we've had. The main concern is the fact that people who only care about commutative algebra (which is probably 95% of users at...
incidentally, what's with the "debug with expression..."? what does it mean?
with univariate polynomials, I think this is a good idea and should be implemented. not sure about multivariate polynomials, since the matrices you feed may not commute and then it's...
this should really be fixed. just to show you that I'm not crazy: ``` i23 : t_1*(t_2*t_1*t_3*t_4*t_5*t_6-t_2*t_3*t_4*t_5*t_6*t_1) o23 = 0 o23 : H i24 : t_1*t_2*t_1*t_3*t_4*t_5*t_6-t_1*t_2*t_3*t_4*t_5*t_6*t_1 o24 = -t_1*t_2*t_3*t_4*t_5*t_6*t_1+t_2*t_1*t_2*t_3*t_4*t_5*t_6 o24...
I think I understand why this fails, and it's not top priority. closing.
I think this may be a duplicate of #3156. closing.
in a similar vein: what about #2885 -- is this also intended?
- taking the transpose / dual will lose formation - tensor product will lose components though formation will be there - labels of blocks get lost even with `++` edit:...
a lot of code is broken with mutable matrices, cf #2192
... or this: ``` i1 : m=mutableMatrix(RR,1,1) o1 = | 0 | o1 : MutableMatrix i2 : m^-1 o2 = | 0 | o2 : MutableMatrix i3 : m=mutableMatrix(RR,0,0) o3...