File: description4r4p7

package info (click to toggle)
gap 4r4p12-2
  • links: PTS
  • area: main
  • in suites: squeeze, wheezy
  • size: 29,584 kB
  • ctags: 7,113
  • sloc: ansic: 98,786; sh: 3,299; perl: 2,263; makefile: 498; asm: 63; awk: 6
file content (168 lines) | stat: -rw-r--r-- 10,316 bytes parent folder | download | duplicates (3)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
   4.4 Update 7 (March 2006)

  New or improved functionality

    1. The Display functionality for character tables has been extended by
       addition of an option to show power maps and centralizer orders in a
       format similar to that used in the ATLAS. Furthermore the options
       handling is now hierarchical, in order to admit more flexible
       overloading.
    2. For the function LowIndexSubgroupsFpGroup, there is now an iterator
       variant LowIndexSubgroupsFpGroupIterator. [Suggested (and based on
       code contributed) by Michael Hartley]
    3. Semigroup functionality in GAP has been improved and extended. Green's
       relations are now stored differently, making the system more amenable
       to new methods for computing these relations in special cases. It is
       now possible to calculate Green's classes etc. without computing the
       entire semigroup or necessarily loading the package MONOID.
       Furthermore, the Froidure-Pin algorithm has now been implemented in
       GAP.
    4. Functionality for creating free products of any list of groups for
       which a finite presentation can be determined had been added. This
       function returns a finitely presented group. This functionality
       includes the Embedding operation. As an application of this new code a
       specialized direct product operation has been added for finitely
       presented groups which returns a finitely presented group. This
       application includes Embedding and Projection functionality.
    5. Some new Straight Line Program (SLP) functionality has been added. The
       new functions take given SLPs and create new ones by restricting to a
       subset of the results, or to an intermediate result or by calculating
       the product of the results of two SLPs.
    6. New code has been added to allow group elements with memory; that is,
       they store automatically how they were derived from some given set of
       generators. Note that there is not yet documentation for this
       functionality, but some packages already use it.
    7. New code has been added to handle matrices and vectors in such a way
       that they do not change their representation in a generic manner.
    8. The Irr method for p-solvable p-modular Brauer tables now keeps the
       order of the irreducibles in the ordinary table.
    9. GAP can now handle any finite field for which the Conway polynomial is
       known or can be computed.
   10. New Conway polynomials provided by John Bray and Kate Minola have been
       added.
   11. The ReadTest methods for strings (filenames) and streams now
       automatically set the screen width (see SizeScreen) to 80 before the
       tests, and reset it afterwards.
   12. Now a few more checks are done during the configure phase of compiling
       for future use of some I/O functions of the C-library in a package.
       Also the path to the GAP binaries for the GAP compiler is now handled
       via autoconf. Finally, now autoconf version 2.59 is used.

  Fixed bugs which could produce wrong results

    1. Some technical errors in the functions for compressed vectors and
       matrices which could lead to corruption of internal data structures
       and so to crashes or conceivably to wrong results. [Reported by Roman
       Schmied]
    2. A potential problem in the generic method for the undocumented
       operation DirectFactorsOfGroup: It was silently assumed that
       NormalSubgroups delivers the trivial subgroup as first and the whole
       group as last entry of the resulting list.
    3. The code for sublists of compressed vectors created by vec{range} may
       write one byte beyond the space allocated for the new vector,
       overwriting part of the next object in the workspace. Thanks to Jack
       Schmidt for narrowing down the problem.
    4. Given a class function object of value zero, an InverseOp method for a
       class function erroneously did not return fail. [Reported by Jack
       Schmidt]
    5. The Order method for a class function erroneously returned a finite
       number if one of the values was nonreal, not a cyclotomic integer, and
       had norm 1.
    6. Two missing perfect groups were added, and the permutation degree
       lowered on the perfect groups with the largest degrees. [Reported by
       Jack Schmidt]
    7. When a character table was displayed with Display, the centralizer
       order displayed for the first class shown was not correct if it did
       not involve all prime divisors of the group. [Reported by Jack
       Schmidt]
    8. The first argument of the function VectorSpace must be a field. This
       is checked from now on. [Reported by Laurent Bartholdi]
    9. Up to now, it was possible to create a group object from a semigroup
       of cyclotomics using AsGroup, although groups of cyclotomics are not
       admissible. [Reported by Alexander Konovalov]
   10. The documentation of CharacteristicPolynomial(F,mat) was ambiguous if
       FieldOfMatrix(mat) =< F < DefaultFieldOfMatrix(mat). In particular,
       the result was representation dependent. This was fixed by introducing
       a second field which specifies the vector space which mat acts upon.
       [Reported by Jack Schmidt]
   11. AssociatedReesMatrixSemigroupOfDClass produced an incorrect sandwich
       matrix for the semigroup created. This matrix is an attribute set when
       creating the Rees matrix semigroup but is not used for creating the
       semigroup. The incorrect result was returned when SandwichMatrix was
       called. [Reported by Nelson Silva and Joao Araujo]
   12. The literal "compiled" was given an incorrect length. The kernel was
       then unable to find compiled library code as the search path was
       incorrect. Also the documentation example had an error in the path
       used to invoke the gac compiler.
   13. The twisting group in a generic wreath product might have had
       intransitive action. [Reported by Laurent Bartholdi]
   14. There was an arithmetic bug in the polynomial reduction code.

  Fixed bugs which could lead to crashes

     * Bug 1 in the list of fixed bugs which could lead to wrong results
       could also potentially lead to crashes.

  Other fixed bugs

    1. The matrices of invariant forms stored as values of the attributes
       InvariantBilinearForm, InvariantQuadraticForm, and
       InvariantSesquilinearForm, for matrix groups over finite fields, are
       now in the (compressed) format returned by ImmutableMatrix.
    2. String now returns an immutable string, by making a copy before
       changing the argument.
    3. Permutation ^0 and permutation ^1 were not handled with special code
       in the kernel, hence were very slow for big permutations. [Reported by
       Max Neunhoeffer]
    4. Added code to cache the induced pcgs for an arbitrary parent pcgs.
       (This code was formerly part of the CRISP package.)
    5. This fix consists of numerous changes to improve support for direct
       products, including: - new methods for PcgsElementaryAbelianSeries,
       PcgsChiefSeries, ExponentsOfPcElement, DepthOfPcElement for direct
       products - fixed EnumeratorOfPcgs to test for membership first - new
       methods for membership test in groups which have an induced pcgs -
       added GroupOfPcgs attribute to pcgs in various methods - fixed
       declarations of PcgsElementaryAbelianSeries, PcgsChiefSeries (the
       declared argument was a pcgs, not a group) [Reported by Roman Schmied]
    6. Corrected a term ordering problem encountered by the basis
       construction code for finite dimensional vector spaces of multivariate
       rational functions. [Reported by Jan Draisma]
    7. When the factor of a finite dimensional group ring by an ideal was
       formed, a method intended for free algebras modulo relations was used,
       and the returned factor algebra could be used for (almost) nothing.
       [Reported by Heiko Dietrich]
    8. Up to now, PowerMap ran into an error when one asked for the n-th
       power map where n was not a small integer. This happened in some GAP
       library functions if the exponent of the character table in question
       was not a small integer.
    9. Up to now, the test whether a finite field element was contained in a
       group of finite field elements ran into an error if the element was
       not in the field generated by the group elements. [Reported by Heiko
       Dietrich]
   10. Conjugacy classes of natural (special) linear groups are now always
       returned with trivial class first.
   11. Up to now, it could happen that CheckFixedPoints reduced an entry in
       its second argument to a list containing only one integer but did not
       replace the list by that integer; according to the conventions, this
       replacement should be done.
   12. The functions PrintTo and AppendTo did not work correctly for streams.
       [Reported by Marco Costantini]
   13. The function Basis did not return a value when it was called with the
       argument Rationals. [Reported by Klaus Lux]
   14. For certain matrix groups, the function StructureDescription raised an
       error message. The reason for this was that a trivial method for
       IsGeneralLinearGroup for matrix groups in lib/grpmat.gi which is
       ranked higher than the nontrivial method for generic groups in
       lib/grpnames.gi called the operation IsNaturalGL, for which there was
       no nontrivial method available. [Reported by Nilo de Roock]
   15. Action on sets of length 1 was not correctly handled. [Reported by
       Mathieu Dutour]
   16. Now WriteByte admits writing zero characters to all streams. [Reported
       by Marco Costantini]
   17. The conjugacy test for subgroups tests for elementary abelian regular
       normal subgroup (EARNS) conjugacy. The fix will catch this in the case
       that the second group has no EARNS. [Reported by Andrew Johnson]
   18. So far, the UNIX installation didn't result in a correct gap.sh if the
       installation path contained space characters. Now it should handle
       this case correctly, as well as other unusual characters in path names
       (except for double quotes).