package prbnmcn-basic-structures

  1. Overview
  2. Docs

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

module type Free_module_with_map = sig ... end

A free module packed with its underlying map implementation

Make_with_map constructs a free R-module over X, instsan

module Rational_valued : sig ... end

Free modules with coefficients in Q.t

module Float_valued : sig ... end

Free modules with float coefficients