Attachment #95484 for bug #133879

View | Details | Raw Unified | Return to bug 133879
Collapse All | Expand All




    beta:float -> c:matrix -> unit
	= "ml_gsl_blas_dsyr2k_bc" "ml_gsl_blas_dsyr2k"

(*
(** {3 Single precision} *)

open Gsl_vector.Single

    alpha:float -> a:matrix -> b:matrix -> unit
	= "ml_gsl_blas_strsm_bc" "ml_gsl_blas_strsm"
  end
*)

(** {3 Complex} *)
open Gsl_vector_complex

  end


(*
(** {3 Complex single precision} *)

open Gsl_vector_complex.Single

    a:matrix -> b:matrix -> beta:float -> c:matrix -> unit
	= "ml_gsl_blas_cher2k_bc" "ml_gsl_blas_cher2k"
  end
*)




    beta:float -> c:matrix -> unit
	= "ml_gsl_blas_dsyr2k_bc" "ml_gsl_blas_dsyr2k"

(*
(** {3 Single precision} *)

open Gsl_vector.Single

    alpha:float -> a:matrix -> b:matrix -> unit
	= "ml_gsl_blas_strsm_bc" "ml_gsl_blas_strsm"
  end
*)

(** {3 Complex} *)
open Gsl_vector_complex

	= "ml_gsl_blas_zher2k_bc" "ml_gsl_blas_zher2k"
  end

(*
(** {3 Complex single precision} *)

open Gsl_vector_complex.Single

    a:matrix -> b:matrix -> beta:float -> c:matrix -> unit
	= "ml_gsl_blas_cher2k_bc" "ml_gsl_blas_cher2k"
  end
*)

Lines 84-90 Link Here

(-)gsl/gsl_matrix.ml (-1 / +2 lines)
84	let row =	84	let row =
85	Array2.slice_left	85	Array2.slice_left
86		86
87		87	(*
88		88
89	module Single =	89	module Single =
90	struct	90	struct
Lines 164-166 Link Here
164	external transpose : matrix -> matrix -> unit = "ml_gsl_matrix_float_transpose_memcpy"	164	external transpose : matrix -> matrix -> unit = "ml_gsl_matrix_float_transpose_memcpy"
165	external transpose_in_place : matrix -> unit = "ml_gsl_matrix_float_transpose"	165	external transpose_in_place : matrix -> unit = "ml_gsl_matrix_float_transpose"
166	end	166	end
		167	*)

Lines 44-50 Link Here

(-)gsl/gsl_matrix.mli (-1 / +2 lines)
44	external transpose : matrix -> matrix -> unit = "ml_gsl_matrix_transpose_memcpy"	44	external transpose : matrix -> matrix -> unit = "ml_gsl_matrix_transpose_memcpy"
45	external transpose_in_place : matrix -> unit = "ml_gsl_matrix_transpose"	45	external transpose_in_place : matrix -> unit = "ml_gsl_matrix_transpose"
46		46
47		47	(*
48	module Single : sig	48	module Single : sig
49		49
50	type float_mat_bigarr =	50	type float_mat_bigarr =
Lines 87-89 Link Here
87	external transpose : matrix -> matrix -> unit = "ml_gsl_matrix_float_transpose_memcpy"	87	external transpose : matrix -> matrix -> unit = "ml_gsl_matrix_float_transpose_memcpy"
88	external transpose_in_place : matrix -> unit = "ml_gsl_matrix_float_transpose"	88	external transpose_in_place : matrix -> unit = "ml_gsl_matrix_float_transpose"
89	end	89	end
		90	*)

Lines 106-112 Link Here

(-)gsl/gsl_matrix_complex.ml (-1 / +2 lines)
106	external transpose : matrix -> matrix -> unit = "ml_gsl_matrix_complex_transpose_memcpy"	106	external transpose : matrix -> matrix -> unit = "ml_gsl_matrix_complex_transpose_memcpy"
107	external transpose_in_place : matrix -> unit = "ml_gsl_matrix_complex_transpose"	107	external transpose_in_place : matrix -> unit = "ml_gsl_matrix_complex_transpose"
108		108
109		109	(*
110		110
111	module Single =	111	module Single =
112	struct	112	struct
Lines 208-210 Link Here
208	external transpose : matrix -> matrix -> unit = "ml_gsl_matrix_complex_float_transpose_memcpy"	208	external transpose : matrix -> matrix -> unit = "ml_gsl_matrix_complex_float_transpose_memcpy"
209	external transpose_in_place : matrix -> unit = "ml_gsl_matrix_complex_float_transpose"	209	external transpose_in_place : matrix -> unit = "ml_gsl_matrix_complex_float_transpose"
210	end	210	end
		211	*)

Lines 50-56 Link Here

(-)gsl/gsl_matrix_complex.mli (-1 / +2 lines)
50	external transpose : matrix -> matrix -> unit = "ml_gsl_matrix_complex_transpose_memcpy"	50	external transpose : matrix -> matrix -> unit = "ml_gsl_matrix_complex_transpose_memcpy"
51	external transpose_in_place : matrix -> unit = "ml_gsl_matrix_complex_transpose"	51	external transpose_in_place : matrix -> unit = "ml_gsl_matrix_complex_transpose"
52		52
53		53	(*
54	module Single : sig	54	module Single : sig
55		55
56	type complex_float_mat_bigarr =	56	type complex_float_mat_bigarr =
Lines 96-98 Link Here
96	external transpose : matrix -> matrix -> unit = "ml_gsl_matrix_complex_float_transpose_memcpy"	96	external transpose : matrix -> matrix -> unit = "ml_gsl_matrix_complex_float_transpose_memcpy"
97	external transpose_in_place : matrix -> unit = "ml_gsl_matrix_complex_float_transpose"	97	external transpose_in_place : matrix -> unit = "ml_gsl_matrix_complex_float_transpose"
98	end	98	end
		99	*)

Lines 93-99 Link Here

(-)gsl/gsl_vector.ml (-1 / +2 lines)
93	= "ml_gsl_vector_minmaxindex"	93	= "ml_gsl_vector_minmaxindex"
94		94
95		95
96		96	(*
97		97
98	module Single =	98	module Single =
99	struct	99	struct
Lines 178-180 Link Here
178	external minmax_index : vector -> int * int	178	external minmax_index : vector -> int * int
179	= "ml_gsl_vector_float_minmaxindex"	179	= "ml_gsl_vector_float_minmaxindex"
180	end	180	end
		181	*)

Lines 63-68 Link Here

(-)gsl/gsl_vector.mli (+2 lines)
63		63
64	val subvector : vector -> off:int -> len:int -> vector	64	val subvector : vector -> off:int -> len:int -> vector
65		65
		66	(*
66	(** {3 Single precision} *)	67	(** {3 Single precision} *)
67		68
68	module Single : sig	69	module Single : sig
Lines 121-123 Link Here
121		122
122	val subvector : vector -> off:int -> len:int -> vector	123	val subvector : vector -> off:int -> len:int -> vector
123	end	124	end
		125	*)

Return to bug 133879

Lines 115-121 Link Here

(-)gsl/gsl_blas.ml (-2 / +4 lines)
115	beta:float -> c:matrix -> unit	115	beta:float -> c:matrix -> unit
116	= "ml_gsl_blas_dsyr2k_bc" "ml_gsl_blas_dsyr2k"	116	= "ml_gsl_blas_dsyr2k_bc" "ml_gsl_blas_dsyr2k"
117		117
118		118	(*
119	(** {3 Single precision} *)	119	(** {3 Single precision} *)
120		120
121	open Gsl_vector.Single	121	open Gsl_vector.Single
Lines 187-193 Link Here
187	alpha:float -> a:matrix -> b:matrix -> unit	187	alpha:float -> a:matrix -> b:matrix -> unit
188	= "ml_gsl_blas_strsm_bc" "ml_gsl_blas_strsm"	188	= "ml_gsl_blas_strsm_bc" "ml_gsl_blas_strsm"
189	end	189	end
190		190	*)
191		191
192	(** {3 Complex} *)	192	(** {3 Complex} *)
193	open Gsl_vector_complex	193	open Gsl_vector_complex
Lines 272-277 Link Here
272	end	272	end
273		273
274		274
		275	(*
275	(** {3 Complex single precision} *)	276	(** {3 Complex single precision} *)
276		277
277	open Gsl_vector_complex.Single	278	open Gsl_vector_complex.Single
Lines 354-356 Link Here
354	a:matrix -> b:matrix -> beta:float -> c:matrix -> unit	355	a:matrix -> b:matrix -> beta:float -> c:matrix -> unit
355	= "ml_gsl_blas_cher2k_bc" "ml_gsl_blas_cher2k"	356	= "ml_gsl_blas_cher2k_bc" "ml_gsl_blas_cher2k"
356	end	357	end
		358	*)

Lines 115-121 Link Here

(-)gsl/gsl_blas.mli (-3 / +4 lines)
115	beta:float -> c:matrix -> unit	115	beta:float -> c:matrix -> unit
116	= "ml_gsl_blas_dsyr2k_bc" "ml_gsl_blas_dsyr2k"	116	= "ml_gsl_blas_dsyr2k_bc" "ml_gsl_blas_dsyr2k"
117		117
118		118	(*
119	(** {3 Single precision} *)	119	(** {3 Single precision} *)
120		120
121	open Gsl_vector.Single	121	open Gsl_vector.Single
Lines 187-193 Link Here
187	alpha:float -> a:matrix -> b:matrix -> unit	187	alpha:float -> a:matrix -> b:matrix -> unit
188	= "ml_gsl_blas_strsm_bc" "ml_gsl_blas_strsm"	188	= "ml_gsl_blas_strsm_bc" "ml_gsl_blas_strsm"
189	end	189	end
190		190	*)
191		191
192	(** {3 Complex} *)	192	(** {3 Complex} *)
193	open Gsl_vector_complex	193	open Gsl_vector_complex
Lines 271-277 Link Here
271	= "ml_gsl_blas_zher2k_bc" "ml_gsl_blas_zher2k"	271	= "ml_gsl_blas_zher2k_bc" "ml_gsl_blas_zher2k"
272	end	272	end
273		273
274		274	(*
275	(** {3 Complex single precision} *)	275	(** {3 Complex single precision} *)
276		276
277	open Gsl_vector_complex.Single	277	open Gsl_vector_complex.Single
Lines 354-356 Link Here
354	a:matrix -> b:matrix -> beta:float -> c:matrix -> unit	354	a:matrix -> b:matrix -> beta:float -> c:matrix -> unit
355	= "ml_gsl_blas_cher2k_bc" "ml_gsl_blas_cher2k"	355	= "ml_gsl_blas_cher2k_bc" "ml_gsl_blas_cher2k"
356	end	356	end
		357	*)