Attention une mise à jour du serveur va être effectuée le lundi 17 mai entre 13h et 13h30. Cette mise à jour va générer une interruption du service de quelques minutes.

  1. 18 Feb, 2021 1 commit
  2. 11 Feb, 2021 4 commits
  3. 05 Feb, 2021 8 commits
    • Andreas Enge's avatar
      Add a flag to all calls of bnfisprincipal. · 5e7fb8f6
      Andreas Enge authored
      Version 2.13 of PARI has introduced compact units and modified the
      implementation of bnfisprincipal. Without using the bit "2" of the
      flag when a generator is required, the example [1521816,1234,235]
      leads to a warning and generators that are not computed.
      
      Regardless of this, the example causes an exception.
      
      * scripts/shimura.gp (reduce_type_norm,
        shimura_group_arbitrary_lift_of_ideal, shimura_group_element_is_identity,
        shimura_group_element_dlog): Add flag 0 or 3 to bnfisprincipal according
        to whether a generator is needed or not.
      * BUGS: Add example.
      5e7fb8f6
    • Andreas Enge's avatar
      Simplify a GP line. · c4908868
      Andreas Enge authored
      * scripts/shimura.gp (reduce_type_norm): Drop a function call that was only
        needed for an old version of PARI/GP.
      c4908868
    • Andreas Enge's avatar
      Do not reduce triples. · 845e7112
      Andreas Enge authored
      This effectively reverts commit 59f947fb,
      which broke the example [33, 92, 1819].
      
      * scripts/shimura.gp (triple_new): Drop a call to reduce_basepoint.
      * BUGS: Drop an entry.
      845e7112
    • Andreas Enge's avatar
      factor: Delegate a comparison to PARI. · 351c2da4
      Andreas Enge authored
      * src/factor.c (factor_trialdiv): Save a conversion to mpz_t.
      351c2da4
    • Andreas Enge's avatar
      factor: Remove squares by trial division. · 853a9b34
      Andreas Enge authored
      * src/factor.c (mpz_remove_squares): Rewrite the function in terms of
        existing ones.
      853a9b34
    • Andreas Enge's avatar
      Use PARI for trial division. · bddece7b
      Andreas Enge authored
      * src/factor.c (factor_trialdiv): Call PARI.
        (factor_matrix_alloc, remove_prime_power, coprime): Remove functions.
      * src/cm2.c (recognise_quadratic_coefficients): Reword warning message.
      * BUGS: Drop solved cases.
      bddece7b
    • Andreas Enge's avatar
      factor: Make function static. · 7634fbd6
      Andreas Enge authored
      * src/factor.c (factor_matrix_fold_inner): Make function static.
      7634fbd6
    • Andreas Enge's avatar
      factor: Add initialisation function. · d633982a
      Andreas Enge authored
      * src/factor.c (factor_matrix_init): New function.
        (factor_matrix_alloc, factor_matrix_dup): Use the new function.
      d633982a
  4. 04 Feb, 2021 2 commits
    • Andreas Enge's avatar
      Update copyright dates. · 73d08e1a
      Andreas Enge authored
      * src/cm2.c: Add copyright dates.
      73d08e1a
    • Andreas Enge's avatar
      Fine-tune the denominator bound. · 265f61ba
      Andreas Enge authored
      * src/cm2.c (cm_data_init_aux): Add a reference to the bound on primes
        in the denominator and modify its computation. This gains a factor of
        16 when A is even and of 4 when D is divisible by 4, so up to a factor
        of 64.
      265f61ba
  5. 03 Feb, 2021 4 commits
  6. 23 Sep, 2020 3 commits
    • Andreas Enge's avatar
      Enable the use of fplll-5 for coefficient recognition. · 53bba633
      Andreas Enge authored
      Thanks to Jan Engelhardt <jengelh@inai.de> for figuring out the API
      of fplll-5.
      
      * configure.ac: If fplll-4 is not found, check for fplll-5.
      * src/lll.cpp (lll_fplll): Add a version working with fplll-5, and simplify
        the code for fplll-4.
      53bba633
    • Andreas Enge's avatar
      Unset part of the user's .gprc. · 7078fedb
      Andreas Enge authored
      This is necessary since terminal codes for colours may appear in the output.
      
      * scripts/cmh-classpol.sh.in: Define GP_OPTS to unset the colours and use
        it everywhere gp is called.
      7078fedb
    • Andreas Enge's avatar
      Do not fix the gp stack size, instead enable reading .gprc. · 293d5318
      Andreas Enge authored
      32 bit machines may choke on addressing 8GB of stack, while smaller sizes
      may not be enough on large examples.
      
      This partially reverts commit 370d5ebe.
      
      Reported by Jan Engelhardt <jengelh@inai.de>.
      
      * scripts/cmh-classpol.sh.in: Drop fixing the gp stack size with "-s",
        and drop the "-f" parameter to invocations of gp.
      293d5318
  7. 21 Sep, 2020 1 commit
  8. 20 Aug, 2020 3 commits
  9. 19 Aug, 2020 2 commits
  10. 23 Jun, 2020 2 commits
  11. 16 Apr, 2019 2 commits
  12. 04 Apr, 2019 2 commits
  13. 27 Feb, 2019 1 commit
    • Andreas Enge's avatar
      Scale the matrix passed to LLL differently by removing a common factor · b15df9ff
      Andreas Enge authored
      of 2^Xp from the last column. The time for [296, 346, 27265] decreases
      by about a third. At the same time, drop the negligible factor s from the
      scaled unit matrix and replace divisions by powers of 2 by right shifts;
      this has no effect on the running time, while preserving correctness
      of the result.
      
      * src/quadratic_field.c (quadratic_number_recognize): Modify the matrix
        passed to LLL.
      b15df9ff
  14. 25 Feb, 2019 5 commits
    • Andreas Enge's avatar
      Remove examples subdirectory, which does not actually contain examples. · a1cf1fde
      Andreas Enge authored
      * examples/bench-theta.m, examples/theta.m, examples/thetatool.c:
        Remove files.
      a1cf1fde
    • Andreas Enge's avatar
      .gitignore: Add a file. · ebd593b9
      Andreas Enge authored
      * .gitignore: Add config/test-driver.
      ebd593b9
    • Andreas Enge's avatar
      Simplify interface for quadratic fields. · c88f0bd5
      Andreas Enge authored
      * src/quadratic_field.h, src/quadratic_field.c (quadratic_number_set,
        quadratic_number_swap, quadratic_number_mul_z,
        quadratic_number_mul_z_normalize): Remove unused functions.
        (quadratic_number_normalize): Let the function work in place.
        (quadratic_number_recognize): Use macros (which do no longer clash with
        macros from PARI or FPLLL).
      * src/macros.h (fget_z): New macro.
      c88f0bd5
    • Andreas Enge's avatar
      Refactor code around LLL and recognition of quadratic numbers. · 0f9e3dec
      Andreas Enge authored
      * src/recognize_quadratic.cpp: Rename to...
      * src/lll.cpp: ...this.
        (recognize_quadratic): Move functionality...
      * src/quadratic_field.c (quadratic_number_recognize): ...here.
      * src/recognize_quadratic.h: Rename to...
      * src/lll.h: ...this. Export cmh_lll.
      * src/Makefile.am: Update the changed file names.
      * src/quadratic_field.c: Update the changed name of the included file.
      0f9e3dec
    • Andreas Enge's avatar
      Factor code for recognising quadratic numbers. · b57c29b3
      Andreas Enge authored
      * src/recognize_quadratic.cpp (recognize_quadratic_pari,
        recognize_quadratic_fplll): Remove functions.
        (lll_pari, lll_fplll): New functions encapsulating the LLL algorithm
        on matrices with mpz_t coefficients.
        (recognize_quadratic): Put all the logic here.
      b57c29b3