search

rschwiebert / RingApp

A database app for ring theory
MIT License
21 stars 4 forks source link

Completely automate generation of dot graphs #59

Open rschwiebert opened 8 months ago

rschwiebert commented 8 months ago

Currently the dot graphs are hand edited and I have a generate script that produces the svg to be used in the website.

It might now be possible to do this programmatically, now.

One could

  1. start with ringlogic.dl that souffle uses
  2. filter down to relevant rows
  3. remove redundant edges

I'm sure this is a completely reasonable programming task, or possibly there is a python library out there that can already do the third point (which I view as the only tricky bit.)

dyunov commented 6 months ago

Could this help with 3)?

rschwiebert commented 6 months ago

I think so! Well spotted. I forgot all about networkx.

On Thu, Feb 29, 2024 at 7:40 AM dyunov @.***> wrote:

Could this https://networkx.org/documentation/stable/reference/algorithms/generated/networkx.algorithms.dag.transitive_reduction.html help with 3)?

— Reply to this email directly, view it on GitHub https://github.com/rschwiebert/RingApp/issues/59#issuecomment-1971056533, or unsubscribe https://github.com/notifications/unsubscribe-auth/ACB6GGBBUTCPNJV3KPSTZ4TYV4QSBAVCNFSM6AAAAABBZRTVPKVHI2DSMVQWIX3LMV43OSLTON2WKQ3PNVWWK3TUHMYTSNZRGA2TMNJTGM . You are receiving this because you authored the thread.Message ID: @.***>