indicialIdeal(I,w)
This computes the distraction of a torus fixed D-ideal [SST, Corollary 2.3.5]. This is necessary to compute indicial ideals [SST, Theorem 2.3.9, Corollary 2.3.5]; the roots of the indicial ideals are the exponents of the starting terms of canonical series solutions of regular holonomic D-ideals.
|
|
|
|
|
|
|
|
|
The object indicialIdeal is a method function.