ParallelIntegrationTools(R, V, P)

intrf.spad line 184 [edit on github]

• R: Field

• V: OrderedSet

• P: PolynomialCategory(R, IndexedExponents V, V)

undocumented

split: (P, P -> P) -> Record(normal: P, special: P)

split(p, D) returns [n,s] such that p = n s, all the squarefree factors of n are normal with respect to D, and s is special with respect to D. D is the derivation to use.