Quiver - éditeur moderne de diagrammes commutatifs

• quiver est un éditeur graphique moderne, conçu comme outil pour les diagrammes commutatifs et de collage

• Il effectue un rendu des diagrammes de haute qualité pour un affichage à l’écran, avec possibilité d’export en LaTeX

• Il permet de créer et de modifier des diagrammes bien plus rapidement qu’en écrivant du LaTeX à la main, et avec un peu d’expérience, il peut rivaliser avec le dessin manuel.

• Fonctionnalités et captures d’écran

  • quiver propose une interface efficace et intuitive pour créer des diagrammes commutatifs complexes et des diagrammes de collage. Il permet de dessiner facilement des diagrammes incluant des produits fibrés, des sommes amalgamées, des attachements et des cellules de dimension supérieure. Le placement des objets repose sur une grille flexible qui s’ajuste à la taille des étiquettes. Divers styles de flèches combinables sont disponibles, ainsi que l’utilisation de couleurs pour les étiquettes et les flèches.

  • quiver a été conçu pour bien ressortir dans les captures d’écran et peut être exporté en LaTeX avec un rendu aussi proche que possible du diagramme d’origine. Il est possible de créer et modifier les diagrammes à la souris par clic-glisser ou au clavier, avec un ensemble complet de raccourcis permettant d’effectuer toutes les opérations.

  • Lors de l’export d’un diagramme en LaTeX, quiver inclut un lien vers le diagramme afin de pouvoir le modifier ultérieurement ou le partager avec d’autres.

  • Autres fonctionnalités

    • La sélection multiple permet d’effectuer facilement des modifications en masse
    • Un système d’historique pour annuler/rétablir les actions
    • Prise en charge de la définition de macros personnalisées : collez l’URL d’un fichier contenant \newcommand
    • Export de diagrammes intégrables en HTML
    • Fonctions de panoramique et de zoom pour les grands diagrammes
    • Alignement intelligent des étiquettes et décalage des bords

• Import des macros et des couleurs

  • Pour utiliser des macros et couleurs personnalisées dans quiver, vous devez créer un fichier contenant des définitions comme celles-ci.

    \newcommand{\cat}{\mathscr}  
    \newcommand{\psh}{\widehat}  
    \newcommand{\smcat}{\mathbb}  
    \newcommand{\yo}{よ}  
    

  • Téléversez le fichier vers une URL accessible publiquement, puis collez cette URL dans le champ « macros » de quiver. À l’heure actuelle, les macros peuvent être définies avec \newcommand, \newcommand*, \renewcommand, \renewcommand*, \DeclareMathOperator, \DeclareMathOperator*, et les couleurs avec \definecolor (modes de couleur pris en charge : rgb, RGB, HTML, gray).

• Intégration à l’éditeur

  • L’intégration à l’éditeur est documentée dans le wiki de quiver.

• Build

  • Exécutez make en ligne de commande, puis ouvrez src/index.html dans un navigateur web. En cas d’échec, il se peut que vous utilisiez une version incompatible de Make ou de Bash. Dans ce cas, vous devrez télécharger manuellement la dernière release de KaTeX et la placer dans src/ sous src/KaTeX/. Si le chemin KaTeX est incorrect, une erreur d’échec de chargement de KaTeX se produira.

  • quiver doit être exécuté via localhost. Si Python est installé, vous pouvez le faire facilement avec la commande suivante :

    python3 -m http.server  
    

  • Après l’avoir lancé depuis le répertoire src de quiver, ouvrez localhost:8000 dans votre navigateur. En cas de problème de build, vous pouvez ouvrir une issue en décrivant précisément le problème pour obtenir de l’aide.

• Remerciements

  • S. C. Steenkamp : discussions utiles sur le rendu esthétique des flèches
  • AndréC : fourniture d’un style TikZ personnalisé pour les courbes à hauteur fixe
  • Nathan Corbyn : ajout de la fonctionnalité d’export de diagrammes intégrables en HTML
  • Paolo Brasolin : ajout de la prise en charge hors ligne
  • Carl Davidson : discussions et prototype sur le rendu des boucles
  • Toutes les personnes ayant signalé des problèmes et proposé des améliorations à quiver

[GN⁺]

Commentaires sur Hacker News

• Cet outil est excellent, et j’ai pu créer un cube de Fourier-Poisson en environ 10 minutes. L’interface est très intuitive.

  • Se concentrer sur les diagrammes commutatifs plutôt que sur un canevas libre est un excellent choix de conception, à la fois propre et facile à utiliser.
  • Si j’avais eu cet outil lors de la rédaction de mon article, j’aurais pu gagner beaucoup de temps.

• J’ai récemment été très impressionné par l’éditeur de réseaux de Petri.

  • Un réseau de Petri ressemble un peu à une machine à états finis capable de devenir multithread.
  • J’ai découvert les réseaux de Petri pour la première fois grâce aux écrits d’une organisation appelée "statebox".
  • J’ai lu leurs articles et j’ai été fasciné au point de rêver de travailler là-bas.
  • Actuellement, leur page d’accueil n’affiche que le texte « Imaginez devenir théoricien des catégories » avec un emoji souriant, donc impossible de savoir ce qui s’est passé.

• Il y a quelques jours, j’ai utilisé cet outil pour dessiner un diagramme simple pour un livre.

  • Comme il ne peut être utilisé que pour la théorie des catégories, il manque de support pour embellir les nœuds, mais c’est possible avec LaTeX.

• J’ai utilisé TikZCD hier soir, et c’est une version avec moins de fonctionnalités de cet outil.

  • C’est plutôt bien pour dessiner des diagrammes simples.

• Je me demande si quelqu’un pourrait expliquer ce que sont les « diagrammes commutatifs et de collage ».

  • La page Wikipédia est trop abstraite, donc j’ai eu du mal à les comprendre à un niveau élémentaire.

• Je me demande s’il est possible d’exporter dans un format compatible avec le web. Ce serait probablement du SVG.

  • Si on exécute quiver en localhost, le partage via un lien n’est pas une option.

• C’est un très bon produit.

  • Avant, j’écrivais le code TikZ à la main et j’étais plutôt rapide, mais j’ai maintenant oublié beaucoup de choses, donc cet outil sera très utile pour les diagrammes commutatifs.

• Quand j’ai suivi un cours de théorie des catégories il y a quelques années, Quiver était absolument indispensable.

  • L’interface était propre, intuitive et riche en fonctionnalités.
  • Comparé à TikZ, Quiver est incomparablement supérieur.

• J’ai utilisé Quiver plusieurs fois, et toutes mes expériences ont été excellentes.

  • Bravo aux auteurs.

• Un outil de génération de code pourrait être créé ici.