ModularFactorization

ffact.spad line 624 [edit on github]

This package is a specialization of ModularFactorizationGeneral using operations from ModularFactorizationTools1.

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

irreducible?: (U32Vector, Integer) -> Boolean

mfactor: (U32Vector, Integer) -> List U32Vector