package phantom-algebra

You can search for identifiers within the package.

in-package search v0.2.0

phantom-algebra
- Phantom_algebra
  - Core
    
    Rank
  - Flat_array
  - Interface
    
    Basic
    
    Cloning
    
    Core
    
    Dim
    
    Index
    
    Indexing
    
    Matching
    
    Rank
    
    S
    
    Rank
  - Math
  - Type_functions

Legend:
Library
Module
Module type
Parameter
Class
Class type

type (+'dim, +'len, 'rank, 'group) index

type (+'dim, +'rank) t

val slice : 
  ('dim1,
    ('rank1, 'rank2, 'rank3, 'dim1, 'dim3, 'len, _)
      Type_functions.superindexing)
    t ->
  ('dim1, 'len, 'rank2, 'group) index ->
  ('dim3, 'rank3) t

slice t n or t.%[n] computes a slice of rank tensor_rank - index_rank, in other words for a vector v and a matrix m, v.%[x] and m.%[xx] are a scalar, whereas m.%[x] is the first row vector of the matrix m

val (.%[]) : 
  ('dim1,
    ('rank1, 'rank2, 'rank3, 'dim1, 'dim3, 'len, _)
      Type_functions.superindexing)
    t ->
  ('dim1, 'len, 'rank2, 'group) index ->
  ('dim3, 'rank3) t

val get : 
  ('dim, 'rank) t ->
  ('dim, _ Type_functions.one, 'rank, 'group) index ->
  k

t.%(x) returns the value of the tensor at index x

val (.%()) : 
  ('dim, 'rank) t ->
  ('dim, _ Type_functions.one, 'rank, 'group) index ->
  k