GDCT Notes
Project: Graphical Database for Category Theory
Author: Jeremy Bradbury, Dr. R Rosebrugh
Department: Math & Computer Science Department
Location: Mount Allison University, Sackville, NB, Canada
Things to do...
- Fix identity problem in create, open, load, print of category
- Fix identity problem in open and print of functors
- Test identity fix on tools section of GDCT and in print section
- Animation Settings
- Finish arrow display
- Allow for multiple add objects, arrows, relations
- Allow for multiple deletion of objects, arrows, relations
- Load for CGL, FUN, FGL
- Open for FGL
- Open recent for FUN and FGL and for load of all file types
- Save Categories/Functors on exit
- Change category storage for functors
- Problem in remove data (try del23.cgl to see)
Modified methods for identity...
- get_rel (MainWindow.java)
- greater (MainWindow.java)
- relnode_label (MainWindow.java)
- createFunctor (MainWindow.java)
- displayFunctor (MainWindow.java)
- printArrows (printFunctor.java)