Free_module (u.6cd29b78cebea510e3fa2803ea0c956b.prbnmcn-basic-structures.0.0.1.doc.prbnmcn-basic-structures.Basic_structures.Basic_impl.Free

Source

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.t

Make 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.

Sourcemodule type Free_module_with_map = sig ... end

A free module packed with its underlying map implementation

Source

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.t

Make_with_map constructs a free R-module over X, instsan

Sourcemodule Rational_valued : sig ... end

Free modules with coefficients in Q.t

Sourcemodule Float_valued : sig ... end

Free modules with float coefficients