|
Spectral Pairs
Task: |
Compute the spectral pairs of an isolated hypersurface
singularity f.
|
The implemented algorithm is based on standard basis methods
for the microlocal structure of the Brieskorn lattice:
ring R=0,(x,y),ds;
poly f=x5+x2y2+y5;
LIB "gaussman.lib";
sppairs(f);
|
==>
|
[1]:
_[1]=-1/2
_[2]=-3/10
_[3]=-1/10
_[4]=0
_[5]=1/10
_[6]=3/10
_[7]=1/2
[2]: // the weight indices
2,1,1,1,1,1,0
[3]: // the multiplicities
1,2,2,1,2,2,1
|
We can also display the spectral pairs (with multiplicities) in a more
compact format:
sppprint(sppairs(f));
|
==>
|
((-1/2,2),1), ((-3/10,1),2), ((-1/10,1),2), ((0,1),1),
((1/10,1),2), ((3/10,1),2), ((1/2,0),1)
|
A more complicated example.
|