ModularFactorizationTools3(K)

ffact.spad line 631 [edit on github]

• K : FiniteFieldCategory

undocumented

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

from ModularFactorizationOperations(PrimitiveArray(K), PrimitiveTwoDimensionalArray(K), Record(i_mod : Integer, deg : Integer), Record(mod_data : Record(i_mod : Integer, deg : Integer), p_mod : PrimitiveArray(K)))

copy_mat_part : (PrimitiveTwoDimensionalArray(K), Integer) -> PrimitiveTwoDimensionalArray(K)

from ModularFactorizationOperations(PrimitiveArray(K), PrimitiveTwoDimensionalArray(K), Record(i_mod : Integer, deg : Integer), Record(mod_data : Record(i_mod : Integer, deg : Integer), p_mod : PrimitiveArray(K)))

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

from ModularFactorizationOperations(PrimitiveArray(K), PrimitiveTwoDimensionalArray(K), Record(i_mod : Integer, deg : Integer), Record(mod_data : Record(i_mod : Integer, deg : Integer), p_mod : PrimitiveArray(K)))

degree : PrimitiveArray(K) -> Integer

from ModularFactorizationOperations(PrimitiveArray(K), PrimitiveTwoDimensionalArray(K), Record(i_mod : Integer, deg : Integer), Record(mod_data : Record(i_mod : Integer, deg : Integer), p_mod : PrimitiveArray(K)))

divide! : (PrimitiveArray(K), PrimitiveArray(K), Record(i_mod : Integer, deg : Integer)) -> PrimitiveArray(K)

from ModularFactorizationOperations(PrimitiveArray(K), PrimitiveTwoDimensionalArray(K), Record(i_mod : Integer, deg : Integer), Record(mod_data : Record(i_mod : Integer, deg : Integer), p_mod : PrimitiveArray(K)))

empty_mat : () -> PrimitiveTwoDimensionalArray(K)

from ModularFactorizationOperations(PrimitiveArray(K), PrimitiveTwoDimensionalArray(K), Record(i_mod : Integer, deg : Integer), Record(mod_data : Record(i_mod : Integer, deg : Integer), p_mod : PrimitiveArray(K)))

empty_mat? : PrimitiveTwoDimensionalArray(K) -> Boolean

from ModularFactorizationOperations(PrimitiveArray(K), PrimitiveTwoDimensionalArray(K), Record(i_mod : Integer, deg : Integer), Record(mod_data : Record(i_mod : Integer, deg : Integer), p_mod : PrimitiveArray(K)))

empty_poly : () -> PrimitiveArray(K)

from ModularFactorizationOperations(PrimitiveArray(K), PrimitiveTwoDimensionalArray(K), Record(i_mod : Integer, deg : Integer), Record(mod_data : Record(i_mod : Integer, deg : Integer), p_mod : PrimitiveArray(K)))

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

from ModularFactorizationOperations(PrimitiveArray(K), PrimitiveTwoDimensionalArray(K), Record(i_mod : Integer, deg : Integer), Record(mod_data : Record(i_mod : Integer, deg : Integer), p_mod : PrimitiveArray(K)))

get_char : Record(i_mod : Integer, deg : Integer) -> Integer

from ModularFactorizationOperations(PrimitiveArray(K), PrimitiveTwoDimensionalArray(K), Record(i_mod : Integer, deg : Integer), Record(mod_data : Record(i_mod : Integer, deg : Integer), p_mod : PrimitiveArray(K)))

get_extension_degree : Record(i_mod : Integer, deg : Integer) -> Integer

from ModularFactorizationOperations(PrimitiveArray(K), PrimitiveTwoDimensionalArray(K), Record(i_mod : Integer, deg : Integer), Record(mod_data : Record(i_mod : Integer, deg : Integer), p_mod : PrimitiveArray(K)))

get_mod : Record(mod_data : Record(i_mod : Integer, deg : Integer), p_mod : PrimitiveArray(K)) -> Record(i_mod : Integer, deg : Integer)

from ModularFactorizationOperations(PrimitiveArray(K), PrimitiveTwoDimensionalArray(K), Record(i_mod : Integer, deg : Integer), Record(mod_data : Record(i_mod : Integer, deg : Integer), p_mod : PrimitiveArray(K)))

ini_rdata : (PrimitiveArray(K), Record(i_mod : Integer, deg : Integer)) -> Record(mod_data : Record(i_mod : Integer, deg : Integer), p_mod : PrimitiveArray(K))

from ModularFactorizationOperations(PrimitiveArray(K), PrimitiveTwoDimensionalArray(K), Record(i_mod : Integer, deg : Integer), Record(mod_data : Record(i_mod : Integer, deg : Integer), p_mod : PrimitiveArray(K)))

mod_exp : (PrimitiveArray(K), Integer, Record(mod_data : Record(i_mod : Integer, deg : Integer), p_mod : PrimitiveArray(K))) -> PrimitiveArray(K)

from ModularFactorizationOperations(PrimitiveArray(K), PrimitiveTwoDimensionalArray(K), Record(i_mod : Integer, deg : Integer), Record(mod_data : Record(i_mod : Integer, deg : Integer), p_mod : PrimitiveArray(K)))

modular_compose : (PrimitiveArray(K), PrimitiveTwoDimensionalArray(K), PrimitiveArray(K), NonNegativeInteger, Record(mod_data : Record(i_mod : Integer, deg : Integer), p_mod : PrimitiveArray(K))) -> PrimitiveArray(K)

from ModularFactorizationOperations(PrimitiveArray(K), PrimitiveTwoDimensionalArray(K), Record(i_mod : Integer, deg : Integer), Record(mod_data : Record(i_mod : Integer, deg : Integer), p_mod : PrimitiveArray(K)))

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

from ModularFactorizationOperations(PrimitiveArray(K), PrimitiveTwoDimensionalArray(K), Record(i_mod : Integer, deg : Integer), Record(mod_data : Record(i_mod : Integer, deg : Integer), p_mod : PrimitiveArray(K)))

mul_by_scalar : (PrimitiveArray(K), Integer, K) -> Void

power_matrix : (PrimitiveArray(K), NonNegativeInteger, Record(mod_data : Record(i_mod : Integer, deg : Integer), p_mod : PrimitiveArray(K))) -> Record(matr : PrimitiveTwoDimensionalArray(K), poly : PrimitiveArray(K))

from ModularFactorizationOperations(PrimitiveArray(K), PrimitiveTwoDimensionalArray(K), Record(i_mod : Integer, deg : Integer), Record(mod_data : Record(i_mod : Integer, deg : Integer), p_mod : PrimitiveArray(K)))

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

from ModularFactorizationOperations(PrimitiveArray(K), PrimitiveTwoDimensionalArray(K), Record(i_mod : Integer, deg : Integer), Record(mod_data : Record(i_mod : Integer, deg : Integer), p_mod : PrimitiveArray(K)))

red_pol! : (PrimitiveArray(K), Record(mod_data : Record(i_mod : Integer, deg : Integer), p_mod : PrimitiveArray(K))) -> PrimitiveArray(K)

from ModularFactorizationOperations(PrimitiveArray(K), PrimitiveTwoDimensionalArray(K), Record(i_mod : Integer, deg : Integer), Record(mod_data : Record(i_mod : Integer, deg : Integer), p_mod : PrimitiveArray(K)))

shift_mat! : (PrimitiveTwoDimensionalArray(K), Integer, Integer) -> Void

from ModularFactorizationOperations(PrimitiveArray(K), PrimitiveTwoDimensionalArray(K), Record(i_mod : Integer, deg : Integer), Record(mod_data : Record(i_mod : Integer, deg : Integer), p_mod : PrimitiveArray(K)))

split_mat! : (PrimitiveTwoDimensionalArray(K), Integer, Integer, Integer, Record(mod_data : Record(i_mod : Integer, deg : Integer), p_mod : PrimitiveArray(K)), Record(mod_data : Record(i_mod : Integer, deg : Integer), p_mod : PrimitiveArray(K))) -> Void

from ModularFactorizationOperations(PrimitiveArray(K), PrimitiveTwoDimensionalArray(K), Record(i_mod : Integer, deg : Integer), Record(mod_data : Record(i_mod : Integer, deg : Integer), p_mod : PrimitiveArray(K)))

sub1! : (PrimitiveArray(K), Record(i_mod : Integer, deg : Integer)) -> PrimitiveArray(K)

from ModularFactorizationOperations(PrimitiveArray(K), PrimitiveTwoDimensionalArray(K), Record(i_mod : Integer, deg : Integer), Record(mod_data : Record(i_mod : Integer, deg : Integer), p_mod : PrimitiveArray(K)))

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

from ModularFactorizationOperations(PrimitiveArray(K), PrimitiveTwoDimensionalArray(K), Record(i_mod : Integer, deg : Integer), Record(mod_data : Record(i_mod : Integer, deg : Integer), p_mod : PrimitiveArray(K)))

trim_mat! : (PrimitiveTwoDimensionalArray(K), Integer, Integer, Record(mod_data : Record(i_mod : Integer, deg : Integer), p_mod : PrimitiveArray(K))) -> Void

from ModularFactorizationOperations(PrimitiveArray(K), PrimitiveTwoDimensionalArray(K), Record(i_mod : Integer, deg : Integer), Record(mod_data : Record(i_mod : Integer, deg : Integer), p_mod : PrimitiveArray(K)))

ModularFactorizationOperations(PrimitiveArray(K), PrimitiveTwoDimensionalArray(K), Record(i_mod : Integer, deg : Integer), Record(mod_data : Record(i_mod : Integer, deg : Integer), p_mod : PrimitiveArray(K)))