<!DOCTYPE html>
<html xmlns="http://www.w3.org/1999/xhtml"><head><title>Make (libabsolute.Libabsolute.Polynom.Make)</title><meta charset="utf-8"/><link rel="stylesheet" href="../../../../odoc.support/odoc.css"/><meta name="generator" content="odoc 2.4.0"/><meta name="viewport" content="width=device-width,initial-scale=1.0"/><script src="../../../../odoc.support/highlight.pack.js"></script><script>hljs.initHighlightingOnLoad();</script></head><body class="odoc"><nav class="odoc-nav"><a href="../index.html">Up</a> â€“ <a href="../../../index.html">libabsolute</a> &#x00BB; <a href="../../index.html">Libabsolute</a> &#x00BB; <a href="../index.html">Polynom</a> &#x00BB; Make</nav><header class="odoc-preamble"><h1>Module <code><span>Polynom.Make</span></code></h1></header><nav class="odoc-toc"><ul><li><a href="#parameters">Parameters</a></li><li><a href="#signature">Signature</a></li></ul></nav><div class="odoc-content"><h2 id="parameters"><a href="#parameters" class="anchor"></a>Parameters</h2><div class="odoc-spec"><div class="spec parameter anchored" id="argument-1-R"><a href="#argument-1-R" class="anchor"></a><code><span><span class="keyword">module</span> </span><span><a href="argument-1-R/index.html">R</a></span><span> : <a href="../../Ring/module-type-T/index.html">Ring.T</a></span></code></div></div><h2 id="signature"><a href="#signature" class="anchor"></a>Signature</h2><div class="odoc-spec"><div class="spec type anchored" id="type-t"><a href="#type-t" class="anchor"></a><code><span><span class="keyword">type</span> t</span><span> = <span><a href="#type-cell">cell</a> list</span></span></code></div></div><div class="odoc-spec"><div class="spec type anchored" id="type-cell"><a href="#type-cell" class="anchor"></a><code><span><span class="keyword">and</span> cell</span><span> = <a href="#type-coeff">coeff</a> * <span><a href="#type-var">var</a> list</span></span></code></div></div><div class="odoc-spec"><div class="spec type anchored" id="type-var"><a href="#type-var" class="anchor"></a><code><span><span class="keyword">and</span> var</span><span> = <a href="#type-id">id</a> * <a href="#type-exp">exp</a></span></code></div></div><div class="odoc-spec"><div class="spec type anchored" id="type-id"><a href="#type-id" class="anchor"></a><code><span><span class="keyword">and</span> id</span><span> = string</span></code></div></div><div class="odoc-spec"><div class="spec type anchored" id="type-exp"><a href="#type-exp" class="anchor"></a><code><span><span class="keyword">and</span> exp</span><span> = int</span></code></div></div><div class="odoc-spec"><div class="spec type anchored" id="type-coeff"><a href="#type-coeff" class="anchor"></a><code><span><span class="keyword">and</span> coeff</span><span> = <a href="argument-1-R/index.html#type-t">R.t</a></span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-is_monom_constant"><a href="#val-is_monom_constant" class="anchor"></a><code><span><span class="keyword">val</span> is_monom_constant : <span><a href="#type-cell">cell</a> <span class="arrow">&#45;&gt;</span></span> bool</span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-is_monom"><a href="#val-is_monom" class="anchor"></a><code><span><span class="keyword">val</span> is_monom : <span><span><span class="type-var">'a</span> list</span> <span class="arrow">&#45;&gt;</span></span> bool</span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-to_monom_opt"><a href="#val-to_monom_opt" class="anchor"></a><code><span><span class="keyword">val</span> to_monom_opt : <span><span><span class="type-var">'a</span> list</span> <span class="arrow">&#45;&gt;</span></span> <span><span class="type-var">'b</span> option</span></span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-monom_to_constant"><a href="#val-monom_to_constant" class="anchor"></a><code><span><span class="keyword">val</span> monom_to_constant : <span><a href="#type-cell">cell</a> <span class="arrow">&#45;&gt;</span></span> <a href="#type-coeff">coeff</a></span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-monom_to_constant_opt"><a href="#val-monom_to_constant_opt" class="anchor"></a><code><span><span class="keyword">val</span> monom_to_constant_opt : <span><a href="#type-cell">cell</a> <span class="arrow">&#45;&gt;</span></span> <span><a href="#type-coeff">coeff</a> option</span></span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-to_constant_opt"><a href="#val-to_constant_opt" class="anchor"></a><code><span><span class="keyword">val</span> to_constant_opt : <span><a href="#type-t">t</a> <span class="arrow">&#45;&gt;</span></span> <span><a href="#type-coeff">coeff</a> option</span></span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-is_linear"><a href="#val-is_linear" class="anchor"></a><code><span><span class="keyword">val</span> is_linear : <span><a href="#type-t">t</a> <span class="arrow">&#45;&gt;</span></span> bool</span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-clean"><a href="#val-clean" class="anchor"></a><code><span><span class="keyword">val</span> clean : <span><a href="#type-t">t</a> <span class="arrow">&#45;&gt;</span></span> <a href="#type-t">t</a></span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-print_varlist"><a href="#val-print_varlist" class="anchor"></a><code><span><span class="keyword">val</span> print_varlist : <span><span class="xref-unresolved">Stdlib</span>.Format.formatter <span class="arrow">&#45;&gt;</span></span> <span><span><span>(string * int)</span> list</span> <span class="arrow">&#45;&gt;</span></span> unit</span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-print_cell"><a href="#val-print_cell" class="anchor"></a><code><span><span class="keyword">val</span> print_cell : <span><span class="xref-unresolved">Stdlib</span>.Format.formatter <span class="arrow">&#45;&gt;</span></span> <span><a href="#type-cell">cell</a> <span class="arrow">&#45;&gt;</span></span> unit</span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-print"><a href="#val-print" class="anchor"></a><code><span><span class="keyword">val</span> print : <span><span class="xref-unresolved">Stdlib</span>.Format.formatter <span class="arrow">&#45;&gt;</span></span> <span><a href="#type-t">t</a> <span class="arrow">&#45;&gt;</span></span> unit</span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-to_string"><a href="#val-to_string" class="anchor"></a><code><span><span class="keyword">val</span> to_string : <span><span><span>(<a href="argument-1-R/index.html#type-t">R.t</a> * <span><a href="#type-var">var</a> list</span>)</span> list</span> <span class="arrow">&#45;&gt;</span></span> string</span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-of_int"><a href="#val-of_int" class="anchor"></a><code><span><span class="keyword">val</span> of_int : <span>int <span class="arrow">&#45;&gt;</span></span> <a href="#type-t">t</a></span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-of_float"><a href="#val-of_float" class="anchor"></a><code><span><span class="keyword">val</span> of_float : <span>float <span class="arrow">&#45;&gt;</span></span> <a href="#type-t">t</a></span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-of_rational"><a href="#val-of_rational" class="anchor"></a><code><span><span class="keyword">val</span> of_rational : <span><span class="xref-unresolved">Mpqf</span>.t <span class="arrow">&#45;&gt;</span></span> <a href="#type-t">t</a></span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-to_int"><a href="#val-to_int" class="anchor"></a><code><span><span class="keyword">val</span> to_int : <span><a href="argument-1-R/index.html#type-t">R.t</a> <span class="arrow">&#45;&gt;</span></span> int</span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-to_float"><a href="#val-to_float" class="anchor"></a><code><span><span class="keyword">val</span> to_float : <span><a href="argument-1-R/index.html#type-t">R.t</a> <span class="arrow">&#45;&gt;</span></span> float</span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-to_rational"><a href="#val-to_rational" class="anchor"></a><code><span><span class="keyword">val</span> to_rational : <span><a href="argument-1-R/index.html#type-t">R.t</a> <span class="arrow">&#45;&gt;</span></span> <span class="xref-unresolved">Mpqf</span>.t</span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-monomzero"><a href="#val-monomzero" class="anchor"></a><code><span><span class="keyword">val</span> monomzero : <a href="#type-cell">cell</a></span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-zero"><a href="#val-zero" class="anchor"></a><code><span><span class="keyword">val</span> zero : <a href="#type-t">t</a></span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-one"><a href="#val-one" class="anchor"></a><code><span><span class="keyword">val</span> one : <a href="#type-t">t</a></span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-of_var"><a href="#val-of_var" class="anchor"></a><code><span><span class="keyword">val</span> of_var : <span><a href="#type-id">id</a> <span class="arrow">&#45;&gt;</span></span> <a href="#type-t">t</a></span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-of_constant"><a href="#val-of_constant" class="anchor"></a><code><span><span class="keyword">val</span> of_constant : <span><a href="#type-coeff">coeff</a> <span class="arrow">&#45;&gt;</span></span> <a href="#type-t">t</a></span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-add_cell"><a href="#val-add_cell" class="anchor"></a><code><span><span class="keyword">val</span> add_cell : <span><a href="#type-t">t</a> <span class="arrow">&#45;&gt;</span></span> <span><a href="#type-cell">cell</a> <span class="arrow">&#45;&gt;</span></span> <a href="#type-t">t</a></span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-add"><a href="#val-add" class="anchor"></a><code><span><span class="keyword">val</span> add : <span><a href="#type-t">t</a> <span class="arrow">&#45;&gt;</span></span> <span><a href="#type-t">t</a> <span class="arrow">&#45;&gt;</span></span> <a href="#type-t">t</a></span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-mul_cell_cell"><a href="#val-mul_cell_cell" class="anchor"></a><code><span><span class="keyword">val</span> mul_cell_cell : <span><a href="#type-cell">cell</a> <span class="arrow">&#45;&gt;</span></span> <span><a href="#type-cell">cell</a> <span class="arrow">&#45;&gt;</span></span> <a href="#type-cell">cell</a></span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-mul_ex_cell"><a href="#val-mul_ex_cell" class="anchor"></a><code><span><span class="keyword">val</span> mul_ex_cell : <span><a href="#type-t">t</a> <span class="arrow">&#45;&gt;</span></span> <span><a href="#type-cell">cell</a> <span class="arrow">&#45;&gt;</span></span> <a href="#type-t">t</a></span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-mul"><a href="#val-mul" class="anchor"></a><code><span><span class="keyword">val</span> mul : <span><a href="#type-t">t</a> <span class="arrow">&#45;&gt;</span></span> <span><a href="#type-t">t</a> <span class="arrow">&#45;&gt;</span></span> <a href="#type-t">t</a></span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-neg"><a href="#val-neg" class="anchor"></a><code><span><span class="keyword">val</span> neg : <span><a href="#type-t">t</a> <span class="arrow">&#45;&gt;</span></span> <a href="#type-t">t</a></span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-sub"><a href="#val-sub" class="anchor"></a><code><span><span class="keyword">val</span> sub : <span><a href="#type-t">t</a> <span class="arrow">&#45;&gt;</span></span> <span><a href="#type-t">t</a> <span class="arrow">&#45;&gt;</span></span> <a href="#type-t">t</a></span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-div"><a href="#val-div" class="anchor"></a><code><span><span class="keyword">val</span> div : <span><a href="#type-t">t</a> <span class="arrow">&#45;&gt;</span></span> <span><a href="#type-coeff">coeff</a> <span class="arrow">&#45;&gt;</span></span> <a href="#type-t">t</a></span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-pow"><a href="#val-pow" class="anchor"></a><code><span><span class="keyword">val</span> pow : <span><a href="#type-t">t</a> <span class="arrow">&#45;&gt;</span></span> <span>int <span class="arrow">&#45;&gt;</span></span> <a href="#type-t">t</a></span></code></div></div></div></body></html>
