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 : Mapping(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))