Quiver - โปรแกรมแก้ไขไดอะแกรมสลับที่ได้ (commutative) แบบสมัยใหม่

 (github.com/varkor)
1 คะแนน โดย GN⁺ 2024-12-28 | 1 ความคิดเห็น | แชร์ทาง WhatsApp

  • quiver เป็นโปรแกรมแก้ไขกราฟิกสมัยใหม่สำหรับไดอะแกรมสลับที่ได้และไดอะแกรมวางประกบ

  • เรนเดอร์ไดอะแกรมคุณภาพสูงให้ดูได้บนหน้าจอ และส่งออกเป็น LaTeX ได้

  • สามารถสร้างและแก้ไขไดอะแกรมได้เร็วกว่าการเขียน LaTeX ด้วยมือมาก และหากมีประสบการณ์เพียงเล็กน้อยก็สามารถแข่งขันกับการวาดด้วยมือได้

  • ฟีเจอร์และภาพหน้าจอ

    • quiver มีอินเทอร์เฟซที่มีประสิทธิภาพและใช้งานง่ายสำหรับสร้างไดอะแกรมสลับที่ได้และไดอะแกรมวางประกบที่ซับซ้อน สามารถวาดไดอะแกรมที่มี pullback, pushout, การติดกาว และเซลล์มิติสูงได้อย่างง่ายดาย การจัดวางออบเจ็กต์อิงตามกริดที่ยืดหยุ่นซึ่งปรับตามขนาดของป้ายกำกับ รองรับรูปแบบลูกศรหลากหลายแบบที่นำมาผสมกันได้ และสามารถใช้สีกับทั้งป้ายกำกับและลูกศรได้

    • quiver ถูกออกแบบมาให้ดูดีในภาพหน้าจอ และสามารถส่งออกเป็น LaTeX ที่มีหน้าตาใกล้เคียงกับไดอะแกรมต้นฉบับมากที่สุด คุณสามารถสร้างและแก้ไขไดอะแกรมได้ทั้งด้วยการคลิกและลากด้วยเมาส์ หรือใช้คีย์บอร์ด และมีชุดแป้นพิมพ์ลัดครบถ้วนสำหรับทำงานทุกอย่าง

    • เมื่อต้องการส่งออกไดอะแกรมเป็น LaTeX, quiver จะใส่ลิงก์ไปยังไดอะแกรมไว้ด้วย เพื่อให้สามารถกลับมาแก้ไขในภายหลังหรือแชร์กับผู้อื่นได้

    • ฟีเจอร์อื่น ๆ

      • ฟังก์ชันเลือกหลายรายการเพื่อให้ทำการเปลี่ยนแปลงจำนวนมากได้ง่าย
      • ระบบประวัติที่สามารถเลิกทำ/ทำซ้ำการทำงานได้
      • รองรับการกำหนดมาโครเอง: วาง URL ของไฟล์ที่มี \newcommand
      • ส่งออกไดอะแกรมที่ฝังใน HTML ได้
      • ฟังก์ชันแพนและซูมสำหรับไดอะแกรมขนาดใหญ่
      • การจัดแนวป้ายกำกับแบบอัจฉริยะและการชดเชยขอบ

  • การนำเข้ามาโครและสี

    • หากต้องการใช้มาโครและสีแบบกำหนดเองใน quiver จะต้องสร้างไฟล์ที่มีนิยามในลักษณะดังต่อไปนี้

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

    • อัปโหลดไฟล์ไปยัง URL ที่เข้าถึงได้แบบสาธารณะ แล้ววาง URL นั้นลงในช่อง "มาโคร" ของ quiver ปัจจุบันสามารถกำหนดมาโครได้ด้วย \newcommand, \newcommand*, \renewcommand, \renewcommand*, \DeclareMathOperator, \DeclareMathOperator* และสามารถกำหนดสีได้ด้วย \definecolor (ใช้โหมดสี rgb, RGB, HTML, gray)

  • การรวมเข้ากับเอดิเตอร์

    • สามารถดูการรวมเข้ากับเอดิเตอร์ได้ในวิกิของ quiver

  • การบิลด์

    • รัน make จากบรรทัดคำสั่ง แล้วเปิด src/index.html ในเว็บเบราว์เซอร์ หากล้มเหลว คุณอาจกำลังใช้ Make หรือ Bash เวอร์ชันที่ไม่เข้ากัน ในกรณีนี้ ให้ดาวน์โหลด KaTeX รีลีสล่าสุดด้วยตนเองและวางไว้ใน src/ เป็น src/KaTeX/ หากพาธของ KaTeX ไม่ถูกต้อง จะเกิดข้อผิดพลาดโหลด KaTeX ล้มเหลว

    • quiver ต้องรันผ่าน localhost หากติดตั้ง Python ไว้แล้ว สามารถแก้ได้ง่าย ๆ ด้วยการรันคำสั่งต่อไปนี้:

      python3 -m http.server

    • หลังจากรันในไดเรกทอรี src ของ quiver แล้ว ให้เปิด localhost:8000 ในเบราว์เซอร์ หากมีปัญหาในการบิลด์ สามารถเปิด issue พร้อมอธิบายปัญหาอย่างละเอียดเพื่อขอความช่วยเหลือได้

  • คำขอบคุณ

    • S. C. Steenkamp: การพูดคุยที่เป็นประโยชน์เกี่ยวกับการเรนเดอร์ลูกศรให้สวยงาม
    • AndréC: จัดเตรียมสไตล์ TikZ แบบกำหนดเองสำหรับเส้นโค้งความสูงคงที่
    • Nathan Corbyn: เพิ่มความสามารถในการส่งออกไดอะแกรมที่ฝังใน HTML ได้
    • Paolo Brasolin: เพิ่มการรองรับออฟไลน์
    • Carl Davidson: การพูดคุยและต้นแบบเกี่ยวกับการเรนเดอร์ลูป
    • ผู้รายงานปัญหาและผู้เสนอแนวทางปรับปรุงทุกคนที่มีส่วนช่วยพัฒนา quiver

บทความที่เกี่ยวข้อง

1 ความคิดเห็น

 
GN⁺ 2024-12-28
ความคิดเห็นจาก Hacker News

  • เครื่องมือนี้ยอดเยี่ยมมาก และสามารถสร้าง Fourier-Poisson cube ได้ในเวลาประมาณ 10 นาที UI ใช้งานได้อย่างเป็นธรรมชาติมาก

    • การโฟกัสที่ commutative diagram แทนที่จะใช้แคนวาสอิสระเป็นทางเลือกด้านการออกแบบที่ยอดเยี่ยม ทำให้ดูเรียบร้อยและใช้งานง่าย
    • ถ้ามีเครื่องมือนี้ตอนเขียนเปเปอร์ ก็น่าจะประหยัดเวลาไปได้มาก

  • ช่วงนี้ประทับใจกับ Petri net editor มาก

    • Petri net คล้ายกับ finite-state machine ที่สามารถเป็น multithreaded ได้
    • รู้จัก Petri net ครั้งแรกผ่านบทความขององค์กรชื่อ "statebox"
    • อ่านงานวิจัยของพวกเขาแล้วรู้สึกหลงใหล จนเคยฝันอยากไปทำงานที่นั่น
    • ตอนนี้หน้าโฮมเพจของพวกเขามีแค่ข้อความว่า "ลองจินตนาการว่าคุณเป็นนักทฤษฎีหมวดหมู่" กับอีโมจิยิ้ม จึงไม่รู้ว่าเกิดอะไรขึ้น

  • ใช้เครื่องมือนี้เมื่อไม่กี่วันก่อนเพื่อวาดไดอะแกรมง่าย ๆ สำหรับหนังสือ

    • ใช้ได้เฉพาะกับ category theory จึงยังรองรับการตกแต่งโหนดให้สวยงามไม่มากนัก แต่ทำได้ใน LaTeX

  • เมื่อคืนใช้ TikZCD ซึ่งเป็นเวอร์ชันที่มีฟีเจอร์น้อยกว่าของเครื่องมือนี้

    • มันค่อนข้างดีสำหรับการวาดไดอะแกรมแบบง่าย

  • สงสัยว่าจะมีใครอธิบายได้ไหมว่า "commutative and pasting diagram" คืออะไร

    • หน้า Wikipedia นามธรรมเกินไป ทำให้เข้าใจในระดับพื้นฐานได้ยาก

  • สงสัยว่าส่งออกเป็นฟอร์แมตที่เหมาะกับเว็บได้ไหม น่าจะเป็น SVG

    • ถ้ารัน quiver บน localhost การแชร์ผ่านลิงก์ก็ไม่ใช่ตัวเลือก

  • เป็นผลิตภัณฑ์ที่ดีมาก

    • เมื่อก่อนเคยเขียนโค้ด TikZ ด้วยมือ ซึ่งก็ทำได้ค่อนข้างเร็ว แต่ตอนนี้ลืมไปเยอะแล้ว ดังนั้นเครื่องมือนี้น่าจะมีประโยชน์มากสำหรับ commutative diagram

  • ตอนเรียนวิชา category theory เมื่อหลายปีก่อน Quiver เป็นเครื่องมือที่ขาดไม่ได้อย่างแท้จริง

    • UI สะอาด เป็นธรรมชาติ และมีความสามารถมากมาย
    • เมื่อเทียบกับ TikZ แล้ว Quiver เหนือกว่าแบบเทียบกันแทบไม่ได้

  • เคยใช้ Quiver หลายครั้ง และทุกครั้งก็เป็นประสบการณ์ที่ยอดเยี่ยม

    • ขอชื่นชมผู้สร้าง

  • เครื่องมือสร้างโค้ดน่าจะสร้างต่อยอดจากที่นี่ได้