Thom polynomials of second order Thom-Boardman singularities

Latest on Hackage:

This package is not currently in any snapshots. If you're interested in using it, we recommend adding it to Stackage Nightly. Doing so will make builds more reliable, and allow to host generated Haddocks.

BSD3 licensed by Balazs Komuves
Maintained by bkomuves (plus) hackage (at) gmail (dot) com

This is a program to compute Thom polynomials of second-order
Thom-Boardman singularities $Sigma^{i,j}(n)$.

The computation is based on the localization method described in
the author's PhD thesis: <>.


sigma-ij -h help
sigma-ij -i3 -j1 -n7 compute $Tp(Sigma^{3,1}(7))$
sigma-oj -i3 -j1 -n7 -r<RING> compute with coefficients in the given ring
sigma-oj -i3 -j1 -n7 -B<N> -b<n> compute the n-th (out of N) part
sigma-oj -i3 -j1 -n7 -rZp compute in the (baked-in) prime field Zp
sigma-oj -i3 -j1 -n7 -o<FILE> change the output file

Supported rings:
* rationals
* integers (remark: the division-free determinant algorithm often fails)
* Zp, a baked-in prime field

The -B and -b options are useful to parallelize the computation over
many computers.


- better (and faster) prime field implementation(s)
- allow arbitrary prime fields instead of just a baked-in one
- pivoting for the Bareiss (division-free) determinant algorithm
- implement explicit formula for j=1
comments powered byDisqus