← Back to branch summary

~ubuntu-branches/debian/experimental/sks/experimental

« back to all changes in this revision

Viewing changes to linearAlg.mli

  • Committer: Package Import Robot
  • Author(s): Daniel Kahn Gillmor
  • Date: 2013-06-27 16:39:02 UTC
  • mfrom: (1.1.4)
  • Revision ID: package-import@ubuntu.com-20130627163902-qqic4va2187boeji
Tags: 1.1.4-1
http://bugs.debian.org/690135
http://bugs.debian.org/709322
* New Upstream Release (Closes: #690135)
* added myself to Uploaders.
* convert to dh 9
* Standards-Version: bump to 3.9.4 (no changes needed)
* debian/rules: clean up
* refresh and clean up debian/patches
* switch packaging vcs to git
* avoid trying to upgrade DB_CONFIG (Closes: #709322)

Show diffs side-by-side

added added

removed removed

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