ModularFactorizationK K

ffact.spad line 982 [edit on github]

• K: FiniteFieldCategory

undocumented

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