M2
M2 copied to clipboard
Problem with ^1 and ^**1
Here is bug in components of M^1:
i1 : R = QQ[x,y];
i2 : M = R^{-2} ++ R^{2};
i3 : components M
1 1
o3 = {R , R }
o3 : List
i4 : components M^1
2
o4 = {R }
o4 : List
i5 : components M^2
2 2
o5 = {R , R }
o5 : List
This is true about other cached information as well:
i15 : res M;
i16 : M.cache.?resolution
o16 = true
i17 : (M^1).cache.?resolution
o17 = false
More generally, I think -^1 and -^**1 should act like identity, but here is another case where they don't:
i1 : set {1,2}
o1 = set {1, 2}
o1 : Set
i2 : oo^**1
o2 = set {1 : (1), 1 : (2)}
o2 : Set
I think this is just another occurrence of https://github.com/Macaulay2/M2/issues/2891
You're right, but I want to keep this open because I think this is much easier to resolve than the general direct sum case.