ModularFactorizationΒΆ

ffact.spad line 1

This package implements factorization of polynomials over Z_p using a variant of Kaltofen-Shoup method.

ddfact: (U32Vector, Integer) -> List Record(poly: U32Vector, degree: NonNegativeInteger, separate_factors: () -> List U32Vector)

ini_rdata: (U32Vector, Integer) -> List Record(ind: NonNegativeInteger, poly: U32Vector)

mfactor: (U32Vector, Integer) -> List U32Vector

mmul: (U32Matrix, U32Matrix, Integer) -> U32Matrix

mod_exp: (U32Vector, Integer, List Record(ind: NonNegativeInteger, poly: U32Vector)) -> U32Vector

modular_compose: (U32Vector, U32Matrix, U32Vector, NonNegativeInteger, NonNegativeInteger, List Record(ind: NonNegativeInteger, poly: U32Vector)) -> U32Vector

power_matrix: (U32Vector, NonNegativeInteger, List Record(ind: NonNegativeInteger, poly: U32Vector)) -> Record(matr: U32Matrix, poly: U32Vector)

red_pol: (U32Vector, List Record(ind: NonNegativeInteger, poly: U32Vector)) -> Void