Les jeudi sages à Bordeaux

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

Prochaine(s) séance(s): le jeudi 15 février de 8h00 à 13h00 en salle 73 (LaBRI).

Nous nous réunissons les jeudi au LaBRI pour discuter et programmer autour des logiciels de calculs formels. Les journées restent centrées sur Sage et PARI/GP mais elles sont ouvertes à tous/toutes. Le principe est que si vous avez des questions vous venez les poser et si vous savez des choses vous venez les partager. Certains jeudi seront centrés sur des thématiques sous forme de mini-cours ou démonstration.

Pour être tenu informé vous pouvez vous abonner à la liste de diffusion.

Mot clé pour trac: thursdaysbdx

Idées et Projets en cours

• les nombres réels #17713

• relecture de la version anglaise du Calcul mathématique avec Sage

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

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

• Integration de pplpy comme package Sage #23024.

• gmpy2 et Sage #22927 and #22928

• interfacer des librairies d'automates: Wali (ancien Vaucanson) ou Fado

• 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)

• amélioration du patchbot

• portage de gfun (voir le paquet ore_algebra-analytic développé par Marc Mezzarobba)

• 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)
• corriger et améliorer les dessins hyperboliques (dim 2)

  • #23427

  • supports pour les horocycles et les polygones fait de bords géodésiques et horocycliques

Compte-rendus

==== Jeudi 8 Février ===

9 participants!

==== Jeudi 1er Février ===

• démo par Vincent Delecroix et Bill Allombert du calcul de groupes de Galois
• tentative de reproduire les calculs de Shigeki Akiyama sur les polytopes qui minimise l'aire de surface

Jeudi 25 janvier

Présents : Sebastien Labbé, Milton et Vincent Klein

Vincent K.

• cysignals : Etude d'une implémentation sous windows.

• Suivi sur #22928

Jeudi 18 janvier

Présents : Pascal Weil, Sebastien Labbé et Vincent Klein

Vincent K.

• Echanges avec Pascal Weil
• cypari2 : Retours sur la proposition des unittest.
• Point d'avancement odk avec Seb.

Jeudi 21 décembre

• .. todo ...

Jeudi 14 décembre

Sébastien Labbé et Pascal Weil:

• Génération aléatoire de graphes de Stallings, le code est ici: partial_injection.py

Jeudi 30 Novembre

Vincent D

• discussion sur la parentalité et les catégories https://trac.sagemath.org/ticket/21380

Sébastien et Vincent D:

• Génération aléatoire et uniforme d'injections partielles (question de Pascal Weil) partial_injection.py

Vincent K

• Syntax higlihting sur le kernel jupyter de singular OpenDreamKit #175, PR #7.

Jeudi 16 Novembre

Vincent K :

• gmpy2 résolution issue #170.

• #22928 conversion entre nombres complexes sage et type gmpy2.

Jeudi 19 octobre

• Sebastien nous as présenté son package slabbe
  • Auditeurs : Philippe, José, Vincent K.

Jeudi 12 octobre

• (Vincent D) présentation du logiciel Sage (auditeurs: Philippe, Lamine). L'objectif était de montrer comment manipuler des équations (algébriques ou symboliques)

Jeudi 21 septembre

• Présentation de Vincent Klein
• Présentation d'Aurel Page

Jeudi 14 septembre

Sébastien:

• Review du ticket #23779 (positive_review): dev_tools is wrongly using globals()

• Review du ticket #23849 (positive_review): Remove deprecation from optional_packages documentation and friends

• Review du ticket #23851 (positive_review): Fix memoryleak introduced in #11670

• Review du ticket #23860 (positive_review): C++ clean up in dancing_links.pyx

Vincent D:

• s'est battu bat avec GAP #23844, #23853, #23854, les graphes (nauty est génial!) et les polynômes de Laurent #23864

Vincent K:

• Travail sur la generation de tests pour cypari2

• Syntax Highlightning de pari-jupyter : Tentative d'installation du kernel de gap issue #43

Jeudi 29 juin

Vincent K.

• Review du ticket #22889 (positive_review)

Jeudi 22 juin

Sylvain L. est venu nous présenter Wali (la suite de Vaucanson)! Intégration dans Sage en prévision... à suivre!

Vincent D.

• demande d'intégration (traduction approximative de "pull request") à gmpy2 DI #148 et DI #149

• issue #150 dans gmpy2

• DI #12784 dans sympy pour régler issue #12753. Et portage dans Sage avec le ticket #23248

• travail dans pypolymake autour de issue #12

• nouveau ticket #23309 pour rendre gmpy2 standard

Vincent K.

• Travail sur #22928 et #22927, integration du type gmpy.mpfr avec les nombres sage.

• Ouverture du ticket #23308

Jeudi 15 juin

Sébastien L is reviewing:

• #23162 (positive_review) Give a warning when using citation.get_systems() without Cython profiling

• #16110 (needs work with 21 comments:) Parallelogram Polyomino

Vincent K

• Travail sur pplpy

• Travail sur les tickets #23024 et #22928

• Ouverture du ticket #23246

Vincent D

• Travil sur pplpy (problème de pickling)

• Ouverture du ticket #23248

Mardi 13 juin

Vincent K

• Travail sur pplpy. Notamment issue #22

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