ModularFactorizationK K

ffact.spad line 994 [edit on github]

• K: FiniteFieldCategory

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

ddfact: (PrimitiveArray K, Record(i_mod: Integer, deg: Integer)) -> List Record(poly: PrimitiveArray K, degree: NonNegativeInteger, separate_factors: () -> List PrimitiveArray K)

irreducible?: (PrimitiveArray K, Record(i_mod: Integer, deg: Integer)) -> Boolean

mfactor: (PrimitiveArray K, Record(i_mod: Integer, deg: Integer)) -> List PrimitiveArray K