M2
M2 copied to clipboard
isPatternAvoiding sometimes incorrect
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