ffact.spad line 620 [edit on github]
undocumented
ddfact: (U32Vector, Integer) -> List Record(poly: U32Vector, degree: NonNegativeInteger, separate_factors: () -> List U32Vector)
irreducible?: (U32Vector, Integer) -> Boolean
mfactor: (U32Vector, Integer) -> List U32Vector