Main
Page
|
GDCT Bug Report
Introduction
The Graphical Database for Category Theory is a research project at Mount Allison
University that now includes over 80 Java source files and over 30000 lines of code.
Version 1.0 of the GDCT was released as a preliminary version which provides the basic
functionality and demonstrates the abilities of the final version of the application.
Currently, the below list of known problems is being dealt with and will be fixed by
September 2000. It is the goal of the GDCT Development Team to have a stable version of
the application available for download by that date.
Version 1.0: Released March 20, 2000
This is the preliminary version of Graphical Database for Category Theory. To view the
release information for this version click HERE.
Version 1.1: Release Date in Summer 2000
This version of GDCT will contain the following fixs and enhancements:
- The help file system has been rewrote and now includes a complete set of help files
which will better enable the user to use the software
- Contact information in the bug report dialog has been updated
- Upon closing the application, a dialog window now prompts the user to see if they want
to save changes in modified categories. This dialog window also tells the user what
modifications were made so that they can more accuratly judge if they want to save these
changes.
- The display of categories in the "Make Confluent Tool was changed so that a
category isnt redrawn randomly. Instead, GDCT will only update the label of the node
containing the list of relations.
In "Add Data" for categories, the category is
no longer redrawn randomly. New data is now added to the existing graphical representation
as opposed to creating a new random representation.
In "Remove Data" the problem where not all
data is removed in some categories has been fixed
Also, in
"Remove Data" for categories, the text display is updated and the graphical
display is updated as data is removed.
In "View GML", the problem with the search feature
not working right away has been corrected.
The "Make Confluent" algorithm has been extensively
error checked and all known bugs have been fixed.
Bugs in "Make Dual Category" have been fixed and the
make display of a newly created dual category is no longer determined randomly. Instead,
the display is based on the display of the category that was originally used to create the
dual category.
The"Equality of Composites" tool has been tested and
all problems have been fixed.
In the "Initial Object" and "Terminal
Object" tools a warning is now displayed if the endomorphism limit has been reached.
GDCT 1.0 was developed using Borland JBuilder 2.0 and used
some borland libraries such as borland.jbcl.control and borland.jbcl.layout.
This caused certain compiling problems in non-Borland environments. To correct this
situation, all elements of borland libraries have been removed.
An initialization file has been include with the GDCT
application to allow for the saving of settings upon exit. This file is stored in the root
directory and is titled gdct.ini. The settings that are
currently supported by the initialization file are: Internal Settings, Server Settings,
Animation Settings, Recent Files list, and part of the Category Graphical Settings.
Known Bugs:
Below is a list of known bugs in the current version of the GDCT application. If you
have encountered additional bugs please fill out a comment form HERE.
- Recheck "Initial Object" algorithm when it is
applied to categories with identity arrows in relations.
- Recheck "Terminal Object" algorithm when it is
applied to categories with identity arrows in relations.
- Fix "Sum" algorithm.
- Using modified "Sum" algorithm develop
"Product" algorithm.
- In "Graphical Functor Settings" when the Category
layout display is changed, the category graphical representations can no longer be
scrolled and objects and arrows can no longer be selected. Animation of functor and other
settings still work.
Proposed Enhancements:
Below is a list of enhancements that will be made to the
GDCT application. If you have ideas for additional enhancements please fill out a comment
form HERE.
- Open for *.FGL files
- Download for *.FGL files
- Open Recent for local *.FGL, *.FUN files
- Open Recent for server *.CAT, *.CGL, *.FUN, *.FGL files
- The Functor Graphical Settings although saved in the gdct.ini file do not currently
affect the application. Currently, they are only saved in the file with the intention that
they will be integrated into the application at a later date.
Page Design by Jeremy Bradbury
Last Modified: June 21, 2000
|