ParallelIntegrationTools(R, V, P)ΒΆ

intrf.spad line 184

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