deploy: a7fd0e8

pari/Pari/Elliptic_curve/index.html

@@ -61,6 +61,6 @@
 - : string =
 "2*x^24 + (3*x^3 + x + 2)*x^21 + (x^3 + x^2 + x + 2)*x^18 + (2*x^3 + 2*x^2 + 4*x)*x^15 + (2*x^3 + 4*x^2 + 4*x + 1)*x^12 + (3*x^3 + 4*x^2 + 1)*x^9 + (4*x^3 + x^2 + 4)*x^6 + (2*x^3 + 3*x^2 + 3*x + 4)*x^3 + (x^3 + x^2)"
 # 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-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-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 : 
+- : 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>

pari/Pari/Finite_field/index.html

@@ -16,7 +16,7 @@
           });
 
 //]]>
-</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; Finite_field</nav><header class="odoc-preamble"><h1>Module <code><span>Pari.Finite_field</span></code></h1></header><div class="odoc-content"><div class="odoc-spec"><div class="spec type subst 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> t</span><span> = <span><span>(<a href="../index.html#type-finite_field">finite_field</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 external anchored" id="val-inj_ring"><a href="#val-inj_ring" class="anchor"></a><code><span><span class="keyword">val</span> inj_ring : <span><a href="#type-t">t</a> <span class="arrow">&#45;&gt;</span></span> <span><span>(<a href="../index.html#type-finite_field">finite_field</a>, <a href="../index.html#type-ring">ring</a>)</span> <a href="#type-p">p</a></span></span></code></div></div><div class="odoc-spec"><div class="spec value external anchored" id="val-inj_field"><a href="#val-inj_field" class="anchor"></a><code><span><span class="keyword">val</span> inj_field : <span><span><span>(<a href="../index.html#type-finite_field">finite_field</a>, <a href="../index.html#type-ring">ring</a>)</span> <a href="#type-p">p</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-generator"><a href="#val-generator" class="anchor"></a><code><span><span class="keyword">val</span> generator : <span><span class="label">order</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-prime_field_element"><a href="#val-prime_field_element" class="anchor"></a><code><span><span class="keyword">val</span> prime_field_element : <span><a href="../Integer/index.html#type-t">Integer.t</a> <span class="arrow">&#45;&gt;</span></span> <span><span class="label">p</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-finite_field_element"><a href="#val-finite_field_element" class="anchor"></a><code><span><span class="keyword">val</span> finite_field_element : <span><span><a href="../Integer/index.html#type-t">Integer.t</a> array</span> <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-create"><a href="#val-create" class="anchor"></a><code><span><span class="keyword">val</span> create : <span><span class="label">p</span>:int <span class="arrow">&#45;&gt;</span></span> <span><span class="label">degree</span>:int <span class="arrow">&#45;&gt;</span></span> <span><span><span>(<a href="../index.html#type-finite_field">finite_field</a>, <a href="../index.html#type-ring">ring</a>)</span> <a href="#type-p">p</a></span> <a href="../Polynomial/index.html#type-t">Polynomial.t</a></span></span></code></div><div class="spec-doc"><p><code>create p degree</code> returns a monic irreducible polynomial of the given <code>degree</code> over F_p<code>X</code>.</p></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-generator_from_irreducible_polynomial"><a href="#val-generator_from_irreducible_polynomial" class="anchor"></a><code><span><span class="keyword">val</span> generator_from_irreducible_polynomial : 
+</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; Finite_field</nav><header class="odoc-preamble"><h1>Module <code><span>Pari.Finite_field</span></code></h1></header><div class="odoc-content"><div class="odoc-spec"><div class="spec type subst 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> t</span><span> = <span><span>(<a href="../index.html#type-finite_field">finite_field</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-inj_ring"><a href="#val-inj_ring" class="anchor"></a><code><span><span class="keyword">val</span> inj_ring : <span><a href="#type-t">t</a> <span class="arrow">&#45;&gt;</span></span> <span><span>(<a href="../index.html#type-finite_field">finite_field</a>, <a href="../index.html#type-ring">ring</a>)</span> <a href="#type-p">p</a></span></span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-inj_field"><a href="#val-inj_field" class="anchor"></a><code><span><span class="keyword">val</span> inj_field : <span><span><span>(<a href="../index.html#type-finite_field">finite_field</a>, <a href="../index.html#type-ring">ring</a>)</span> <a href="#type-p">p</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-generator"><a href="#val-generator" class="anchor"></a><code><span><span class="keyword">val</span> generator : <span><span class="label">order</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-prime_field_element"><a href="#val-prime_field_element" class="anchor"></a><code><span><span class="keyword">val</span> prime_field_element : <span><a href="../Integer/index.html#type-t">Integer.t</a> <span class="arrow">&#45;&gt;</span></span> <span><span class="label">p</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-finite_field_element"><a href="#val-finite_field_element" class="anchor"></a><code><span><span class="keyword">val</span> finite_field_element : <span><span><a href="../Integer/index.html#type-t">Integer.t</a> array</span> <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-create"><a href="#val-create" class="anchor"></a><code><span><span class="keyword">val</span> create : <span><span class="label">p</span>:int <span class="arrow">&#45;&gt;</span></span> <span><span class="label">degree</span>:int <span class="arrow">&#45;&gt;</span></span> <span><span><span>(<a href="../index.html#type-finite_field">finite_field</a>, <a href="../index.html#type-ring">ring</a>)</span> <a href="#type-p">p</a></span> <a href="../Polynomial/index.html#type-t">Polynomial.t</a></span></span></code></div><div class="spec-doc"><p><code>create p degree</code> returns a monic irreducible polynomial of the given <code>degree</code> over F_p<code>X</code>.</p></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-generator_from_irreducible_polynomial"><a href="#val-generator_from_irreducible_polynomial" class="anchor"></a><code><span><span class="keyword">val</span> generator_from_irreducible_polynomial : 
   <span><span><span><span>(<a href="../index.html#type-finite_field">finite_field</a>, <a href="../index.html#type-ring">ring</a>)</span> <a href="#type-p">p</a></span> <a href="../Polynomial/index.html#type-t">Polynomial.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-residue_class"><a href="#val-residue_class" class="anchor"></a><code><span><span class="keyword">val</span> residue_class : <span><a href="#type-t">t</a> <span class="arrow">&#45;&gt;</span></span> <span><span><span>(<a href="../index.html#type-finite_field">finite_field</a>, <a href="../index.html#type-ring">ring</a>)</span> <a href="#type-p">p</a></span> <a href="../Polynomial/index.html#type-t">Polynomial.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><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> bool</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"><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-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><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-random"><a href="#val-random" class="anchor"></a><code><span><span class="keyword">val</span> random : <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-zero"><a href="#val-zero" class="anchor"></a><code><span><span class="keyword">val</span> zero : <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-one"><a href="#val-one" class="anchor"></a><code><span><span class="keyword">val</span> one : <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-extend"><a href="#val-extend" class="anchor"></a><code><span><span class="keyword">val</span> extend : 
   <span><span><span>(<a href="../index.html#type-finite_field">finite_field</a>, <a href="../index.html#type-field">field</a>)</span> <a href="#type-p">p</a></span> <span class="arrow">&#45;&gt;</span></span>