ParallelIntegrationTools(R, V, P)

intrf.spad line 184 [edit on github]

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

undocumented

split : (P, Mapping(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 w.r.t. D, and s is special w.r.t. D. D is the derivation to use.