ModularFactorizationΒΆ

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