package prbnmcn-basic-structures

  1. Overview
  2. Docs
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module Basic_impl.Free_moduleSource

Free module over a ring generated by a finite, totally ordered set

Sourcemodule 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

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

OCaml

Innovation. Community. Security.