M2 icon indicating copy to clipboard operation
M2 copied to clipboard

isPatternAvoiding sometimes incorrect

Open anna-brosowsky opened this issue 1 year ago • 0 comments

The function isPatternAvoiding (and the related avoidsAllPatterns) from the MatrixSchubert package sometimes gives the incorrect output. For example:

i1 : needsPackage("MatrixSchubert");
i2 : isPatternAvoiding({3,1,2,4},{3,1,2})
o2 = true
i3 : isPatternAvoiding({3,1,2,4},{3,1,2,4})
o3 = true

Of course, sometimes it is also correct!

i4 : isPatternAvoiding({3,1,2,4},{2,1})
o4 = false
i5 : isPatternAvoiding({1,2,3,4}, {1,2,3,4})
o5 = false

anna-brosowsky avatar Jun 07 '24 04:06 anna-brosowsky