Closed m4lvin closed 2 years ago
The web interface labels worlds with for example "$ p_{1} , p_{2} $". This should be "1, 2".
$ p_{1} , p_{2} $
Note that "Show Kripke" runs textDot to get a representation in the GraphViz dot language and then Viz from viz.js:https://github.com/jrclogic/SMCDEL/blob/e79f30b38f52de05247a29a654fd14fa6c922743/exec/smcdel-web.hs#L68-L72
textDot
Viz
Also note that this problem is specific for the web interface. Running stack ghci src/SMCDEL/Examples/SimpleS5.hs and then for example disp $ knsToKripke exampleResult yields nice labels on the worlds.
stack ghci src/SMCDEL/Examples/SimpleS5.hs
disp $ knsToKripke exampleResult
Related: https://stackoverflow.com/questions/15962325/mathjax-inside-svg
Fixed in https://github.com/jrclogic/SMCDEL/commit/51510480a3f8ead41e33347374e8a174a110ad3d.
m4lvin
commented
2 years ago
The web interface labels worlds with for example "
$ p_{1} , p_{2} $". This should be "1, 2".Note that "Show Kripke" runs
textDotto get a representation in the GraphViz dot language and thenVizfrom viz.js:https://github.com/jrclogic/SMCDEL/blob/e79f30b38f52de05247a29a654fd14fa6c922743/exec/smcdel-web.hs#L68-L72Also note that this problem is specific for the web interface. Running
stack ghci src/SMCDEL/Examples/SimpleS5.hsand then for exampledisp $ knsToKripke exampleResultyields nice labels on the worlds.Related: https://stackoverflow.com/questions/15962325/mathjax-inside-svg