ModularFactorization

ffact.spad line 604 [edit on github]

undocumented

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

mfactor: (U32Vector, Integer) -> List U32Vector