package owl

  1. Overview
  2. Docs

Generic matrix printing functions.

module Context : sig ... end
val pp_mat_gen : ?pp_open:(Format.formatter -> unit) -> ?pp_close:(Format.formatter -> unit) -> ?pp_head:(Format.formatter -> int -> unit) -> ?pp_foot:(Format.formatter -> int -> unit) -> ?pp_end_row:(Format.formatter -> int -> unit) -> ?pp_end_col:(Format.formatter -> row:int -> col:int -> unit) -> ?pp_left:(Format.formatter -> int -> unit) -> ?pp_right:(Format.formatter -> int -> unit) -> ?pad:char option -> ?ellipsis:string -> ?vertical_context:Context.t option -> ?horizontal_context:Context.t option -> (Format.formatter -> 'el -> unit) -> Format.formatter -> ('el, 'a, Bigarray.c_layout) Bigarray.Array2.t -> unit

pp_mat_gen ?pp_open ?pp_close ?pp_head ?pp_foot ?pp_end_row ?pp_end_col ?pp_left ?pp_right ?pad pp_el ppf mat

Generic printing of matrices (two-dimensional bigarrays).

pp_open ppf is called whenever printing of a matrix mat is started, pp_close ppf whenever printing is complete. These functions are not called when the matrix is empty.

pp_head other_ppf col is used to print a header for column col in matrix mat. This header is right-aligned and eventually padded using Some pad-character to match the matrix rows in the column beneath. The passed formatter other_ppf is not identical to ppf!

pp_foot other_ppf col is used to print a footer for column col in matrix mat. It is similar to pp_head col other_ppf otherwise.

pp_end_row ppf row is called on row number row and formatter ppf whenever the end of a row has been reached.

pp_end_col ppf ~row ~col is called on the row number row, column number col and formatter ppf whenever the element at this position has been printed and if it is not the last element in the row.

pp_left ppf row is called on row number row and formatter ppf to print labels to the left of each row. The labels are right-aligned within a virtual column.

pp_right ppf row is called on row number row and formatter ppf to print labels to the right of each row. The labels are left-aligned.

The character pad is used to pad matrix elements for right-aligning them appropriately. If it is set to None, no alignment will be performed.

ellipsis is used as a filler when elements need to be skipped in the case of printing with contexts.

vertical_context determines the number of initial and final rows to be printed. Intermediate row will be skipped, and one row containing ellipsis elements will be printed in their place instead. None chooses no context, Some v sets the vertical context to v.

horizontal_context determines the number of initial and final columns to be printed. Intermediate columns will be skipped, and one columns containing ellipsis elements will be printed in their place instead. None chooses no context, Some h sets the horizontal context to h.

pp_el other_ppf el is called on formatter other_ppf (not ppf!) and each matrix element.

ppf is the formatter to which all output is finally printed.

mat is the matrix to be printed.

  • parameter pp_open

    default = open standard pretty-printing box

  • parameter pp_close

    default = close standard pretty-printing box

  • parameter pp_head

    default = no default

  • parameter pp_foot

    default = no default

  • parameter pp_end_row

    default = print newline (within pretty-printing box)

  • parameter pp_end_col

    default = print space

  • parameter pp_left

    default = no default

  • parameter pad

    default = Some ' '

  • parameter ellipsis

    default = !Context.ellipsis

  • parameter vertical_context

    default = Some !Context.vertical_default

  • parameter horizontal_context

    default = Some !Context.horizontal_default

Default pretty-printers used by the other pretty-printing functions
type 'el pp_el_default = (Format.formatter -> 'el -> unit) Pervasives.ref

Type of references for default printers of elements

val pp_float_el_default : float pp_el_default

fprintf ppf "%G" el

val pp_complex_el_default : Complex.t pp_el_default

fprintf ppf "(%G, %Gi)" el.re el.im

val pp_int32_el : Format.formatter -> int32 -> unit

fprintf ppf "%ld" el

Pretty-printing in standard style
type ('el, 'elt) pp_vec = Format.formatter -> ('el, 'elt, Bigarray.c_layout) Bigarray.Array1.t -> unit

Type of standard pretty-printers for column vectors

pp_vec ppf vec prints a vector vec to formatter ppf using the defaults.

val pp_fvec : (float, 'elt) pp_vec
val pp_cvec : (Complex.t, 'elt) pp_vec
val pp_ivec : (int32, 'elt) pp_vec
val pp_rfvec : (float, 'elt) pp_vec
val pp_rcvec : (Complex.t, 'elt) pp_vec
val pp_rivec : (int32, 'elt) pp_vec
type ('el, 'elt) pp_mat = Format.formatter -> ('el, 'elt, Bigarray.c_layout) Bigarray.Array2.t -> unit

Type of standard pretty-printers for matrices

pp_mat ppf mat prints a matrix mat to formatter ppf using the defaults.

val pp_fmat : (float, 'elt) pp_mat
val pp_cmat : (Complex.t, 'elt) pp_mat
val pp_imat : (int32, 'elt) pp_mat
Labeled pretty-printing
Vectors
type ('el, 'elt) pp_labeled_vec = ?pp_head:(Format.formatter -> int -> unit) -> ?pp_foot:(Format.formatter -> int -> unit) -> ?pp_left:(Format.formatter -> int -> unit) option -> ?pp_right:(Format.formatter -> int -> unit) -> ?pad:char option -> ?ellipsis:string -> ?vertical_context:Context.t option -> ?horizontal_context:Context.t option -> unit -> Format.formatter -> ('el, 'elt, Bigarray.c_layout) Bigarray.Array1.t -> unit

Type of pretty-printers for labeled vectors

pp_labeled_vec ?pp_head ?pp_foot ?pp_left ?pp_right ?pad ?ellipsis ?vertical_context ?horizontal_context () ppf vec prints vector vec to formatter ppf labeling the header using function pp_head, the footer using pp_foot, the left side (of rows for column vectors; of columns for row vectors) using pp_left, and the right side using pp_right. A pad-option and context options can be passed.

For column vectors the labels on the left side are right-aligned while those on the right side are left-aligned.

  • parameter pp_head

    default = no default (= no printing)

  • parameter pp_foot

    default = no default (= no printing)

  • parameter pp_left

    default = Some pp_int32_el for vector rows/cols (= not in header/footer row/col)

  • parameter pp_right

    default = no default (= no printing)

val pp_labeled_fvec : (float, 'elt) pp_labeled_vec
val pp_labeled_cvec : (Complex.t, 'elt) pp_labeled_vec
val pp_labeled_ivec : (int32, 'elt) pp_labeled_vec
val pp_labeled_rfvec : (float, 'elt) pp_labeled_vec
val pp_labeled_rcvec : (Complex.t, 'elt) pp_labeled_vec
val pp_labeled_rivec : (int32, 'elt) pp_labeled_vec
type ('el, 'elt) pp_lvec = ?print_head:bool -> ?print_foot:bool -> ?print_left:bool -> ?print_right:bool -> ?labels:string array -> ?name:string -> ?pad:char option -> ?ellipsis:string -> ?vertical_context:Context.t option -> ?horizontal_context:Context.t option -> unit -> Format.formatter -> ('el, 'elt, Bigarray.c_layout) Bigarray.Array1.t -> unit

Type of pretty-printers for string labeled vectors

pp_lvec ?print_head ?print_foot ?print_left ?print_right ?labels ?name ?pad ?ellipsis ?vertical_context ?horizontal_context () ppf vec prints vector vec to formatter ppf labeling the header with name if provided and if print_head is true, and labeling the footer with name if print_foot is true. The left side (of rows for column vectors; of columns for row vectors) is labeled with labels if provided and if print_left is true, and the right side is labeled with labels if print_right is true. A pad-option and context options can be passed.

For columns vectors the labels on the left side are right-aligned while those on the right side are left-aligned.

It is the duty of the user to make sure that the array containing the labels is sufficiently large for the given vector.

  • parameter print_head

    default = true

  • parameter print_foot

    default = true

  • parameter print_left

    default = true

  • parameter print_right

    default = false

  • parameter labels

    default = no default (= no printing)

  • parameter header

    default = no default (= no printing)

val pp_lfvec : (float, 'elt) pp_lvec
val pp_lcvec : (Complex.t, 'elt) pp_lvec
val pp_livec : (int32, 'elt) pp_lvec
val pp_rlfvec : (float, 'elt) pp_lvec
val pp_rlcvec : (Complex.t, 'elt) pp_lvec
val pp_rlivec : (int32, 'elt) pp_lvec
Matrices
type ('el, 'elt) pp_labeled_mat = ?pp_head:(Format.formatter -> int -> unit) option -> ?pp_foot:(Format.formatter -> int -> unit) option -> ?pp_left:(Format.formatter -> int -> unit) option -> ?pp_right:(Format.formatter -> int -> unit) option -> ?pad:char option -> ?ellipsis:string -> ?vertical_context:Context.t option -> ?horizontal_context:Context.t option -> unit -> Format.formatter -> ('el, 'elt, Bigarray.c_layout) Bigarray.Array2.t -> unit

Type of pretty-printers for labeled matrices

pp_labeled_mat ?pp_head ?pp_foot ?pp_left ?pp_right ?pad ?ellipsis ?vertical_context ?horizontal_context () ppf mat prints a matrix mat to formatter ppf labeling the header using function pp_head, the footer using pp_foot, the left side of rows using pp_left, and the right one using pp_right. A pad-option and context options can be passed.

If None is passed as argument for the default printers, the corresponding labels will not be printed.

  • parameter pp_head

    default = Some pp_int32_el

  • parameter pp_foot

    default = Some pp_int32_el

  • parameter pp_left

    default = Some pp_int32_el for matrix rows (= not in header/footer row)

  • parameter pp_right

    default = Some pp_int32_el for matrix rows (= not in header/footer row)

val pp_labeled_fmat : (float, 'elt) pp_labeled_mat
val pp_labeled_cmat : (Complex.t, 'elt) pp_labeled_mat
val pp_labeled_imat : (int32, 'elt) pp_labeled_mat
type ('el, 'elt) pp_lmat = ?print_head:bool -> ?print_foot:bool -> ?print_left:bool -> ?print_right:bool -> ?row_labels:string array -> ?col_labels:string array -> ?pad:char option -> ?ellipsis:string -> ?vertical_context:Context.t option -> ?horizontal_context:Context.t option -> unit -> Format.formatter -> ('el, 'elt, Bigarray.c_layout) Bigarray.Array2.t -> unit

Type of pretty-printers for string labeled matrices

pp_lmat ?print_head ?print_foot ?print_left ?print_right ?row_labels ?col_labels ?pad ?ellipsis ?vertical_context ?horizontal_context () ppf mat prints a matrix mat to formatter ppf labeling the header with the column labels in col_labels if provided and if print_head is true, and labeling the footer with the column labels if print_foot is true. The left side of rows is labeled with the row labels row_labels if provided and if print_left is true, and the right side of rows is labeled with the row labels if print_right is true. A pad-option and context options can be passed.

It is the duty of the user to make sure that the arrays containing the row- and column labels are sufficiently large for the given matrix.

  • parameter print_head

    default = true

  • parameter print_foot

    default = true

  • parameter print_left

    default = true

  • parameter print_right

    default = true

  • parameter row_labels

    default = no default (= no printing)

  • parameter col_labels

    default = no default (= no printing)

val pp_lfmat : (float, 'elt) pp_lmat
val pp_lcmat : (Complex.t, 'elt) pp_lmat
val pp_limat : (int32, 'elt) pp_lmat
Pretty-printing in OCaml-style
type ('el, 'elt) pp_el_ovec = Format.formatter -> (Format.formatter -> 'el -> unit) -> ('el, 'elt, Bigarray.c_layout) Bigarray.Array1.t -> unit

Type of pretty-printers for OCaml-vectors

pp_el_ovec ppf pp_el vec prints the vector vec to formatter ppf in OCaml-style using the element printer pp_el.

val pp_ovec : ('el, 'elt) pp_el_ovec

pp_ovec ppf pp_el vec prints the column vector vec to formatter ppf in OCaml-style using the element printer pp_el.

val pp_rovec : ('el, 'elt) pp_el_ovec

pp_rovec ppf pp_el vec prints the row vector vec to formatter ppf in OCaml-style using the element printer pp_el.

type ('el, 'elt) pp_ovec = Format.formatter -> ('el, 'elt, Bigarray.c_layout) Bigarray.Array1.t -> unit

Type of pretty-printers for OCaml-vectors of a given element type

pp_ovec ppf vec prints the vector vec to formatter ppf in OCaml-style.

val pp_ofvec : (float, 'elt) pp_ovec
val pp_ocvec : (Complex.t, 'elt) pp_ovec
val pp_oivec : (int32, 'elt) pp_ovec
val pp_rofvec : (float, 'elt) pp_ovec
val pp_rocvec : (Complex.t, 'elt) pp_ovec
val pp_roivec : (int32, 'elt) pp_ovec
val pp_omat : Format.formatter -> (Format.formatter -> 'el -> unit) -> ('el, 'c, Bigarray.c_layout) Bigarray.Array2.t -> unit

pp_omat ppf pp_el mat prints matrix mat to formatter ppf in OCaml-style using the element printer pp_el.

type ('el, 'elt) pp_omat = Format.formatter -> ('el, 'elt, Bigarray.c_layout) Bigarray.Array2.t -> unit

Type of pretty-printers for OCaml-matrices of a given element type

pp_omat ppf mat prints the matrix mat to formatter ppf in OCaml-style.

val pp_ofmat : (float, 'elt) pp_omat
val pp_ocmat : (Complex.t, 'elt) pp_omat
val pp_oimat : (int32, 'elt) pp_omat
Good pretty-printers for toplevels

These pretty-printers will use index labels for easier identification of rows and columns.

module Toplevel : sig ... end
OCaml

Innovation. Community. Security.