M2
M2 copied to clipboard
AssociativeAlgebras: failure to lift to coefficient ring
This doesn't work
i1 : needsPackage"AssociativeAlgebras";
i2 : R=QQ<|x|>;
i3 : m=matrix{{1_R}}
o3 = | 1 |
1 1
o3 : Matrix R <-- R
i4 : lift(m,QQ)
stdio:4:4:(3): error: expected each multidegree to be of length 0
to be compared with
i1 : R=QQ[x];
i2 : m=matrix{{1_R}}
o2 = | 1 |
1 1
o2 : Matrix R <-- R
i3 : lift(m,QQ)
o3 = | 1 |
1 1
o3 : Matrix QQ <-- QQ
See also #3155 for why one might want to lift...