M2 icon indicating copy to clipboard operation
M2 copied to clipboard

Lift and promote with MutableMatrix not completely implemented

Open mahrud opened this issue 8 years ago • 0 comments

R = QQ[x,y]
K = frac R
m = matrix {{x}}
n = mutableMatrix m

--This works on matrices as usual
lift(m, R)
R_0 * m

--But fails for mutable matrices
lift(n, R)
R_0 * n

--Workaround
mutableMatrix lift(matrix n, R)
promote(R_0, K) * n

mahrud avatar Jan 10 '17 21:01 mahrud