deploy: db9d0ae

pari/Pari/Elliptic_curve/index.html

@@ -63,4 +63,4 @@
 # Polynomial.degree pdiv7 = ((7 * 7 - 1) / 2);;
 - : bool = true</code></pre></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 class="type-var">'a</span> <a href="#type-structure">structure</a></span> <span class="arrow">&#45;&gt;</span></span> string</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><span><span class="type-var">'a</span> <a href="#type-structure">structure</a></span> <span class="arrow">&#45;&gt;</span></span> <span><span><span class="type-var">'a</span> <a href="#type-t">t</a></span> <span class="arrow">&#45;&gt;</span></span> <span><span><span class="type-var">'a</span> <a href="#type-t">t</a></span> <span class="arrow">&#45;&gt;</span></span> <span><span class="type-var">'a</span> <a href="#type-t">t</a></span></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><span><span class="type-var">'a</span> <a href="#type-structure">structure</a></span> <span class="arrow">&#45;&gt;</span></span> <span><span><span class="type-var">'a</span> <a href="#type-t">t</a></span> <span class="arrow">&#45;&gt;</span></span> <span><span><span class="type-var">'a</span> <a href="#type-t">t</a></span> <span class="arrow">&#45;&gt;</span></span> <span><span class="type-var">'a</span> <a href="#type-t">t</a></span></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><span><span class="type-var">'a</span> <a href="#type-structure">structure</a></span> <span class="arrow">&#45;&gt;</span></span> <span><span class="label">n</span>:<a href="../Integer/index.html#type-t">Integer.t</a> <span class="arrow">&#45;&gt;</span></span> <span><span class="label">p</span>:<span><span class="type-var">'a</span> <a href="#type-t">t</a></span> <span class="arrow">&#45;&gt;</span></span> <span><span class="type-var">'a</span> <a href="#type-t">t</a></span></span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-equal"><a href="#val-equal" class="anchor"></a><code><span><span class="keyword">val</span> equal : <span><span><span class="type-var">'a</span> <a href="#type-t">t</a></span> <span class="arrow">&#45;&gt;</span></span> <span><span><span class="type-var">'a</span> <a href="#type-t">t</a></span> <span class="arrow">&#45;&gt;</span></span> bool</span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-generators_ff"><a href="#val-generators_ff" class="anchor"></a><code><span><span class="keyword">val</span> generators_ff : 
   <span><span><a href="../Finite_field/index.html#type-t">Finite_field.t</a> <a href="#type-structure">structure</a></span> <span class="arrow">&#45;&gt;</span></span>
-  <span><span>(<span><a href="../Finite_field/index.html#type-t">Finite_field.t</a> <a href="#type-t">t</a></span>, <span>[ `ROW ]</span>)</span> <a href="../Vector/index.html#type-t">Vector.t</a></span></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 : <span><span><span class="type-var">'a</span> <a href="#type-structure">structure</a></span> <span class="arrow">&#45;&gt;</span></span> <span><span class="type-var">'a</span> <a href="#type-t">t</a></span></span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-get_coordinates"><a href="#val-get_coordinates" class="anchor"></a><code><span><span class="keyword">val</span> get_coordinates : <span><span><span class="type-var">'a</span> <a href="#type-t">t</a></span> <span class="arrow">&#45;&gt;</span></span> <span>[&gt; `inf <span><span>| `point</span> of <span class="type-var">'a</span> * <span class="type-var">'a</span></span> ]</span></span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-order_elt"><a href="#val-order_elt" class="anchor"></a><code><span><span class="keyword">val</span> order_elt : <span><span><span class="type-var">'a</span> <a href="#type-structure">structure</a></span> <span class="arrow">&#45;&gt;</span></span> <span><span><span class="type-var">'a</span> <a href="#type-t">t</a></span> <span class="arrow">&#45;&gt;</span></span> <a href="../Integer/index.html#type-t">Integer.t</a></span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-to_string_elt"><a href="#val-to_string_elt" class="anchor"></a><code><span><span class="keyword">val</span> to_string_elt : <span><span><span class="type-var">'a</span> <a href="#type-t">t</a></span> <span class="arrow">&#45;&gt;</span></span> string</span></code></div></div></div></body></html>
+  <span><span>(<span><a href="../Finite_field/index.html#type-t">Finite_field.t</a> <a href="#type-t">t</a></span>, <span>[ `ROW ]</span>)</span> <a href="../Vector/index.html#type-t">Vector.t</a></span></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 : <span><span><span class="type-var">'a</span> <a href="#type-structure">structure</a></span> <span class="arrow">&#45;&gt;</span></span> <span><span class="type-var">'a</span> <a href="#type-t">t</a></span></span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-get_coordinates"><a href="#val-get_coordinates" class="anchor"></a><code><span><span class="keyword">val</span> get_coordinates : <span><span><span class="type-var">'a</span> <a href="#type-t">t</a></span> <span class="arrow">&#45;&gt;</span></span> <span>[&gt; `inf <span><span>| `point</span> of <span class="type-var">'a</span> * <span class="type-var">'a</span></span> ]</span></span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-order_elt"><a href="#val-order_elt" class="anchor"></a><code><span><span class="keyword">val</span> order_elt : <span><span><span class="type-var">'a</span> <a href="#type-structure">structure</a></span> <span class="arrow">&#45;&gt;</span></span> <span><span><span class="type-var">'a</span> <a href="#type-t">t</a></span> <span class="arrow">&#45;&gt;</span></span> <a href="../Integer/index.html#type-t">Integer.t</a></span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-to_string_elt"><a href="#val-to_string_elt" class="anchor"></a><code><span><span class="keyword">val</span> to_string_elt : <span><span><span class="type-var">'a</span> <a href="#type-t">t</a></span> <span class="arrow">&#45;&gt;</span></span> string</span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-log"><a href="#val-log" class="anchor"></a><code><span><span class="keyword">val</span> log : <span><span><span class="type-var">'a</span> <a href="#type-structure">structure</a></span> <span class="arrow">&#45;&gt;</span></span> <span><span class="label">base</span>:<span><span class="type-var">'a</span> <a href="#type-t">t</a></span> <span class="arrow">&#45;&gt;</span></span> <span><span><span class="type-var">'a</span> <a href="#type-t">t</a></span> <span class="arrow">&#45;&gt;</span></span> <span><a href="../Integer/index.html#type-t">Integer.t</a> option</span></span></code></div></div></div></body></html>

pari/Pari/Integer_mod/index.html

@@ -2,4 +2,4 @@
 <html xmlns="http://www.w3.org/1999/xhtml"><head><title>Integer_mod (pari.Pari.Integer_mod)</title><link rel="stylesheet" href="../../../odoc.support/odoc.css"/><meta charset="utf-8"/><meta name="generator" content="odoc 2.3.1"/><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">pari</a> &#x00BB; <a href="../index.html">Pari</a> &#x00BB; Integer_mod</nav><header class="odoc-preamble"><h1>Module <code><span>Pari.Integer_mod</span></code></h1></header><div class="odoc-content"><div class="odoc-spec"><div class="spec type anchored" id="type-integer_mod"><a href="#type-integer_mod" class="anchor"></a><code><span><span class="keyword">type</span> integer_mod</span><span> = <span class="keyword">private</span> </span></code><ol><li id="type-integer_mod.Integer_mod" class="def variant constructor anchored"><a href="#type-integer_mod.Integer_mod" class="anchor"></a><code><span>| </span><span><span class="constructor">Integer_mod</span></span></code></li></ol></div></div><div class="odoc-spec"><div class="spec type anchored" id="type-p"><a href="#type-p" class="anchor"></a><code><span><span class="keyword">type</span> <span>('a, 'b) p</span></span><span> = <span><span>(<span class="type-var">'a</span>, <span class="type-var">'b</span>)</span> <a href="../index.html#type-t">t</a></span></span></code></div></div><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> <span class="keyword">nonrec</span> t</span><span> = <span><span>(<a href="#type-integer_mod">integer_mod</a>, <a href="../index.html#type-ring">ring</a>)</span> <a href="../index.html#type-t">t</a></span></span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-inj_group"><a href="#val-inj_group" class="anchor"></a><code><span><span class="keyword">val</span> inj_group : <span><a href="#type-t">t</a> <span class="arrow">&#45;&gt;</span></span> <span><span>(<a href="#type-integer_mod">integer_mod</a>, <a href="../index.html#type-group">group</a>)</span> <a href="#type-p">p</a></span></span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-create"><a href="#val-create" class="anchor"></a><code><span><span class="keyword">val</span> create : <span><a href="../Integer/index.html#type-t">Integer.t</a> <span class="arrow">&#45;&gt;</span></span> <span><span class="label">modulo</span>:<a href="../Integer/index.html#type-t">Integer.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-create_assume_prime_modulus"><a href="#val-create_assume_prime_modulus" class="anchor"></a><code><span><span class="keyword">val</span> create_assume_prime_modulus : 
   <span><a href="../Integer/index.html#type-t">Integer.t</a> <span class="arrow">&#45;&gt;</span></span>
   <span><span class="label">modulo</span>:<a href="../Integer/index.html#type-t">Integer.t</a> <span class="arrow">&#45;&gt;</span></span>
-  <span><span>(<a href="#type-integer_mod">integer_mod</a>, <a href="../index.html#type-field">field</a>)</span> <a href="#type-p">p</a></span></span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-lift"><a href="#val-lift" class="anchor"></a><code><span><span class="keyword">val</span> lift : <span><span><span>(<a href="#type-integer_mod">integer_mod</a>, <span class="type-var">_</span>)</span> <a href="#type-p">p</a></span> <span class="arrow">&#45;&gt;</span></span> <a href="../Integer/index.html#type-t">Integer.t</a></span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-inverse"><a href="#val-inverse" class="anchor"></a><code><span><span class="keyword">val</span> inverse : <span><span><span>(<a href="#type-integer_mod">integer_mod</a>, <span class="type-var">'a</span>)</span> <a href="#type-p">p</a></span> <span class="arrow">&#45;&gt;</span></span> <span><span><span>(<a href="#type-integer_mod">integer_mod</a>, <span class="type-var">'a</span>)</span> <a href="#type-p">p</a></span> option</span></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><span><span>(<a href="#type-integer_mod">integer_mod</a>, <span class="type-var">'a</span>)</span> <a href="#type-p">p</a></span> <span class="arrow">&#45;&gt;</span></span> <span><span><span>(<a href="#type-integer_mod">integer_mod</a>, <span class="type-var">'a</span>)</span> <a href="#type-p">p</a></span> <span class="arrow">&#45;&gt;</span></span> <span><span>(<a href="#type-integer_mod">integer_mod</a>, <span class="type-var">'a</span>)</span> <a href="#type-p">p</a></span></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><span><span>(<a href="#type-integer_mod">integer_mod</a>, <span class="type-var">'a</span>)</span> <a href="#type-p">p</a></span> <span class="arrow">&#45;&gt;</span></span> <span><a href="../Integer/index.html#type-t">Integer.t</a> <span class="arrow">&#45;&gt;</span></span> <span><span>(<a href="#type-integer_mod">integer_mod</a>, <span class="type-var">'a</span>)</span> <a href="#type-p">p</a></span></span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-chinese"><a href="#val-chinese" class="anchor"></a><code><span><span class="keyword">val</span> chinese : <span><span><span>(<a href="#type-t">t</a>, <span>[ `ROW ]</span>)</span> <a href="../Vector/index.html#type-t">Vector.t</a></span> <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_string"><a href="#val-to_string" class="anchor"></a><code><span><span class="keyword">val</span> to_string : <span><span><span>(<a href="#type-integer_mod">integer_mod</a>, <span class="type-var">_</span>)</span> <a href="#type-p">p</a></span> <span class="arrow">&#45;&gt;</span></span> string</span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-get_modulo"><a href="#val-get_modulo" class="anchor"></a><code><span><span class="keyword">val</span> get_modulo : <span><span><span>(<a href="#type-integer_mod">integer_mod</a>, <span class="type-var">_</span>)</span> <a href="#type-p">p</a></span> <span class="arrow">&#45;&gt;</span></span> <a href="../Integer/index.html#type-t">Integer.t</a></span></code></div></div></div></body></html>
+  <span><span>(<a href="#type-integer_mod">integer_mod</a>, <a href="../index.html#type-field">field</a>)</span> <a href="#type-p">p</a></span></span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-lift"><a href="#val-lift" class="anchor"></a><code><span><span class="keyword">val</span> lift : <span><span><span>(<a href="#type-integer_mod">integer_mod</a>, <span class="type-var">_</span>)</span> <a href="#type-p">p</a></span> <span class="arrow">&#45;&gt;</span></span> <a href="../Integer/index.html#type-t">Integer.t</a></span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-inverse"><a href="#val-inverse" class="anchor"></a><code><span><span class="keyword">val</span> inverse : <span><span><span>(<a href="#type-integer_mod">integer_mod</a>, <span class="type-var">'a</span>)</span> <a href="#type-p">p</a></span> <span class="arrow">&#45;&gt;</span></span> <span><span><span>(<a href="#type-integer_mod">integer_mod</a>, <span class="type-var">'a</span>)</span> <a href="#type-p">p</a></span> option</span></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><span><span>(<a href="#type-integer_mod">integer_mod</a>, <span class="type-var">'a</span>)</span> <a href="#type-p">p</a></span> <span class="arrow">&#45;&gt;</span></span> <span><span><span>(<a href="#type-integer_mod">integer_mod</a>, <span class="type-var">'a</span>)</span> <a href="#type-p">p</a></span> <span class="arrow">&#45;&gt;</span></span> <span><span>(<a href="#type-integer_mod">integer_mod</a>, <span class="type-var">'a</span>)</span> <a href="#type-p">p</a></span></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><span><span>(<a href="#type-integer_mod">integer_mod</a>, <span class="type-var">'a</span>)</span> <a href="#type-p">p</a></span> <span class="arrow">&#45;&gt;</span></span> <span><a href="../Integer/index.html#type-t">Integer.t</a> <span class="arrow">&#45;&gt;</span></span> <span><span>(<a href="#type-integer_mod">integer_mod</a>, <span class="type-var">'a</span>)</span> <a href="#type-p">p</a></span></span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-chinese"><a href="#val-chinese" class="anchor"></a><code><span><span class="keyword">val</span> chinese : <span><span><span>(<a href="#type-t">t</a>, <span>[ `ROW ]</span>)</span> <a href="../Vector/index.html#type-t">Vector.t</a></span> <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_string"><a href="#val-to_string" class="anchor"></a><code><span><span class="keyword">val</span> to_string : <span><span><span>(<a href="#type-integer_mod">integer_mod</a>, <span class="type-var">_</span>)</span> <a href="#type-p">p</a></span> <span class="arrow">&#45;&gt;</span></span> string</span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-get_modulo"><a href="#val-get_modulo" class="anchor"></a><code><span><span class="keyword">val</span> get_modulo : <span><span><span>(<a href="#type-integer_mod">integer_mod</a>, <span class="type-var">_</span>)</span> <a href="#type-p">p</a></span> <span class="arrow">&#45;&gt;</span></span> <a href="../Integer/index.html#type-t">Integer.t</a></span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-order"><a href="#val-order" class="anchor"></a><code><span><span class="keyword">val</span> order : <span><span><span>(<a href="#type-integer_mod">integer_mod</a>, <span class="type-var">_</span>)</span> <a href="#type-p">p</a></span> <span class="arrow">&#45;&gt;</span></span> <a href="../Integer/index.html#type-t">Integer.t</a></span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-log"><a href="#val-log" class="anchor"></a><code><span><span class="keyword">val</span> log : <span><span class="label">base</span>:<span><span>(<a href="#type-integer_mod">integer_mod</a>, <span class="type-var">_</span>)</span> <a href="#type-p">p</a></span> <span class="arrow">&#45;&gt;</span></span> <span><span><span>(<a href="#type-integer_mod">integer_mod</a>, <span class="type-var">_</span>)</span> <a href="#type-p">p</a></span> <span class="arrow">&#45;&gt;</span></span> <span><a href="../Integer/index.html#type-t">Integer.t</a> option</span></span></code></div></div></div></body></html>