distraction(I,thetaRing)
distraction(f,thetaRing)
Given a monomial $x^u \partial^v$, this function rewrites it as a product $x^a p(\theta) \partial^b$, where $\theta_i = x_i \partial_i$ for $i = 1,\dots, n$. This is a step in a procedure for checking that D-ideal is torus-fixed, and is used in the isTorusFixed routine.
Given a torus fixed $D$-ideal, this function computes the distraction as in [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 distraction is a method function.