ModularFactorizationTools3 K¶

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 -> 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_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_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))