Free module over a ring generated by a finite, totally ordered set
module Make
(Basis : Basic_intf.Std)
(R : Basic_intf.Ring_std)
(M : Map.S with type key = Basis.t) :
Basic_intf.Free_module_std
with module R = R
and module Basis = Basis
and type basis = Basis.t
and type t = R.t M.tMake constructs an (OCaml) module to handle the free (algebraic) R-module generated by finite subsets of Basis. The implementation of free modules is backed by a map implementation M that must be provided by the user.
module type Free_module_with_map = sig ... endA free module packed with its underlying map implementation
module Make_with_map
(X : Basic_intf.Std)
(R : Basic_intf.Ring_std) :
Free_module_with_map with type r = R.t and type Map.key = X.tMake_with_map constructs a free R-module over X, instsan
module Rational_valued : sig ... endFree modules with coefficients in Q.t
module Float_valued : sig ... endFree modules with float coefficients