package prbnmcn-basic-structures

  1. Overview
  2. Docs
package prbnmcn-basic-structures
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.

GitHub Discord Twitter Peertube RSS
About
Changelog Releases Industrial Users Academic Users Why OCaml
Ecosystem
Packages Community Events OCaml Planet Jobs
Resources
Install OCaml Get Started Platform Tools Language Manual Standard Library API Books Exercises Papers OCaml Playground Logo
Policies
Carbon Footprint Governance Privacy Code of Conduct