ModularFactorizationTools1¶

ffact.spad line 99 [edit on github]

undocumented

add_poly: (U32Vector, U32Vector, Integer) -> U32Vector: from ModularFactorizationOperations(U32Vector, U32Matrix, Integer, List Record(ind: NonNegativeInteger, poly: U32Vector))

copy_mat_part: (U32Matrix, Integer) -> U32Matrix: from ModularFactorizationOperations(U32Vector, U32Matrix, Integer, List Record(ind: NonNegativeInteger, poly: U32Vector))

copy_poly: (U32Vector, Integer, Integer) -> U32Vector: from ModularFactorizationOperations(U32Vector, U32Matrix, Integer, List Record(ind: NonNegativeInteger, poly: U32Vector))

degree: U32Vector -> Integer: from ModularFactorizationOperations(U32Vector, U32Matrix, Integer, List Record(ind: NonNegativeInteger, poly: U32Vector))

divide!: (U32Vector, U32Vector, Integer) -> U32Vector: from ModularFactorizationOperations(U32Vector, U32Matrix, Integer, List Record(ind: NonNegativeInteger, poly: U32Vector))

empty_mat?: U32Matrix -> Boolean: from ModularFactorizationOperations(U32Vector, U32Matrix, Integer, List Record(ind: NonNegativeInteger, poly: U32Vector))

empty_mat: () -> U32Matrix: from ModularFactorizationOperations(U32Vector, U32Matrix, Integer, List Record(ind: NonNegativeInteger, poly: U32Vector))

empty_poly: () -> U32Vector: from ModularFactorizationOperations(U32Vector, U32Matrix, Integer, List Record(ind: NonNegativeInteger, poly: U32Vector))

gcd: (U32Vector, U32Vector, Integer) -> U32Vector: from ModularFactorizationOperations(U32Vector, U32Matrix, Integer, List Record(ind: NonNegativeInteger, poly: U32Vector))

get_char: Integer -> Integer: from ModularFactorizationOperations(U32Vector, U32Matrix, Integer, List Record(ind: NonNegativeInteger, poly: U32Vector))

get_extension_degree: Integer -> Integer: from ModularFactorizationOperations(U32Vector, U32Matrix, Integer, List Record(ind: NonNegativeInteger, poly: U32Vector))

get_mod: List Record(ind: NonNegativeInteger, poly: U32Vector) -> Integer: from ModularFactorizationOperations(U32Vector, U32Matrix, Integer, List Record(ind: NonNegativeInteger, poly: U32Vector))

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

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

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

monomial1: Integer -> U32Vector: from ModularFactorizationOperations(U32Vector, U32Matrix, Integer, List Record(ind: NonNegativeInteger, poly: U32Vector))

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

random_poly: (Integer, Integer) -> U32Vector: from ModularFactorizationOperations(U32Vector, U32Matrix, Integer, List Record(ind: NonNegativeInteger, poly: U32Vector))

red_pol!: (U32Vector, List Record(ind: NonNegativeInteger, poly: U32Vector)) -> U32Vector: from ModularFactorizationOperations(U32Vector, U32Matrix, Integer, List Record(ind: NonNegativeInteger, poly: U32Vector))

shift_mat!: (U32Matrix, Integer, Integer) -> Void: from ModularFactorizationOperations(U32Vector, U32Matrix, Integer, List Record(ind: NonNegativeInteger, poly: U32Vector))

split_mat!: (U32Matrix, Integer, Integer, Integer, List Record(ind: NonNegativeInteger, poly: U32Vector), List Record(ind: NonNegativeInteger, poly: U32Vector)) -> Void: from ModularFactorizationOperations(U32Vector, U32Matrix, Integer, List Record(ind: NonNegativeInteger, poly: U32Vector))

sub1!: (U32Vector, Integer) -> U32Vector: from ModularFactorizationOperations(U32Vector, U32Matrix, Integer, List Record(ind: NonNegativeInteger, poly: U32Vector))

sub_poly: (U32Vector, U32Vector, Integer) -> U32Vector: from ModularFactorizationOperations(U32Vector, U32Matrix, Integer, List Record(ind: NonNegativeInteger, poly: U32Vector))

trim_mat!: (U32Matrix, Integer, Integer, List Record(ind: NonNegativeInteger, poly: U32Vector)) -> Void: from ModularFactorizationOperations(U32Vector, U32Matrix, Integer, List Record(ind: NonNegativeInteger, poly: U32Vector))

ModularFactorizationOperations(U32Vector, U32Matrix, Integer, List Record(ind: NonNegativeInteger, poly: U32Vector))