GUAVA projects, problems and bugs

This is a web page for to-do projects, known problems and bugs for GUAVA 2.4. These have all been corrected in GUAVA 3.1, which is the latest version.

GUAVA projects

Known GUAVA bugs

GAP version 4.4.2 and earlier contained a problem in the non-commented and undocumented GAP kernel function 'DIST_VEC_CLOS_VEC' (discovered by Christian Ringe and Frank Luebeck). This has been corrected.

  1. C1+C2 (where C1 and C2 are linear codes) does not seem to work. However, DirectSumCode(C1,C2) does.
  2. Cary Huffman discovered some very obscure bugs in Leon's programs for computing automorphism group of a code - the command hangs (or has other odd behavior) in rare examples. This is being looked into. Here is one of his examples:
    #buggy example for AutomorphismGroup(C);
    G:=Z(2)*[ [ 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,1, 1, 0, 0, 0, 0, 0, 0, 0, 0 ],\
    [ 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 1, 0, 1,0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 1, 0, 1, 0, 1, 1 ],\
    [ 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 1, 0,1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 1, 0, 1, 1, 1 ],\
     [ 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,0, 0, 1, 0, 1, 0, 1, 0, 0, 0, 0, 0, 0, 0, 1, 1, 1, 0 ],\
    [ 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,0, 0, 1, 0, 1, 0, 1, 0, 0, 0, 0, 0, 0, 1, 1, 0, 1 ],\
    [ 0, 0, 0, 0, 0, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0,1, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 1, 0, 0, 0, 0, 0 ],\
    [ 0, 0, 0, 0, 0, 0, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1,0, 1, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 1, 0, 0, 0, 0 ],\
     [ 1, 0, 1, 0, 1, 0, 0, 0, 0, 0, 0, 0, 1, 0, 1, 0,1, 0, 0, 0, 0, 0, 0, 0, 1, 0, 1, 0, 0, 0, 0, 0, 0, 0 ],\
    [ 0, 1, 0, 1, 0, 1, 0, 0, 0, 0, 0, 0, 0, 1, 0, 1, 0,1, 0, 0, 0, 0, 0, 0, 0, 1, 0, 1, 0, 0, 0, 0, 0, 0 ],\
     [ 0, 0, 1, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 1,0, 0, 0, 1, 1, 1, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0 ],\
    [ 0, 0, 0, 1, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0,1, 0, 0, 1, 1, 1, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0 ],\
     [ 1, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 1,0, 1, 1, 0, 0, 1, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0 ],\
    [ 0, 1, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0,1, 1, 1, 0, 0, 1, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0 ],\
     [ 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 1, 0, 0, 0, 1, 1,1, 1, 0, 0, 1, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0 ],\
    [ 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 1, 0, 0, 1, 1, 1,1, 0, 0, 0, 1, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0 ],\
     [ 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 1, 0, 1, 1, 0, 0,1, 1, 1, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0 ],\
    [ 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 1, 1, 1, 0, 0, 1,1, 0, 1, 0, 0, 0, 1, 0, 0,
    0, 0, 0, 0, 0, 0, 0, 0 ] ];
    
    This is the generator matrix of a binary [34,17,6] code which should have an automorphism group of size 192.
  3. There is a bug in inform.c, as reported in an email from 10-23-2006 below:
    My name is Ian McLoughlin. I'm a PhD student at the National
    University of Ireland, Galway. I'm emailing you because you are listed
    on its website as the maintainer of the GAP package Guava so apologies
    if I have the wrong person.
    
    I tried compiling Guava 2.7 today and it failed. I'm using GCC
    4.1.1(from gcc --version: "gcc (GCC) 4.1.1 (Gentoo 4.1.1)").
    
    The problem was with the file
    gap4r4/pkg/guava2.7/src/leon/src/inform.c. In it the obsolete macro
    CLK_TIC is used. I think it should be changed to CLOCKS_PER_SEC(see
    http://www.gnu.org/software/libc/manual/html_node/CPU-Time.html#CPU-Time
    and search for CLK_TCK).
    
    There are about 15 occurances of CLK_TCK in inform.c. Changing all of
    them to CLOCKS_PER_SEC enabled me to compile Guava without any more
    problems(although I haven't tested it much so it could cause runtime
    errors).
    


Last modified 11-7-2007 by wdj. Homepage, GUAVA