From 1fcfeaf68338bbdc9de24730c173d6bb1636e9cd Mon Sep 17 00:00:00 2001 From: jtcoolen Date: Mon, 4 Dec 2023 16:52:21 +0000 Subject: [PATCH] deploy: db9d0ae70c33bdb4b7157a1065093d335c0cd7a0 --- pari/Pari/Elliptic_curve/index.html | 2 +- pari/Pari/Integer_mod/index.html | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/pari/Pari/Elliptic_curve/index.html b/pari/Pari/Elliptic_curve/index.html index 733d803..8121673 100644 --- a/pari/Pari/Elliptic_curve/index.html +++ b/pari/Pari/Elliptic_curve/index.html @@ -63,4 +63,4 @@ # Polynomial.degree pdiv7 = ((7 * 7 - 1) / 2);; - : bool = true
val to_string : 'a structure -> string
val add : 'a structure -> 'a t -> 'a t -> 'a t
val sub : 'a structure -> 'a t -> 'a t -> 'a t
val mul : 'a structure -> n:Integer.t -> p:'a t -> 'a t
val equal : 'a t -> 'a t -> bool
val generators_ff : Finite_field.t structure -> - (Finite_field.t t, [ `ROW ]) Vector.t
val zero : 'a structure -> 'a t
val get_coordinates : 'a t -> [> `inf | `point of 'a * 'a ]
val order_elt : 'a structure -> 'a t -> Integer.t
val to_string_elt : 'a t -> string
+ (Finite_field.t t, [ `ROW ]) Vector.t
val zero : 'a structure -> 'a t
val get_coordinates : 'a t -> [> `inf | `point of 'a * 'a ]
val order_elt : 'a structure -> 'a t -> Integer.t
val to_string_elt : 'a t -> string
val log : 'a structure -> base:'a t -> 'a t -> Integer.t option
diff --git a/pari/Pari/Integer_mod/index.html b/pari/Pari/Integer_mod/index.html index ed125e3..49e3753 100644 --- a/pari/Pari/Integer_mod/index.html +++ b/pari/Pari/Integer_mod/index.html @@ -2,4 +2,4 @@ Integer_mod (pari.Pari.Integer_mod)

Module Pari.Integer_mod

type integer_mod = private
  1. | Integer_mod
type ('a, 'b) p = ('a, 'b) t
type nonrec t = (integer_mod, ring) t
val inj_group : t -> (integer_mod, group) p
val create : Integer.t -> modulo:Integer.t -> t
val create_assume_prime_modulus : Integer.t -> modulo:Integer.t -> - (integer_mod, field) p
val lift : (integer_mod, _) p -> Integer.t
val inverse : (integer_mod, 'a) p -> (integer_mod, 'a) p option
val mul : (integer_mod, 'a) p -> (integer_mod, 'a) p -> (integer_mod, 'a) p
val pow : (integer_mod, 'a) p -> Integer.t -> (integer_mod, 'a) p
val chinese : (t, [ `ROW ]) Vector.t -> t
val to_string : (integer_mod, _) p -> string
val get_modulo : (integer_mod, _) p -> Integer.t
+ (integer_mod, field) p
val lift : (integer_mod, _) p -> Integer.t
val inverse : (integer_mod, 'a) p -> (integer_mod, 'a) p option
val mul : (integer_mod, 'a) p -> (integer_mod, 'a) p -> (integer_mod, 'a) p
val pow : (integer_mod, 'a) p -> Integer.t -> (integer_mod, 'a) p
val chinese : (t, [ `ROW ]) Vector.t -> t
val to_string : (integer_mod, _) p -> string
val get_modulo : (integer_mod, _) p -> Integer.t
val order : (integer_mod, _) p -> Integer.t
val log : base:(integer_mod, _) p -> (integer_mod, _) p -> Integer.t option