Il y a quelques semaines à peine, un tiers de siècle s’est écoulé depuis la sortie de Mathematica 1.0. Aujourd’hui, j’ai le plaisir d’annoncer les derniers résultats de notre long processus de recherche et développement: la version 13 de Wolfram Language et Mathematica. (Oui, le thème du 1, 3 – complété par le fait que nous sommes le 13 du mois aujourd’hui – est amusant, bien que fortuit). Cela fait 207 jours, soit un peu plus de 6 mois, que nous avons lancé la version 12.3. Et j’ai le plaisir de vous annoncer que, dans ce court laps de temps, un nombre impressionnant de travaux de recherche et développement ont été réalisés: non seulement un total de 117 fonctions entièrement nouvelles, mais aussi plusieurs centaines de fonctions mises à jour et améliorées, plusieurs milliers de corrections de bogues et de petites améliorations, et une foule de nouvelles idées pour rendre le système encore plus facile et plus fluide à utiliser. Chaque jour, chaque semaine, chaque mois, depuis un tiers de siècle, nous nous efforçons d’enrichir le vaste cadre intégré que constituent Mathematica et le langage Wolfram. Aujourd’hui, nous pouvons constater les résultats de toutes ces idées, de tous ces projets et de tous ces travaux individuels: un rythme d’innovation régulier, qui s’est maintenu pendant plus d’un tiers de siècle:

Ce résultat est le fruit d’un travail acharné. Mais il reflète aussi autre chose: le succès des principes de conception fondamentaux du Wolfram Language. Car ce sont ces principes qui ont permis à ce qui est aujourd’hui un énorme système de conserver sa cohérence et sa consistance, et de devenir de plus en plus fort. Ceque nous construisons aujourd’hui ne part pas de zéro; il est construit au sommet de l’énorme tour de capacités que nous avons bâtie auparavant. C’est pourquoi nous sommes capables d’aller si loin, d’automatiser tant de choses et d’inventer tant de choses.

La version 1.0 comptait 554 fonctions au total. Entre la version 12.0 et la version 13.0, nous avons ajouté un total de 635 nouvelles fonctions (en plus des 702 fonctions qui ont été mises à jour et améliorées). Et c’est encore plus
impressionnant que cela. En effet, lorsque nous ajoutons une fonction aujourd’hui, les attentes sont bien plus élevées qu’en 1988, car nous pouvons automatiser bien plus de choses et nous devons nous connecter et nous intégrer à bien plus de choses dans l’ensemble du système. Et, bien sûr, nous pouvons aujourd’hui écrire, et nous le faisons, une documentation peut-être cent fois plus étendue et détaillée que celle qui aurait pu tenir dans le livre (imprimé) Mathematica de 1988.

L’éventail complet des nouveautés de la version 13 par rapport à la version 12 est très large et impressionnant. Mais je me concentrerai ici sur les nouveautés de la version 13.0 par rapport à la version 12.3. J’ai déjà écrit sur les versions 12.1, 12.2 et 12.3.

À l’époque où l’on devait encore faire des intégrales et d’autres opérations similaires à la main, on était toujours ravi de découvrir que son problème pouvait être résolu grâce à une « fonction spéciale » exotique dont on n’avait jamais entendu parler auparavant. Les fonctions spéciales sont en quelque sorte une façon d’emballer les connaissances mathématiques: une fois que vous savez que la solution de votre équation est une fonction de Lamé, cela vous dit immédiatement beaucoup de choses mathématiques à son sujet.

Dans le langage Wolfram, nous avons toujours pris les fonctions spéciales très au sérieux, non seulement en prenant en charge une vaste collection d’entre elles, mais aussi en permettant de les évaluer avec n’importe quelle précision numérique et de les faire participer à une gamme complète d’opérations mathématiques symboliques.
Lorsque j’ai commencé à utiliser des fonctions spéciales, il y a environ 45 ans, le livre qui constituait la référence standard était le Handbook of Mathematical Functions d’Abramowitz & Stegun (1964). Il répertoriait des centaines de fonctions, certaines largement utilisées, d’autres moins. Au fil des ans, le développement du langage Wolfram a permis d’ajouter de plus en plus de fonctions à celles d’Abramowitz & Stegun.

Et dans la version 13.0, nous avons enfin terminé! Toutes les fonctions d’Abramowitz & Stegun sont maintenant entièrement calculables dans le Wolfram Language. Les dernières fonctions à être ajoutées sont les fonctions d’onde de Coulomb (pertinentes pour l’étude des processus de diffusion quantique). Les voici dans Abramowitz & Stegun:

Bien sûr, l’histoire ne s’arrête pas là, comme on peut le voir maintenant:

Un autre type de numéro On pourrait penser qu’un nombre n’est qu’un nombre. Et c’est fondamentalement vrai pour les nombres entiers. Mais lorsqu’un nombre est un nombre réel, l’histoire est plus compliquée. Parfois, vous pouvez « nommer » un nombre réel de manière symbolique, par exemple. Mais la plupart des nombres réels n’ont pas de « nom symbolique ». Et pour les spécifier exactement, il faudrait donner un nombre infini de chiffres, ou l’équivalent. Le résultat est que l’on finit par vouloir avoir des nombres réels approximatifs que l’on peut considérer comme représentant certaines collections entières de nombres réels réels.

Maintenant nous pouvons vérifier qu’effectivement « tout cet intervalle » est supérieur à 0:
Et à partir de la façon dont l’intervalle a été calculé dans le « pire des cas », cela fournit maintenant un théorème définitif.

Grâce à nos capacités en matière de théorie des graphes, nous avons également été en mesure d’améliorer considérablement notre traitement des systèmes d’EOD, en trouvant des moyens de les « démêler » en formes bloc diagonales qui nous permettent de trouver des solutions symboliques dans des cas beaucoup plus complexes qu’auparavant.

Pour les EDP, il n’est généralement pas possible d’obtenir des solutions générales « à forme fermée » pour les EDP non linéaires. Mais on peut parfois obtenir des solutions particulières connues sous le nom d’intégrales complètes (dans lesquelles il n’y a que des constantes arbitraires, et non des fonctions arbitraires « entières »). Et maintenant nous avons une fonction explicite pour les trouver:

En passant du calcul à l’algèbre, nous avons ajouté la fonction PolynomialSumOfSquaresList qui fournit une sorte de « certificat de positivité » pour un polynôme multivarié. L’idée est que si un polynôme peut être décomposé en une somme de carrés (et la plupart de ceux qui ne sont jamais négatifs, mais pas tous, le peuvent), cela prouve que le polynôme est effectivement toujours non négatif.

Et, oui, en additionnant les carrés, on retrouve le polynôme d’origine:

Dans la version 13.0, nous avons également ajouté quelques nouvelles fonctions matricielles. Il y a Adjugate, qui est essentiellement un inverse de matrice, mais sans diviser par le déterminant. Et il y a DrazinInverse qui donne l’inverse de la partie non singulière d’une matrice – comme cela est particulièrement utilisé dans la résolution d’équations différentiellesalgébriques.

Mais ces fonctions d’interpolation contiennent également de nombreux détails sur la solution que nous avons obtenue. Par exemple, voici le tenseur de déformation de la cuillère, donné comme un tableau symétrique de fonctions d’interpolation:

Et maintenant nous pouvons par exemple trouver la composante maximale 3, 3 du tenseur de déformation et la position où elle est atteinte:

Que diriez-vous de trouver la distribution des valeurs de la déformation sur la cuillère? Une façon simple de le faire est d’échantillonner des points aléatoires dans la cuillère

puis de faire un histogramme lissé des souches à ces points:

Nous pouvons également prendre une seule vidéo et la « résumer » sous la forme d’une série d’extraits vidéo + audio, choisis par exemple à intervalles réguliers dans la vidéo. Il s’agit d’une version vidéo de VideoFrameList. Voici un exemple de « résumé » d’une vidéo de 75 minutes:

La version 13.0 a ajouté quelques commodités pratiques pour la manipulation des vidéos. L’une d’elles est OverlayVideo, qui vous permet d’ajouter une image en filigrane à une vidéo ou d’insérer ce qui revient à une
vidéo « image dans l’image »:

Nous avons également fait en sorte que de nombreuses opérations d’image fonctionnent directement sur les vidéos. Ainsi, par exemple, pour recadrer une vidéo, il suffit d’utiliser ImageCrop:

Cela étiquette explicitement les nœuds dans l’ordre où ils sont visités:

Here’s a slightly more ornate ordering:

Pourquoi cela est-il important? L' »ordre de traversée » s’avère être lié à des questions profondes concernant les processus d’évaluation et ce que j’appelle désormais le multicomputing. En un sens, l’ordre de traversée définit le « cadre de référence » à travers lequel un « observateur » de l’arbre l’échantillonne. Et, oui, ce langage ressemble à de la physique, et pour une bonne raison: tout ceci est profondément lié à un tas de concepts de physique fondamentale qui apparaissent dans notre projet de physique. Et la paramétrisation de l’ordre de traversée – en plus d’être utile pour un grand nombre d’algorithmes existants – commence à ouvrir la porte à la connexion des processus de calcul aux idées de la physique, et à de nouvelles notions sur ce que j’appelle le calcul multiple.

Chaque correspondance correspond à une arête dans le graphe:

Et maintenant, en trouvant une « coloration des bords », nous avons une liste de « créneaux horaires » possibles dans lesquels chaque match peut être joué:

EdgeChromaticNumber indique le nombre total de correspondances nécessaires:

Le coloriage de cartes soulève le sujet des graphes planaires. La version 13.0 introduit de nouvelles fonctions pour travailler avec les graphes planaires. PlanarFaceList prend un graphe planaire et nous indique comment le graphe peut être décomposé en « faces »:

FindPlanarColoring calcule directement une coloration pour ces faces planes. Pendant ce temps, DualPlanarGraph crée un graphe dans lequel chaque face est un sommet:

Nous pouvons maintenant demander le DominatorTreeGraph, qui nous montre une carte de quels sommets sont critiques pour arriver où, en partant de A:

Cela indique maintenant pour chaque sommet quel est son « dominateur », c’est-à-dire quel est le sommet critique le plus proche de lui:

Pour créer cette estimation, nous avons inévitablement utilisé un modèle. Nous pouvons changer le modèle lorsque nous créons l’estimation spatiale:

Maintenant, les résultats seront différents:

(Et, oui, cela montre que pour la première fois depuis le début des mesures à la fin des années 1950, la rotation de la Terre s’accélère légèrement).

Pouvons-nous voir les secondes intercalaires qui ont été ajoutées pour tenir compte de ces changements? Examinons quelques secondes au début de l’année 2017 dans le système de temps TAI:

Convertissons maintenant ces moments dans le temps dans leur représentation UTC, en utilisant la nouvelle fonction TimeSystemConvert:

Regardez attentivement. D’abord, le moment où 2016 se termine et où 2017 commence est légèrement différent en UTC et en TAI. Mais il y a quelque chose d’encore plus étrange qui se passe. À la toute fin de 2016, UTC indique un temps de 23:59:60. Pourquoi cette heure n’a-t-elle pas été reportée au jour suivant dans le style « arithmétique de l’horloge »?

Réponse: parce qu’une seconde intercalaire a été insérée. (Ce qui me fait me demander quand le Nouvel An a été célébré dans le fuseau horaire 0 cette année-là….)
Si vous pensez que cela est subtil, considérez un autre point. Dans votre ordinateur, il y a beaucoup de minuteries qui contrôlent les opérations du système – et qui sont basées sur le « temps global ». Et de mauvaises choses pourraient se produire avec ces minuteries si le temps global « glissait ». Alors, comment pouvons-nous résoudre ce problème? Ce que nous faisons dans le langage Wolfram est d’utiliser « l’UTC étalé », et d’étaler efficacement la seconde intercalaire au cours d’une journée – essentiellement en faisant en sorte que chaque « seconde » individuelle ne soit pas exactement une « seconde physique ».
Voici le début de la dernière seconde de 2016 en UTC:

Mais c’est ici en UTC barbouillé:

À propos, vous vous demandez peut-être pourquoi on devrait s’intéresser à toute cette complexité. Dans la vie quotidienne, les secondes intercalaires sont un détail. Mais si vous faites de l’astronomie, elles peuvent être très importantes. Après tout, en une seconde (intercalaire), la lumière parcourt environ 186 000 miles…..

Une autre nouveauté de la version 13 est la possibilité de mélanger plusieurs couches d’arrière-plan. Voici un exemple qui comprend une carte des rues avec une carte en relief translucide par-dessus (et des étiquettes par-dessus):

On peut construire des structures plus complexes de manière hiérarchique:

Bien que les intégrales deviennent difficiles, il est encore souvent possible d’obtenir des résultats exacts pour des choses comme le volume:

Étant donné une région géométrique construite de manière hiérarchique, il est possible de l’arborer avec CSGRegionTree:

qui peuvent être « assemblés » en une région CSG réelle pour une pièce d’ingénierie typique:

La réflexion sur les DSC met en évidence la question de savoir quand deux régions sont « identiques ». Par exemple, même si une région peut être représentée comme un polygone général, elle peut aussi être un rectangle pur. Et plus encore, la région peut se trouver à un endroit différent de l’espace, avec une orientation différente.
Dans la version 13.0, la fonction RegionCongruent teste ce phénomène:

Mais sachant que deux régions sont similaires, la question suivante pourrait être: Quelle transformation est nécessaire pour passer de l’une à l’autre?
Dans la version 13.0, FindRegionTransform essaie de le déterminer:

Souvent, ces molécules sont nombreuses et on peut, par exemple, voir comment elles sont disposées dans un « espace de caractéristiques chimiques »:

Maintenant que nous pouvons gérer à la fois les molécules et les formules chimiques, la prochaine grande étape est celle des réactions chimiques. Et dans la version 13.0, le début de cette étape est la possibilité de représenter
symboliquement une réaction chimique.

Vous pouvez saisir une réaction sous forme de chaîne de caractères:

Voici la réaction représentée en termes de règles explicites:

Mais ce n’est pas encore une réaction équilibrée. Pour l’équilibrer, nous pouvons utiliser ReactionBalance:

Et, il va sans dire que ReactionBalance est assez général, de sorte qu’il peuttraiter les réactions dont l’équilibrage nécessite la résolution d’équations diophantiennes légèrement non triviales:

BioSequence prend également en charge les brins hybrides, impliquant par exemple la liaison entre l’ADN et l’ARN:

Molecule convertit la BioSequence en une collection explicite d’atomes:

FlightData nous permet également d’obtenir des données agrégées. Par exemple, ceci indique d’où viennent tous les vols qui sont arrivés hier à Boston:

Et ceci montre un histogramme de l’heure de départ des vols de Boston hier:

Pendant ce temps, voici les chemins que les vols arrivant à Boston ont pris près de l’aéroport:

Et voici ce qui se passe si certaines courbes partagent leurs axes:

Les axes multiples vous permettent de regrouper plusieurs courbes sur un seul « panneau de tracé ». Les tracés multi-panneaux vous permettent de placer des courbes dans des panneaux séparés, connectés, avec des axes partagés. Les premiers cas de tracés multipanneaux ont déjà été introduits dans la version 12.0. Mais maintenant, dans la version 13.0, nous étendons les tracés multi-panneaux à d’autres types de visualisations:

Le principe est qu’il existe une fonction de mise à l’échelle qui transforme l’intervalle infini en un intervalle fini. Vous pouvez l’utiliser explicitement avec les ScalingFunctions:

Voici un exemple un peu plus élaboré, qui inclut un intervalle doublement infini:

Dans la version 12.3, nous avons introduit la fonction GeoGraphPlot pour tracer des graphiques dont les sommets sont des positions géographiques. Dans la version 13.0, nous ajoutons GeoGraphValuePlot qui vous permet également de visualiser les « valeurs » sur les bords du graphique:

À propos, une autre nouvelle fonctionnalité de la version 13.0 est la primitive Torus intégrée:

Après avoir effectué cet entraînement (qui, oui, a pris environ 5 minutes sur une machine équipée de GPU), nous pouvons alors appliquer le détecteur que nous venons de créer:

Lorsque vous appliquez le détecteur, vous pouvez lui demander différents types d’informations. Ici, il donne des boîtes de délimitation que vous pouvez utiliser pour annoter l’image originale:

Voici les caractéristiques extraites pour un seul élément de données:

Cela montre une partie des rouages de ce qui se passe dans Classify. Mais vous pouvez aussi vous demander ce qui affecte le plus les résultats de Classify. Une approche consiste à utiliser les valeurs SHAP pour déterminer l’impact de chaque attribut spécifié dans les données que vous fournissez sur le résultat. Dans la version 13.0, nous avons ajouté un moyen graphique pratique pour afficher cela pour une entrée donnée:

Maintenant, nous voulons construire le contrôleur – et c’est là qu’il faut connaître un peu la théorie du contrôle. Ici, nous allons utiliser la méthode de placement des pôles pour créer notre contrôleur. Et nous allons utiliser la nouvelle capacité de la version 13.0 pour pouvoir concevoir un « contrôleur de suivi » qui suit des sorties spécifiées (oui, pour définir ces chiffres, vous devez connaître la théorie du contrôle):

Nous devons maintenant réaliser le système en boucle fermée qui comprend le robot et son contrôleur:

Et maintenant nous pouvons simuler le comportement de tout ce système, en donnant en entrée des listes de coordonnées x et y de la trajectoire de référence:

Et sur la base de cette simulation, voici un tracé de l’endroit où se trouve la fin du pointeur:

Le comportement d’automatching (que vous pouvez désactiver dans la boîte de dialogue Préférences si vous ne l’aimez vraiment pas) s’applique non seulement à [ ] mais aussi à { }, ( ), [[ ]], <| |>, (* *) et (surtout)  » « . Et ctrl space fonctionne également avec tous ces types de délimiteurs.

Pour les aficionados de l’expérience utilisateur, il y a un point supplémentaire qui peut être intéressant. En tapant ctrl space peut potentiellement déplacer votre curseur suffisamment loin pour que votre œil le perde. Ce type de déplacement du curseur sur une longue distance peut également se produire lorsque vous saisissez des données mathématiques ou d’autres données 2D qui sont composées en temps réel. Dans les années 1990, nous avons inventé un mécanisme pour éviter que les gens « perdent le curseur ». En interne, nous l’appelons « l’incroyable tache qui rétrécit ». Il s’agit d’une grosse tache noire qui apparaît à la nouvelle position du curseur et qui rétrécit jusqu’au curseur pur en 160 millisecondes environ. Pensez-y comme un « vision hack ». En fait, nous nous connectons au système de vision préattentive de l’homme, qui fait que l’on déplace automatiquement son regard vers « l’objet qui apparaît soudainement », mais sans vraiment
s’en rendre compte.
Dans la version 13, nous utilisons maintenant ce mécanisme non seulement pour la composition en temps réel, mais aussi pour les commandes de type ctrl space -pour ajouter le blob chaque fois que la « distance de saut » est supérieure à un certain seuil.
Vous ne remarquerez probablement même pas la présence du blob (seule une petite fraction de personnes semble le « voir »). Mais si vous l’attrapez à temps, voici ce que vous verrez:

En général, le suivi de la progression est une bonne chose; il vous aide à savoir ce qui se passe et vous permet de vérifier si les choses ont dérapé. Mais parfois, il peut être déroutant, surtout si une fonction interne dont vous ne saviez même pas qu’elle était appelée apparaît soudainement dans le suivi de la progression. Pendant longtemps, nous avons pensé que ce problème rendrait la généralisation du suivi de la progression une mauvaise idée. Mais l’intérêt de voir ce qui se passe semble presque toujours l’emporter sur la confusion potentielle de voir quelque chose se passer « sous le capot » dont vous n’étiez pas au courant. Et il est très utile que, dès qu’une opération est terminée, ses moniteurs de progression disparaissent, de sorte que votre carnet de notes final n’en porte aucune trace.
À propos, chaque fonction avec contrôle de la progression possède une option ProgressReporting, que vous pouvez régler sur False. En outre, il existe une variable globale $ProgressReporting qui spécifie la valeur par défaut dans tout le système.
Il convient de mentionner qu’il existe différents niveaux de suivi du type « Are we there yet ». Certaines fonctions passent par une séquence systématique d’étapes, par exemple le traitement de chaque image d’une vidéo. Dans ce cas, il est possible d’afficher la « fraction complète » sous forme de barre d’indicateur de progression. Parfois, il est également possible de faire au moins une estimation de la « fraction achevée » (et donc du temps d’achèvement prévu) en examinant « statistiquement » ce qui s’est passé jusqu’à présent dans certaines parties du calcul. C’est, par exemple, la façon dont ParallelMap etc. fait son suivi de la progression.
Bien sûr, en général, il n’est pas possible de savoir combien de temps prendra un calcul arbitraire; c’est l’histoire de l’irréductibilité informatique et de choses comme l’indécidabilité du problème de la halte pour les machines de Turing. Mais en supposant (ce qui s’avère être assez bon la plupart du temps) qu’il y a une distribution assez régulière des temps d’exécution pour différents sous-calculs, il est toujours possible de donner des estimations raisonnables. (Et, oui, le « signe visible » d’une indécidabilité potentielle est qu’un pourcentage de complétion pourrait sauter vers le bas aussi bien qu’augmenter avec le temps).

Il est également possible de générer immédiatement un contenu dynamique riche directement à partir d’une entrée linguistique de forme libre:
Outre le contenu interactif « sur mesure », les ordinateurs portables en mode alpha de Wolfram permettent également d’accéder immédiatement au contenu interactif des plus de 12 000 démonstrations du projet de démonstrations Wolfram:
Wolfram|Alpha Notebook Edition est particulièrement bien adapté à l’enseignement. Et dans la version 13.0, nous incluons une première collection de quiz interactifs, portant spécifiquement sur les parcelles:

Ensuite, lorsque vous appuyez sur Générer, vous obtenez immédiatement une version déployée de votre quiz qui peut, par exemple, être consultée directement sur le Web. Vous obtenez également un carnet de résultats, qui vous montre comment récupérer les résultats des personnes qui font le quiz.

Que se passe-t-il réellement lorsque quelqu’un répond au quiz? Dès qu’il appuie sur Soumettre, sa réponse est évaluée et soumise à la destination que vous avez spécifiée, qui peut être un objet en nuage, un databin, etc. (Vous pouvez également spécifier que vous souhaitez que la personne qui répond au quiz reçoive un retour d’information local).
Ainsi, après que plusieurs personnes ont soumis des réponses, voici à quoi pourraient ressembler les résultats que vous obtenez:
Dans l’ensemble, la version 13.0 offre désormais un flux de travail rationalisé pour la création de quiz simples et complexes. Les quiz peuvent comporter toutes sortes de réponses différentes, notamment du code exécutable en Wolfram Language. Et les évaluations peuvent également être sophistiquées, par exemple en incluant des comparaisons de code.
Pour donner une idée de ce qui est possible, voici une question qui demande de sélectionner une couleur, qui sera comparée à la bonne réponse dans une certaine tolérance:

Voici maintenant une page importée en tant que graphique vectoriel:

Et maintenant, pour prouver qu’il s’agit d’un graphique vectoriel, nous pouvons le modifier, jusqu’aux traits utilisés dans chaque glyphe:

Cela nous donne la 5e partie du tableau:

Cela permet d’obtenir l’expression de tout le nuage:

Mais le point important est que l’obtention et le réglage des parties de l’expression du nuage ne nécessitent pas de tirer l’expression en mémoire. Chaque opération est effectuée directement dans le nuage.Dans un système de base de données relationnelle traditionnel, les données doivent être d’une certaine « rectangularité ». Mais dans une expression en nuage (comme dans une base de données NoSQL), vous pouvez avoir n’importe quelle liste imbriquée et structure d’association, et, en outre, les éléments peuvent être des expressions symboliques arbitraires. CloudExpression est configuré de manière à ce que les opérations que vous
utilisez soient atomiques, de sorte que, par exemple, vous pouvez en toute sécurité avoir deux processus différents qui lisent et écrivent simultanément dans la même expression de nuage. Le résultat est queCloudExpression est un bon moyen de gérer les données construites par des choses comme APIFunction et FormFunction.
D’ailleurs, CloudExpression n’est en fait qu’un objet du nuage, et partagedonc les mêmes capacités de permission que CloudObject. Cela signifie, par exemple, que vous pouvez laisser d’autres personnes lire ou écrire sur une expression de nuage que vous avez créée. (Les données associées à CloudExpression sont stockées dans votre compte cloud, mais elles utilisent leur propre quota de stockage, distinct de celui de CloudObject).
Imaginons que vous stockiez de nombreuses données importantes sous forme de sous-liste dans CloudExpression. CloudExpression est tellement facile à utiliser que vous pourriez craindre de taper quelque chose comme ce[« clients »]=7 et que vos données importantes soient soudainement écrasées. Pour éviter cela, CloudExpression dispose de l’option PartProtection, qui vous permet de spécifier si, par exemple, vous souhaitez autoriser la modification de la structure de l’expression, ou seulement deses « éléments feuilles »

Il y a toutes sortes d’éléments qui peuvent exister dans les paclets, et dans les futures versions, il y aura progressivement plus d’outils pour faciliter leur création. Dans la version 13.0, cependant, une pièce majeure de l’outillage livré est les outils de documentation, qui fournissent des outils pour créer le même type de documentation que nous avons pour les fonctions intégrées du système.

Vous pouvez accéder à ces outils directement à partir du menu principal Palettes du système:

Pour le référentiel de fonctions, vous pouvez utiliser ResourceFunction[« name »] pour accéder à n’importe quelle fonction du référentiel. PacletSymbol est un analogue de ceci pour les paclets. Une façon d’utiliser une paclet est de charger explicitement tous ses actifs. Mais PacletSymbol vous permet de faire un « appel profond » dans une
paclet pour accéder à une seule fonction ou un seul symbole. Comme avec ResourceFunction, toutes sortes de chargements d’actifs se produiront en arrière-plan, mais dans votre code, vous pouvez simplement utiliser PacletSymbol sans aucune initialisation visible. D’ailleurs, un modèle émergent consiste à « soutenir » une collection de fonctions interdépendantes du référentiel de fonctions avec une paclet, en accédant aux fonctions individuelles à partir du code du référentiel de fonctions en utilisant PacletSymbol.

L’idée de base est de construire des pages Web en utilisant des combinaisons imbriquées de WebColumn, WebRow et WebItem. Chacun de ces éléments dispose de diverses options du langage Wolfram. Mais ils permettent également un accès direct aux options CSS. Ainsi, en plus d’une option Wolfram Language Background->LightBlue, vous pouvez également utiliser une option CSS telle que »border-right »-> »1px solid #ddd ».
Il existe une autre fonctionnalité essentielle: InterfaceSwitched. Il s’agitde l’élément central permettant de créer des pages Web réactives, capables de modifier leur structure lorsqu’elles sont visualisées surdifférents types de périphériques. InterfaceSwitched est uneconstruction symbolique que vous pouvez insérer n’importe où dans WebItem, WebColumn, etc. et qui peut se comporter différemment lorsqu’on y accède avec une interface différente. Ainsi, par exemple, ilse comportera comme 1 si l’on y accède à partir d’un appareil dont lalargeur est comprise entre 0 et 480 pixels, et ainsi de suite. Vous pouvezvoir cela en action en utilisant CloudPublish et en redimensionnant lafenêtre que vous utilisez pour afficher le résultat

puis de redimensionner la fenêtre que vous utilisez pour visualiser le résultat:

Tout ce dont j’ai parlé ici est immédiatement disponible aujourd’hui dansle Wolfram Cloud et sur le bureau – pour macOS, Windows et Linux (et pour macOS, c’est à la fois Intel et « Apple Silicon » ARM). Mais lorsque vous allez télécharger (au moins pour macOS et Windows), il y a une nouvelle option: télécharger sans documentation locale.
Le paquet exécutable réel qu’est Wolfram Desktop ou Mathematica fait environ 1,6 Go pour Windows et 2,1 Go pour macOS (il est plus gros pour macOS car il inclut des binaires « universels » qui couvrent à la fois Intel et ARM). Mais il y a aussi la documentation. Et il y en a beaucoup. Et si vous la téléchargez entièrement, cela représente 4,5 Go supplémentaires à télécharger, et 7,7 Go une fois déployée sur votre système.
Le fait que toute cette documentation existe est très important, et nous sommes fiers de son étendue et de sa profondeur. Il est en outre très pratique de disposer de cette documentation sur votre ordinateur, sous la forme de blocs-notes que vous pouvez afficher immédiatement et modifier si vous le souhaitez. Mais comme notre documentation est devenue plus volumineuse (et nous travaillons à la rendre encore plus volumineuse), il est parfois plus judicieux d’économiser l’espace local sur votre ordinateur et d’obtenir la documentation sur le Web.
C’est pourquoi, dans la version 13.0, nous introduisons les téléchargements sans documentation, qui permettent d’accéder au Web et d’afficher la documentation dans votre navigateur. Lorsque vous installez Mathematica ou Wolfram|One pour la première fois, vous pouvez choisir le « pack complet » comprenant la documentation locale. Vous pouvez également choisir d’installer uniquement le paquet exécutable, sans documentation. Si vous changez d’avis par la suite, vous pouvez toujours télécharger et installer la documentation en utilisant l’option Installer la documentation locale du menu Aide.
(À propos, le Wolfram Engine a toujours été dépourvu de documentation – et sous Linux, sa taille de téléchargement n’est que de 1,3 Go, ce que je considère comme incroyablement petit compte tenu de toutes ses fonctionnalités).