M2 icon indicating copy to clipboard operation
M2 copied to clipboard

Problem with ^1 and ^**1

Open mahrud opened this issue 1 year ago • 2 comments

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

mahrud avatar Jan 14 '24 07:01 mahrud

I think this is just another occurrence of https://github.com/Macaulay2/M2/issues/2891

pzinn avatar Jan 14 '24 09:01 pzinn

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.

mahrud avatar Jan 14 '24 20:01 mahrud