UniFormal / MMT

The MMT Language and System
https://uniformal.github.io/
Other
68 stars 23 forks source link

Document how to visualize theory graphs #525

Open ComFreek opened 4 years ago

ComFreek commented 4 years ago

Draft (with help of @Jazzpirate):


Assumption: you are in a shell and the archive, say MMT/LATIN2, thatwant to visualize is located at, say ./MMT/LATIN2, i.e. relative to the current working directory.

  1. java -jar mmt.jar

  2. mathpath archive . (or however you load archives usually)

  3. build MMT/LATIN2 mmt-omdoc (if large archive and you just want to visualize everything inside a file: build MMT/LATIN2 mmt-omdoc path-to-specific-mmt-file.mmt might suffice)

  4. clear (to force MMT reload the relational store -- just to be sure)

  5. server on 8080

  6. Go to http://localhost:8081/:jgraph/json?key=archivegraph&uri=MMT/LATIN2

    • Here, uri is the relative path. (TODO: uri is a misnomer, rename this)
    • If you do everything from within IntelliJ with the MMT-IntelliJ plugin, it's unclear what the current working directory is.
  7. Save JSON and import at https://tgview3d.mathhub.info/.