Project: Check examples

Let X be a cominuscule Grassmannian of type A,D,E. We provide Sage code for checking that the local Euler obstruction of a Schubert variety in X, at a fixed point, is equal to the corresponding Kazhdan-Lusztig polynomial evaluated at q=1. As a by-product, we also provide calculations of Mather classes of Schubert varieties in X, and CSM classes of Schubert cells in X.