 Le prochain temps de l'emploi va être Narko Ravallou et on va s'enlever de sages à l'environnement de développement pour les mathématiques symboliques. Oh non! Aigô, on fait un sinus! Ok, donc premièrement je vais faire une petite introduction puis si j'ai le temps j'ai préparé un petit démon, je ne pense pas avoir le temps par contre. Je ne sais pas c'est quoi le niveau mathématique des gens dans la salle donc je vais essayer de les rendre le plus accessible possible. Donc qu'est-ce que sages? Sages est un lechiel libre de calcul formel et numérique qui a pourvu d'en remplacer le lechiel propriétaire comme main pole, mathématica ou math lab. Probablement que certains d'entre vous ont peut-être en temps de se parler de main pole, mathématica ou l'ont peut-être déjà utilisé en des cours de sages de dérivé ou d'intégral, des choses comme ça. Donc c'est ça le but de sages. Bon ici je parle un peu d'histoire des lechiels de calcul formel qui remontent à peu près aux années 60 et au début c'est issu du milieu académique donc ça vient vraiment du lechiel libre ces choses-là. Par contre dans les années 80 il y a des compagnies qui ont commencé à offrir des solutions propriétaires de lechiel de calcul symbolique. Donc entre autres pour les versions propriétaires ce qu'on a de très populaire c'est main pole, mathématica ou math lab qui sont en fait pratiquement les seules offrées des solutions de calcul symbolique et numérique professionnel, c'est-à-dire utilisées par les mathématiens, les ingénieurs et les étudiants. Et puis du côté des lechiels libres qui sont issus du milieu académique, on a des lechiels qui sont plutôt spécialisés. Comme par exemple CAP qui est un lechiel d'algebs maximaux pour le calcul symbolique plutôt pour l'analyse, Paris GP pour la théorie des nombres, R pour les statistiques. Les défauts de ces solutions-là en fait c'est que du côté propriétaire on sait quels sont les défauts de ces solutions-là. Ça coûte cher, très cher, ça coûte environ 2000 $ une licence pour un lechiel comme main pole. Ils implémentent toutes leurs propres langages dont si on veut utiliser ces lechiels-là, on doit apprendre le langage main pole mathématica. C'est aussi vrai pour les solutions open source. Si on veut utiliser CAP ou Paris, par exemple, il faut qu'on apprenne le langage de CAP ou de Paris, ce qui peut rebuter certaines personnes, surtout par exemple les mathématiens qui ne sont pas nécessairement très très intéressés à prendre des milliers de langages de programmation dans leur vie. Et puis les défauts des lechiels libres, des versions libres, c'est comme j'ai dit, c'est qu'ils sont très spécialisés. Il n'y en a aucun qui est aussi général que main pole mathématica, qui permet de faire énormément de choses à la fois. Chacun des lechiels est très spécialisé, très bon soit en algèbre ou en théorie d'énombre ou en choses comme ça. Ils sont souvent incomplés aussi, ou bogués. Donc la solution, pittons. En 2005, William Stein, un mathématique d'université de Washington, qui utilisait un lechiel propriétaire qui s'appelait Magma, a décidé de réunir tous les lechiels libres et même propriétaires qui pouvaient trouver, qui faisaient des maths, et de créer une interface commune avec le langage pitton. Ce que ça nous permet de faire, c'est d'interagir avec tous les lechiels que j'ai nommés, par exemple, Paris, Gap, Maxima, en pitton. Et puis de les faire interagir les objets les uns avec les autres. On peut, par exemple, poser une question à Paris et puis faire poser une question par rapport à la réponse que Paris nous a donné à Gap. Par exemple, je vais préparer un petit démon par rapport à ça si j'ai le temps de la faire. C'est ça. Donc, l'objectif de SAGE, c'est de créer une alternative viable pour les lechiels comme mathématica. Ce qui est presque atteint, en fait, parce que tous les fonctionnalités qui sont dans SAGE, dans mathématica ou mathématica sont actuellement dans SAGE. Et le moyen du partenaire, évidemment, c'est de réunir tous ces lechiels sous une même interface. Donc, à ce jour, c'est la liste des lechiels qui sont inclus pour il y en a d'autres, évidemment. Donc, Gap, Paris, Maxima, tous ces lechiels-là. Ce qu'il faut aussi que je dise, c'est que c'est pas seulement une interface à ces lechiels-là. SAGE, ça a vraiment créé, ça a créé une structure mathématique. En fait, ils représentent les objets mathématiques, vraiment, comme un mathématique les pense. En fait, en général, on peut parler de l'ensemble des nombres entiers. Ou de choses comme ça, ça représente même des structures infinies. Par exemple, l'ensemble des nombres entiers, c'est un objet. Et puis, on peut, par exemple, demander si un nombre est dans l'ensemble des nombres entiers, juste avec la commande, par exemple, 1n integers. Ok, c'est ça. Donc, c'est vraiment fait, ça utilise les algorithmes des lechiels qui sont en arrière. Ça m'a exposé les détails de ces lechiels-là. Donc, ce que j'ai le temps pour la démo, je n'ai pas le temps. Malheureusement, si vous voulez en savoir plus, vous pouvez me poser des questions.