Module Pari.Matrix

type 'a t constraint 'a = ('b, 'c) typ
val dimensions : 'a t -> int * int
val id : int -> Integer.t t
val inv : 'a t -> 'a t
val mul : 'a t -> 'a t -> 'a t
val lll : 'a t -> 'a t
val (.%[]) : 'a t -> int -> ('a, [ `COL ]) Vector.t
val (.%[]<-) : 'a t -> int -> ('a, [ `COL ]) Vector.t -> unit
val (.%[;..]) : 'a t -> int array -> 'a t
val (.%[;..]<-) : 'a t -> int array -> 'a -> unit
val inj : 'a t -> inj:('a -> 'b) -> 'b t