RootFSSplit(R, F)ΒΆ

intpar.spad line 370 [edit on github]

undocumented

alg_split_root0: (F, Kernel F, Integer) -> List F

alg_split_roots: (List F, Kernel F, Kernel F) -> List Record(funs: List F, nroot: F, npow1: Integer, npow2: Integer)

alg_split_roots(lf, r1, r2) splits each f in lf into linear combination of product of powers of r1 and r2 which must be independent roots.