<!DOCTYPE html>
<html xmlns="http://www.w3.org/1999/xhtml"><head><title>Int (libabsolute.Libabsolute__.Polynom.Int)</title><link rel="stylesheet" href="../../../../odoc.css"/><meta charset="utf-8"/><meta name="generator" content="odoc 1.5.1"/><meta name="viewport" content="width=device-width,initial-scale=1.0"/><script src="../../../../highlight.pack.js"></script><script>hljs.initHighlightingOnLoad();</script></head><body><div class="content"><header><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; Int</nav><h1>Module <code>Polynom.Int</code></h1></header><dl><dt class="spec type" id="type-t"><a href="#type-t" class="anchor"></a><code><span class="keyword">type</span> t</code><code> = <span><a href="index.html#type-cell">cell</a> list</span></code></dt><dt class="spec type" id="type-cell"><a href="#type-cell" class="anchor"></a><code><span class="keyword">and</span> cell</code><code> = <a href="index.html#type-coeff">coeff</a> * <span><a href="index.html#type-var">var</a> list</span></code></dt><dt class="spec type" id="type-var"><a href="#type-var" class="anchor"></a><code><span class="keyword">and</span> var</code><code> = <a href="index.html#type-id">id</a> * <a href="index.html#type-exp">exp</a></code></dt><dt class="spec type" id="type-id"><a href="#type-id" class="anchor"></a><code><span class="keyword">and</span> id</code><code> = string</code></dt><dt class="spec type" id="type-exp"><a href="#type-exp" class="anchor"></a><code><span class="keyword">and</span> exp</code><code> = int</code></dt><dt class="spec type" id="type-coeff"><a href="#type-coeff" class="anchor"></a><code><span class="keyword">and</span> coeff</code><code> = <a href="../../../Libabsolute/I/index.html#type-t">Libabsolute.I.t</a></code></dt></dl><dl><dt class="spec value" id="val-is_monom_constant"><a href="#val-is_monom_constant" class="anchor"></a><code><span class="keyword">val</span> is_monom_constant : <a href="index.html#type-cell">cell</a> <span>&#45;&gt;</span> bool</code></dt><dt class="spec value" id="val-is_monom"><a href="#val-is_monom" class="anchor"></a><code><span class="keyword">val</span> is_monom : <span><span class="type-var">'a</span> list</span> <span>&#45;&gt;</span> bool</code></dt><dt class="spec value" id="val-to_monom_opt"><a href="#val-to_monom_opt" class="anchor"></a><code><span class="keyword">val</span> to_monom_opt : <span><span class="type-var">'a</span> list</span> <span>&#45;&gt;</span> <span><span class="type-var">'a</span> option</span></code></dt><dt class="spec value" id="val-monom_to_constant"><a href="#val-monom_to_constant" class="anchor"></a><code><span class="keyword">val</span> monom_to_constant : <a href="index.html#type-cell">cell</a> <span>&#45;&gt;</span> <a href="index.html#type-coeff">coeff</a></code></dt><dt class="spec value" id="val-monom_to_constant_opt"><a href="#val-monom_to_constant_opt" class="anchor"></a><code><span class="keyword">val</span> monom_to_constant_opt : <a href="index.html#type-cell">cell</a> <span>&#45;&gt;</span> <span><a href="index.html#type-coeff">coeff</a> option</span></code></dt><dt class="spec value" id="val-to_constant_opt"><a href="#val-to_constant_opt" class="anchor"></a><code><span class="keyword">val</span> to_constant_opt : <a href="index.html#type-t">t</a> <span>&#45;&gt;</span> <span><a href="index.html#type-coeff">coeff</a> option</span></code></dt><dt class="spec value" id="val-is_linear"><a href="#val-is_linear" class="anchor"></a><code><span class="keyword">val</span> is_linear : <a href="index.html#type-t">t</a> <span>&#45;&gt;</span> bool</code></dt><dt class="spec value" id="val-clean"><a href="#val-clean" class="anchor"></a><code><span class="keyword">val</span> clean : <a href="index.html#type-t">t</a> <span>&#45;&gt;</span> <a href="index.html#type-t">t</a></code></dt><dt class="spec value" id="val-print_varlist"><a href="#val-print_varlist" class="anchor"></a><code><span class="keyword">val</span> print_varlist : Stdlib.Format.formatter <span>&#45;&gt;</span> <span><span>(string * int)</span> list</span> <span>&#45;&gt;</span> unit</code></dt><dt class="spec value" id="val-print_cell"><a href="#val-print_cell" class="anchor"></a><code><span class="keyword">val</span> print_cell : Stdlib.Format.formatter <span>&#45;&gt;</span> <a href="index.html#type-cell">cell</a> <span>&#45;&gt;</span> unit</code></dt><dt class="spec value" id="val-print"><a href="#val-print" class="anchor"></a><code><span class="keyword">val</span> print : Stdlib.Format.formatter <span>&#45;&gt;</span> <a href="index.html#type-t">t</a> <span>&#45;&gt;</span> unit</code></dt><dt class="spec value" id="val-to_string"><a href="#val-to_string" class="anchor"></a><code><span class="keyword">val</span> to_string : <span><span>(<a href="../../../Libabsolute/I/index.html#type-t">Libabsolute.I.t</a> * <span><a href="index.html#type-var">var</a> list</span>)</span> list</span> <span>&#45;&gt;</span> string</code></dt><dt class="spec value" id="val-of_int"><a href="#val-of_int" class="anchor"></a><code><span class="keyword">val</span> of_int : int <span>&#45;&gt;</span> <a href="index.html#type-t">t</a></code></dt><dt class="spec value" id="val-of_float"><a href="#val-of_float" class="anchor"></a><code><span class="keyword">val</span> of_float : float <span>&#45;&gt;</span> <a href="index.html#type-t">t</a></code></dt><dt class="spec value" id="val-of_rational"><a href="#val-of_rational" class="anchor"></a><code><span class="keyword">val</span> of_rational : Mpqf.t <span>&#45;&gt;</span> <a href="index.html#type-t">t</a></code></dt><dt class="spec value" id="val-to_int"><a href="#val-to_int" class="anchor"></a><code><span class="keyword">val</span> to_int : <a href="../../../Libabsolute/I/index.html#type-t">Libabsolute.I.t</a> <span>&#45;&gt;</span> int</code></dt><dt class="spec value" id="val-to_float"><a href="#val-to_float" class="anchor"></a><code><span class="keyword">val</span> to_float : <a href="../../../Libabsolute/I/index.html#type-t">Libabsolute.I.t</a> <span>&#45;&gt;</span> float</code></dt><dt class="spec value" id="val-to_rational"><a href="#val-to_rational" class="anchor"></a><code><span class="keyword">val</span> to_rational : <a href="../../../Libabsolute/I/index.html#type-t">Libabsolute.I.t</a> <span>&#45;&gt;</span> Mpqf.t</code></dt><dt class="spec value" id="val-monomzero"><a href="#val-monomzero" class="anchor"></a><code><span class="keyword">val</span> monomzero : <a href="index.html#type-cell">cell</a></code></dt><dt class="spec value" id="val-zero"><a href="#val-zero" class="anchor"></a><code><span class="keyword">val</span> zero : <a href="index.html#type-t">t</a></code></dt><dt class="spec value" id="val-one"><a href="#val-one" class="anchor"></a><code><span class="keyword">val</span> one : <a href="index.html#type-t">t</a></code></dt><dt class="spec value" id="val-of_var"><a href="#val-of_var" class="anchor"></a><code><span class="keyword">val</span> of_var : <a href="index.html#type-id">id</a> <span>&#45;&gt;</span> <a href="index.html#type-t">t</a></code></dt><dt class="spec value" id="val-of_constant"><a href="#val-of_constant" class="anchor"></a><code><span class="keyword">val</span> of_constant : <a href="index.html#type-coeff">coeff</a> <span>&#45;&gt;</span> <a href="index.html#type-t">t</a></code></dt><dt class="spec value" id="val-add_cell"><a href="#val-add_cell" class="anchor"></a><code><span class="keyword">val</span> add_cell : <a href="index.html#type-t">t</a> <span>&#45;&gt;</span> <a href="index.html#type-cell">cell</a> <span>&#45;&gt;</span> <a href="index.html#type-t">t</a></code></dt><dt class="spec value" id="val-add"><a href="#val-add" class="anchor"></a><code><span class="keyword">val</span> add : <a href="index.html#type-t">t</a> <span>&#45;&gt;</span> <a href="index.html#type-t">t</a> <span>&#45;&gt;</span> <a href="index.html#type-t">t</a></code></dt><dt class="spec value" id="val-mul_cell_cell"><a href="#val-mul_cell_cell" class="anchor"></a><code><span class="keyword">val</span> mul_cell_cell : <a href="index.html#type-cell">cell</a> <span>&#45;&gt;</span> <a href="index.html#type-cell">cell</a> <span>&#45;&gt;</span> <a href="index.html#type-cell">cell</a></code></dt><dt class="spec value" id="val-mul_ex_cell"><a href="#val-mul_ex_cell" class="anchor"></a><code><span class="keyword">val</span> mul_ex_cell : <a href="index.html#type-t">t</a> <span>&#45;&gt;</span> <a href="index.html#type-cell">cell</a> <span>&#45;&gt;</span> <a href="index.html#type-t">t</a></code></dt><dt class="spec value" id="val-mul"><a href="#val-mul" class="anchor"></a><code><span class="keyword">val</span> mul : <a href="index.html#type-t">t</a> <span>&#45;&gt;</span> <a href="index.html#type-t">t</a> <span>&#45;&gt;</span> <a href="index.html#type-t">t</a></code></dt><dt class="spec value" id="val-neg"><a href="#val-neg" class="anchor"></a><code><span class="keyword">val</span> neg : <a href="index.html#type-t">t</a> <span>&#45;&gt;</span> <a href="index.html#type-t">t</a></code></dt><dt class="spec value" id="val-sub"><a href="#val-sub" class="anchor"></a><code><span class="keyword">val</span> sub : <a href="index.html#type-t">t</a> <span>&#45;&gt;</span> <a href="index.html#type-t">t</a> <span>&#45;&gt;</span> <a href="index.html#type-t">t</a></code></dt><dt class="spec value" id="val-div"><a href="#val-div" class="anchor"></a><code><span class="keyword">val</span> div : <a href="index.html#type-t">t</a> <span>&#45;&gt;</span> <a href="index.html#type-coeff">coeff</a> <span>&#45;&gt;</span> <a href="index.html#type-t">t</a></code></dt><dt class="spec value" id="val-pow"><a href="#val-pow" class="anchor"></a><code><span class="keyword">val</span> pow : <a href="index.html#type-t">t</a> <span>&#45;&gt;</span> int <span>&#45;&gt;</span> <a href="index.html#type-t">t</a></code></dt></dl></div></body></html>