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

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