bug.jpg (41763 bytes)

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 isn’t 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