search

Macaulay2 / M2

The primary source code repository for Macaulay2, a system for computing in commutative algebra, algebraic geometry and related fields.
https://macaulay2.com
330 stars 226 forks source link

isPatternAvoiding sometimes incorrect #3291

Open ab2422 opened 3 weeks ago

ab2422 commented 3 weeks ago

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