M2 icon indicating copy to clipboard operation
M2 copied to clipboard

AssociativeAlgebras: failure to lift to coefficient ring

Open pzinn opened this issue 1 year ago • 0 comments

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...

pzinn avatar May 17 '24 11:05 pzinn