ModularFactorization

ffact.spad line 620 [edit on github]

undocumented

ddfact : (U32Vector, Integer) -> List(Record(poly : U32Vector, degree : NonNegativeInteger, separate_factors : Mapping(List(U32Vector))))

irreducible? : (U32Vector, Integer) -> Boolean

mfactor : (U32Vector, Integer) -> List(U32Vector)