package phantom-algebra

You can search for identifiers within the package.

in-package search v0.2.0

Legend:
Library
Module
Module type
Parameter
Class
Class type

Some useful linear algebra values and functions

type 'a dim

type 'a rank

type (+'a, +'b) tensor

val zero : 'dim dim -> 'rank rank -> ('dim, 'rank) tensor

zero dim rank is the zero scalar, vector or matrix with dimension dim

val id : 'dim dim -> 'rank rank -> ('dim, 'rank) tensor

id rank dim t ** 0 for any tensor of corresponding rank and dimension

val eye : 'a dim -> ('a, _ Type_functions.two) tensor

eye dim is id matrix dim, the identity matrix with ones on the diagonal

val diag : 
  ('dim, _ Type_functions.one) tensor ->
  ('dim, _ Type_functions.two) tensor

diag vec is the diagonal matrix with vec on the diagonal

val rotation : 
  ('dim, _ Type_functions.one) tensor ->
  ('dim, _ Type_functions.one) tensor ->
  k ->
  ('dim, _ Type_functions.two) tensor

rotation x y θ computes the rotation matrix in the plane spanned by x y with a θ angle.