Tensors

Class: Tensor of X

Generic tensor of objects of type X. Data format: as for Arithmetic_matrix, preceded by 
number_of_dimensions
For each dimension:
   index_type
where the index type is 0 for contravariant and 1 for covariant.

Class: Tensor_fixed_dimension of X

Generic tensor of objects of type X. Data format: as for Arithmetic_matrix_fixed.