Generic nvector types and operations.
Represents an nvector of kind
'kind with underlying data of type
The type argument
'kind is either
It is needed because some linear solvers make additional
assumptions about the underlying vector representation.
('data, 'kind)nvector =
('data, 'kind) t
An alias for
val unwrap :
('data, 'kind) t -> 'data
unwrap nv returns the data underlying the nvector
Raised when an nvector argument is incompatible with a session. For example, when a solver session was initialized with an nvector having 10 elements, and a later call passes an nvector with only 9 elements. The exact details depend on the nvector instantiation.
val check :
('data, 'kind) t -> ('data, 'kind) t -> unit
check v1 v2 checks
v2 for compatibility.
IncompatibleNvectorThe vectors are not compatible.
Generic vector operations.
module type NVECTOR_OPS =
Basic operations underlying an nvector.
module type NVECTOR =
Basic structure of a concrete nvector implementation module.