diff --git a/pari/Pari/Elliptic_curve/index.html b/pari/Pari/Elliptic_curve/index.html index 1b6df27..733d803 100644 --- a/pari/Pari/Elliptic_curve/index.html +++ b/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
val to_string : 'a t -> 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 : +- : 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
diff --git a/pari/Pari/Finite_field/index.html b/pari/Pari/Finite_field/index.html index cac190d..8b97714 100644 --- a/pari/Pari/Finite_field/index.html +++ b/pari/Pari/Finite_field/index.html @@ -16,7 +16,7 @@ }); //]]> -

Module Pari.Finite_field

type ('a, 'b) p := ('a, 'b) t
type t = (finite_field, field) p
val inj_ring : t -> (finite_field, ring) p
val inj_field : (finite_field, ring) p -> t
val generator : order:Integer.t -> t
val prime_field_element : Integer.t -> p:Integer.t -> t
val finite_field_element : Integer.t array -> t -> t
val create : p:int -> degree:int -> (finite_field, ring) p Polynomial.t

create p degree returns a monic irreducible polynomial of the given degree over F_pX.

val generator_from_irreducible_polynomial : +

Module Pari.Finite_field

type ('a, 'b) p := ('a, 'b) t
type t = (finite_field, field) p
val inj_ring : t -> (finite_field, ring) p
val inj_field : (finite_field, ring) p -> t
val generator : order:Integer.t -> t
val prime_field_element : Integer.t -> p:Integer.t -> t
val finite_field_element : Integer.t array -> t -> t
val create : p:int -> degree:int -> (finite_field, ring) p Polynomial.t

create p degree returns a monic irreducible polynomial of the given degree over F_pX.

val generator_from_irreducible_polynomial : (finite_field, ring) p Polynomial.t -> t
val residue_class : t -> (finite_field, ring) p Polynomial.t
val equal : t -> t -> bool
val add : t -> t -> t
val mul : t -> t -> t
val pow : t -> Integer.t -> t
val random : t -> t
val zero : t -> t
val one : t -> t
val extend : (finite_field, field) p -> diff --git a/pari/Pari/Integer/index.html b/pari/Pari/Integer/index.html index 39012f6..9147a8c 100644 --- a/pari/Pari/Integer/index.html +++ b/pari/Pari/Integer/index.html @@ -1,4 +1,4 @@ -Integer (pari.Pari.Integer)

Module Pari.Integer

type integer = private
  1. | Integer
type ('a, 'b) p := ('a, 'b) t
type nonrec t = (integer, ring) t
val inj_rat : t -> Rational.t
val inj_real : t -> Real.t
val inj_complex : t -> Complex.t
val inj_unique_factorization_domain : +Integer (pari.Pari.Integer)

Module Pari.Integer

type integer = private
  1. | Integer
type ('a, 'b) p := ('a, 'b) t
type nonrec t = (integer, ring) t
val inj_rat : t -> Rational.t
val inj_real : t -> Real.t
val inj_complex : t -> Complex.t
val inj_unique_factorization_domain : t -> - (integer, unique_factorization_domain) p
val to_integer : (integer, _) p -> t
val of_int : int -> t
val to_int : t -> int
val of_hex : Hex.t -> t
val of_signed : Signed.long -> t
val equal : t -> t -> bool
val shift : t -> int -> t
val sqrt : t -> Real.t
val zero : unit -> t
val mul : t -> t -> t
val add : t -> t -> t
val sub : t -> t -> t
val neg : t -> t
val pow : t -> t -> t
val modulo : t -> t -> t
val of_string : string -> t option
val to_string : t -> string
val random_prime : bits_amount:int -> t
val gcdext : t -> t -> t * t * t
val gcd : t -> t -> t
val divexact : t -> t -> t
val random : t -> t
module Infix : sig ... end
+ (integer, unique_factorization_domain) p
val to_integer : (integer, _) p -> t
val of_int : int -> t
val to_int : t -> int
val of_hex : Hex.t -> t
val of_signed : Signed.long -> t
val equal : t -> t -> bool
val shift : t -> int -> t
val sqrt : t -> Real.t
val zero : unit -> t
val mul : t -> t -> t
val add : t -> t -> t
val sub : t -> t -> t
val neg : t -> t
val pow : t -> t -> t
val modulo : t -> t -> t
val of_string : string -> t option
val to_string : t -> string
val random_prime : bits_amount:int -> t
val gcdext : t -> t -> t * t * t
val gcd : t -> t -> t
val divexact : t -> t -> t
val random : t -> t
module Infix : sig ... end
diff --git a/pari/Pari/Integer_mod/index.html b/pari/Pari/Integer_mod/index.html index cc055a4..ed125e3 100644 --- a/pari/Pari/Integer_mod/index.html +++ b/pari/Pari/Integer_mod/index.html @@ -1,5 +1,5 @@ -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_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
+ (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
diff --git a/pari/Pari/Rational/index.html b/pari/Pari/Rational/index.html index 8e2917a..75c4af8 100644 --- a/pari/Pari/Rational/index.html +++ b/pari/Pari/Rational/index.html @@ -1,2 +1,2 @@ -Rational (pari.Pari.Rational)

Module Pari.Rational

type rational = private
  1. | Rational
type ('a, 'b) p := ('a, 'b) t
type nonrec t = (rational, field) t
type nonrec ring = (rational, ring) p
val inj_ring : t -> ring
val inj_real : t -> Real.t
val inj_complex : t -> Complex.t
val shift : t -> int -> t
+Rational (pari.Pari.Rational)

Module Pari.Rational

type rational = private
  1. | Rational
type ('a, 'b) p := ('a, 'b) t
type nonrec t = (rational, field) t
type nonrec ring = (rational, ring) p
val inj_ring : t -> ring
val inj_real : t -> Real.t
val inj_complex : t -> Complex.t
val shift : t -> int -> t
diff --git a/pari/Pari/Real/index.html b/pari/Pari/Real/index.html index 5b17cc0..83bb135 100644 --- a/pari/Pari/Real/index.html +++ b/pari/Pari/Real/index.html @@ -1,5 +1,5 @@ -Real (pari.Pari.Real)

Module Pari.Real

type real = private
  1. | Real
type nonrec t = (real, field) t
val inj_complex : t -> Complex.t
# let x1 = Integer.(inj_real (of_int 1));;
+Real (pari.Pari.Real)
Module Pari.Real
type real = private 
  1. | Real
type nonrec t = (real, field) t
val inj_complex : t -> Complex.t
# let x1 = Integer.(inj_real (of_int 1));;
 val x1 : Real.t = <abstr>
 # let x2 = Integer.(inj_real (of_int 1));;
 val x2 : Real.t = <abstr>
diff --git a/pari/Pari/index.html b/pari/Pari/index.html
index 3aaa7b0..8af0d94 100644
--- a/pari/Pari/index.html
+++ b/pari/Pari/index.html
@@ -14444,4 +14444,20 @@
   string ->
   ('kind, 'structure) t ->
   ('kind, 'structure) t ->
-  unit

+  unit
val with_stack_clean : (unit -> ('kind, 'structure) t) -> ('kind, 'structure) t
val with_stack_clean_opt : + (unit -> ('kind, 'structure) t option) -> + ('kind, 'structure) t option
val with_stack_clean6 : + ?av:pari_ulong -> + (unit -> + ('k1, 's1) t + * ('k2, 's2) t + * ('k3, 's3) t + * ('k4, 's4) t + * ('k5, 's5) t + * ('k6, 's6) t) -> + ('k1, 's1) t + * ('k2, 's2) t + * ('k3, 's3) t + * ('k4, 's4) t + * ('k5, 's5) t + * ('k6, 's6) t
val gentobytes : ('kind, 'structure) t -> bytes