Up – Package index » mec » Library mec.permutation » Mec_permutation » Hades_linear_optimisation

Module `Mec_permutation.Hades_linear_optimisation`Source

val compute_updated_constants : 
  (module Ff_sig.PRIME with type t = 'a) ->
  int ->
  int ->
  int ->
  int ->
  'a array ->
  'a array array ->
  'a array * 'a array * 'a array * 'a array

Update the constants for the linear trick

Sourcemodule type PARAMETERS = sig ... end

Sourcemodule Make (Param : PARAMETERS) (Scalar : Ff_sig.PRIME) : sig ... end

Build an HADES SP network based on the parameters and a scalar field