Here is the latest version of
the main program,
as discussed in our note,
used for the recursions in the preprint
Intersection Cohomology of B×B orbits in group compactifications
by T.A. Springer.
To use it, you need case specific data. See
examples of data.
- A sample in PostScript.
- Some Poincaré polynomials of
Intersection Cohomology of orbit closures.
- Some cvw.
`inverse Kazhdan Lusztig polynomials' cinvvw.
- Lots more cvw for the group H3.
We computed them assuming they satisfy the recursion.
- Inverses of matrices made from
One would proceed differently.
ShortLex rewrite rules in larger cases
Wilberd van der Kallen