XPolynomialFactor(vl, F)ΒΆ
xpfact.spad line 1 [edit on github]
vl: OrderedSet
F: Field
undocumented
factor: XDistributedPolynomial(vl, F) -> List XDistributedPolynomial(vl, F) if F has PolynomialFactorizationExplicit
homo_fact: XDistributedPolynomial(vl, F) -> List XDistributedPolynomial(vl, F)
ldivide: (XDistributedPolynomial(vl, F), XDistributedPolynomial(vl, F)) -> Record(quotient: XDistributedPolynomial(vl, F), remainder: XDistributedPolynomial(vl, F))
left_ext_GCD: (XDistributedPolynomial(vl, F), XDistributedPolynomial(vl, F)) -> Union(Record(g: XDistributedPolynomial(vl, F), c1: XDistributedPolynomial(vl, F), c2: XDistributedPolynomial(vl, F), cu: XDistributedPolynomial(vl, F), cv: XDistributedPolynomial(vl, F)), failed)
- lift1: (FreeMonoid vl, XDistributedPolynomial(vl, Polynomial F), Integer, FreeMonoid vl, XDistributedPolynomial(vl, Polynomial F), Integer, F, XDistributedPolynomial(vl, Polynomial F), Boolean) -> Record(l_fac: XDistributedPolynomial(vl, Polynomial F), r_fac: XDistributedPolynomial(vl, Polynomial F), residual: XDistributedPolynomial(vl, Polynomial F), nsym: Union(Symbol, none))
lift1(lw, lfy, d1, rw, rfy, j, lc, rp, o_case)
top_split: XDistributedPolynomial(vl, F) -> List XDistributedPolynomial(vl, F)