Les jeudi Sage à Bordeaux

(autour de Sage, PARI/GP, et plus)

Prochaine séance le mardi 13 juin lieu à déterminer

Nous nous réunissons les jeudi au LaBRI pour programmer autour du logiciel de calcul formel Sage. Ces journées ont commencé le 13 avril 2017. Cette page permet de suivre l'activité des rencontres.

Projets en cours

• pplpy: interface Pyton à la librairie Parma Polyhedra Library (PPL)

• algèbre linéaire dans Sage (flint, LinBox, IML) #22872

• gmpy2 et Sage #22927 and #22928

• (review) integral point overflow #21993

• (review) #21295

(mot clé pour trac: thursdaysbdx)

Idées

• polyomino dirigé convexes
• arbres non ambigus
• tableaux boisés
• polyomino parallelogramme periodique + les bandes

• optimisation non-linéaire (voir scip et le ticket https://trac.sagemath.org/ticket/10879)

• systèmes linéaires creux exactes (voir linbox ainsi que ce fil sur sage-devel)

• amélioration du patchbot

• portage de gfun

• amélioration de AA et QQbar meta-ticket #18333

• implanter ce truc sur les partitions

• implanter des algorithmes pour des calculs de dimension de Hausdorff et exposants de Lyapunov

  • https://matheuscmss.wordpress.com/2017/02/04/soft-bounds-on-the-hausdorff-dimension-of-dynamical-cantor-sets/

  • Hensley "A polynomial time algorithm for the Hausdorff dimension of continued fraction Cantor Sets" (1994)
  • Pollicott "Maximal Lyapunov exponents for random matrix products" (2010)

Compte-rendus

jeudi 1 juin

Adrien is working on ticket #16110 of Parallelogram polyominoes.

Vincent K

• Travail sur l'intégration de pplpy dans sage (#23024)

jeudi 18 mai

Sébastien is reviewing the following tickets and making sure they work on OSX:

• #22999: update cmake to version 3.8.1

• #22817: Package cryptominisat 5

• #22818: Interface cryptominisat 5

Vincent D & K

• PR #137 pour gmpy2

• travail sur pplpy

• Ouverture et travail sur le ticket #23024

jeudi 11 mai

Sébastien a reviewé:

• (positive review) #21993: Polyhedron.integral_points(): Overflow Error: value too large to convert to int

• (needs work) #21295: recognizable series (a base for k-regular sequences)

Vincent D a finalisé (needs review) #22970: use flint fmpq_mat for rational dense matrices

Vincent K a travaillé sur #22928: Conversions/coercions between gmpy2 and Sage

jeudi 13 avril

Finalement, on a plutôt travaillé dans le grand bureau de Vincent K qui offrait du réseau.

Autour de gmpy2 et pplpy

• petit test d'utilisation de gmpy2 en cython https://github.com/vinklein/testgmpy2 et début d'intégration dans pplpy

• pull request pour installer les fichier d'en-tête avec gmpy2 https://github.com/aleaxit/gmpy/pull/130