Quiver - editor diagram komutatif modern

 (github.com/varkor)
1 poin oleh GN⁺ 2024-12-28 | 1 komentar | Bagikan ke WhatsApp

  • quiver adalah editor grafis modern, sebuah alat untuk diagram komutatif dan diagram paste

  • Merender diagram berkualitas tinggi agar dapat dilihat di layar, dan dapat diekspor ke LaTeX

  • Dapat membuat dan mengubah diagram jauh lebih cepat daripada menulis LaTeX secara manual, dan dengan sedikit pengalaman bahkan bisa menyaingi menggambar dengan tangan.

  • Fitur dan tangkapan layar

    • quiver menyediakan antarmuka yang efisien dan intuitif untuk membuat diagram komutatif yang kompleks dan diagram paste. Anda dapat dengan mudah menggambar diagram yang mencakup pullback dan pushout, attachment, serta sel berdimensi lebih tinggi. Penempatan objek didasarkan pada grid fleksibel yang menyesuaikan dengan ukuran label. Tersedia beragam gaya panah yang dapat dikombinasikan, serta penggunaan warna untuk label dan panah.

    • quiver dirancang agar terlihat bagus untuk tangkapan layar, dan dapat diekspor ke LaTeX yang tampil semirip mungkin dengan diagram aslinya. Anda dapat membuat dan mengubah diagram dengan klik dan drag menggunakan mouse atau menggunakan keyboard, serta tersedia rangkaian pintasan keyboard lengkap untuk melakukan semua operasi.

    • Saat mengekspor diagram ke LaTeX, quiver menyertakan tautan ke diagram tersebut sehingga dapat diedit lagi nanti atau dibagikan kepada orang lain.

    • Fitur lainnya

      • Fitur multi-select untuk memudahkan perubahan massal
      • Sistem riwayat untuk membatalkan/mengulangi tindakan
      • Mendukung definisi makro kustom: tempel URL file yang berisi \newcommand
      • Ekspor diagram yang dapat disematkan ke HTML
      • Fitur pan dan zoom untuk diagram berukuran besar
      • Perataan label cerdas dan offset tepi

  • Mengimpor makro dan warna

    • Untuk menggunakan makro dan warna kustom di quiver, Anda perlu membuat file yang berisi definisi seperti berikut.

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

    • Unggah file tersebut ke URL yang dapat diakses publik, lalu tempel URL itu ke kolom input "macro" di quiver. Saat ini makro dapat didefinisikan dengan \newcommand, \newcommand*, \renewcommand, \renewcommand*, \DeclareMathOperator, \DeclareMathOperator*, dan warna dapat didefinisikan menggunakan \definecolor (menggunakan mode warna rgb, RGB, HTML, gray).

  • Integrasi editor

    • Anda dapat merujuk ke integrasi editor di wiki quiver.

  • Build

    • Jalankan make di command line, lalu buka src/index.html di browser web. Jika gagal, Anda mungkin menggunakan versi Make atau Bash yang tidak kompatibel. Dalam kasus ini, Anda perlu mengunduh rilis KaTeX terbaru secara manual dan menaruhnya di src/ sebagai src/KaTeX/. Jika path KaTeX tidak benar, akan muncul error kegagalan memuat KaTeX.

    • quiver harus dijalankan melalui localhost. Jika Python sudah terpasang, hal ini dapat diatasi dengan mudah dengan menjalankan perintah berikut:

      python3 -m http.server

    • Setelah menjalankannya dari direktori src milik quiver, buka localhost:8000 di browser. Jika ada masalah saat build, Anda bisa membuka issue dengan menjelaskan masalahnya secara rinci untuk mendapatkan bantuan.

  • Ucapan terima kasih

    • S. C. Steenkamp: diskusi bermanfaat tentang rendering estetis panah
    • AndréC: menyediakan gaya TikZ kustom untuk kurva tinggi tetap
    • Nathan Corbyn: menambahkan fitur ekspor diagram yang dapat disematkan ke HTML
    • Paolo Brasolin: menambahkan dukungan offline
    • Carl Davidson: diskusi dan prototipe untuk rendering loop
    • Semua pelapor masalah dan pengusul perbaikan yang telah berkontribusi untuk meningkatkan quiver

Bacaan terkait

1 komentar

 
GN⁺ 2024-12-28
Komentar Hacker News

  • Alat ini luar biasa; saya bisa membuat kubus Fourier-Poisson dalam sekitar 10 menit. UI-nya sangat intuitif

    • Berfokus pada diagram komutatif alih-alih kanvas bebas adalah pilihan desain yang rapi dan sangat mudah digunakan
    • Jika alat ini sudah ada saat saya menulis makalah, saya pasti bisa menghemat banyak waktu

  • Baru-baru ini saya juga sangat terkesan dengan editor Petri net

    • Petri net mirip seperti mesin keadaan hingga yang bisa menjadi multithreaded
    • Saya pertama kali mengenal Petri net lewat tulisan dari organisasi bernama "statebox"
    • Setelah membaca makalah mereka, saya terpikat dan bermimpi bisa bekerja di sana
    • Sekarang homepage mereka hanya berisi teks "bayangkan menjadi ahli teori kategori" dan sebuah emoji tersenyum, jadi saya tidak tahu apa yang terjadi

  • Beberapa hari lalu saya memakai alat ini untuk menggambar diagram sederhana untuk sebuah buku

    • Ini hanya bisa dipakai untuk teori kategori, jadi dukungannya kurang untuk mempercantik node, tetapi itu bisa dilakukan dengan LaTeX

  • Tadi malam saya memakai TikZCD, yang merupakan versi dengan fitur lebih sedikit dari alat ini

    • Cukup bagus untuk menggambar diagram sederhana

  • Saya penasaran apakah ada yang bisa menjelaskan apa itu "diagram komutatif dan pengeleman"

    • Halaman Wikipedia-nya terlalu abstrak, jadi sulit dipahami pada tingkat dasar

  • Saya penasaran apakah bisa mengekspor ke format yang ramah web. Mungkin SVG

    • Jika menjalankan quiver di localhost, berbagi lewat tautan bukanlah sebuah opsi

  • Produk yang sangat bagus

    • Dulu saya menulis kode TikZ dengan tangan dan cukup cepat, tetapi sekarang saya sudah lupa banyak hal, jadi alat ini akan sangat berguna untuk diagram komutatif

  • Beberapa tahun lalu, saat saya mengambil kelas teori kategori, Quiver benar-benar sangat penting

    • UI-nya rapi, intuitif, dan punya banyak fitur
    • Dibandingkan dengan TikZ, Quiver jauh lebih unggul hingga tidak ada bandingannya

  • Saya telah memakai Quiver berkali-kali, dan setiap pengalamannya luar biasa

    • Pujian untuk para pembuatnya

  • Alat pembuat kode mungkin bisa dibuat dari sini