1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
|
exception Bug of string
exception LayoutMismatch
val riter : f:(int -> 'a) -> int -> int -> unit
val rfind : f:(int -> bool) -> int -> int -> int
module MatrixSlow :
sig
type t = { columns : int; rows : int; array : ZZp.zz array; }
val columns : t -> int
val rows : t -> int
val dims : t -> int * int
val copy : t -> t
val make : columns:int -> rows:int -> ZZp.zz -> t
val init : columns:int -> rows:int -> f:(int -> int -> ZZp.zz) -> t
val get : t -> int -> int -> ZZp.zz
val set : t -> int -> int -> ZZp.zz -> unit
val scmult_ip : t -> ZZp.zz -> unit
val scmult : t -> ZZp.zz -> t
val scmult_row : t -> int -> ZZp.zz -> unit
val swap_rows : t -> int -> int -> unit
val add_ip : t -> t -> unit
val add : t -> t -> t
val idot_rec :
t -> t -> i:int -> pos1:int -> pos2:int -> ZZp.zz -> ZZp.zz
val idot : t -> t -> int -> int -> ZZp.zz
val mult : t -> t -> t
val transpose : t -> t
val rowadd : t -> src:int -> dst:int -> scmult:ZZp.zz -> unit
val rowsub : t -> src:int -> dst:int -> scmult:ZZp.zz -> unit
val print : t -> unit
end
module Matrix :
sig
type t = { columns : int; rows : int; array : ZZp.zzref array; }
val columns : t -> int
val rows : t -> int
val dims : t -> int * int
val copy : t -> t
val init : columns:int -> rows:int -> f:(int -> int -> ZZp.zz) -> t
val make : columns:int -> rows:int -> ZZp.zz -> t
val lget : t -> int -> int -> ZZp.zz
val rget : t -> int -> int -> ZZp.zzref
val get : t -> int -> int -> ZZp.zz
val set : t -> int -> int -> ZZp.zz -> unit
val scmult_row : ?scol:int -> t -> int -> ZZp.zz -> unit
val swap_rows : t -> int -> int -> unit
val transpose : t -> t
val rowsub :
?scol:int -> t -> src:int -> dst:int -> scmult:ZZp.zz -> unit
val print : t -> unit
end
val process_row : Matrix.t -> int -> unit
val process_row_forward : Matrix.t -> int -> unit
val backsubstitute : Matrix.t -> int -> unit
val greduce : Matrix.t -> unit
val reduce : Matrix.t -> unit
|
