-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathCHANGES
420 lines (255 loc) · 14.8 KB
/
CHANGES
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
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
321
322
323
324
325
326
327
328
329
330
331
332
333
334
335
336
337
338
339
340
341
342
343
344
345
346
347
348
349
350
351
352
353
354
355
356
357
358
359
360
361
362
363
364
365
366
367
368
369
370
371
372
373
374
375
376
377
378
379
380
381
382
383
384
385
386
387
388
389
390
391
392
393
394
395
396
397
398
399
400
401
402
403
404
405
406
407
408
409
410
411
412
413
414
415
416
417
418
Version history of the ResClasses package
=========================================
Changes between ResClasses 4.7.2 and ResClasses 4.7.3 (Juli 29, 2022):
- Fixed a bug in the 3-argument version of 'PartitionsIntoResidueClasses':
If the length of the partitions to be computed was smaller than the biggest
prime specified in the third argument, the third argument was just ignored.
- Changed IsZ_pi from a property to a category.
- Remove several internal helper functions.
- Other minor adjustments.
Changes between ResClasses 4.7.1 and ResClasses 4.7.2 (March 24, 2019):
- Clarified that this package is licensed under GPL 2 or later.
- Moved package homepage to <https://gap-packages.github.io/resclasses>.
- Fixed some issues where loading ResClasses could inadvertently alter
the behavior of GAP library functions.
- Improved compatibility with future GAP releases (4.11 and later).
- Other minor adjustments.
Changes between ResClasses 4.7.0 and ResClasses 4.7.1 (December 18, 2017):
- The email address [email protected] does not seem to work any more
since a few days, so it has been changed back to [email protected].
Changes between ResClasses 4.6.0 and ResClasses 4.7.0 (December 5, 2017):
- Several trivial methods for `SparseRep', `StandardRep' and `Classes' have been
added (these methods are now needed by RCWA).
- A utility function `GetOption' has been added.
Changes between ResClasses 4.5.0 and ResClasses 4.6.0 (February 12, 2017):
- A utility function `LaTeXStringWord' has been added.
- The method for multiplying the empty list with a matrix has been made
superfluous and removed.
Changes between ResClasses 4.4.2 and ResClasses 4.5.0 (May 14, 2016):
- Operations `CoverByResidueClasses' and `CoversByResidueClasses' have been
introduced, and methods to compute covers of the integers by residue classes
with prescribed moduli have been implemented.
- Utility functions `DrawLineNC' and `AssignGlobalNC' have been added.
Changes between ResClasses 4.4.0 and ResClasses 4.4.2 (March 9, 2016):
- Minor adjustments.
Changes between ResClasses 4.3.0 and ResClasses 4.4.0 (March 8, 2016):
- The utility functions and -operations `SaveAsBitmapPicture',
`LoadBitmapPicture', `DrawGrid', `EquivalenceClasses', `GraphClasses',
`AllGraphs' and `IdGraph' have been moved from the RCWA package here,
and `IdGraph' has been renamed to `IdGraphNC'.
- The operations `PositionsSublist', `GraphClasses', `AllGraphs' and `IdGraphNC'
have been documented.
- A few minor adjustments have been made.
Changes between ResClasses 4.2.0 and ResClasses 4.3.0 (March 4, 2016):
- The utility functions and -operations `DifferencesList', `QuotientsList',
`FloatQuotientsList', `RandomCombination', `IsCommuting', `BlankFreeString',
`QuotesStripped' and `IntOrInfinityToLaTeX' have been moved to the
Utils package. Therefore Utils is now a needed package of ResClasses.
Changes between ResClasses 4.1.2 and ResClasses 4.2.0 (March 1, 2016):
- The test suite has been amended for better coverage of the code by the tests.
- The undocumented and unused function `ResidueClassesIntersectionType'
has been removed.
- IO is now a suggested package of ResClasses.
- Minor issues with file permissions etc. have been resolved.
Changes between ResClasses 4.0.0 and ResClasses 4.1.2 (February 10, 2016):
- An auxiliary function `LogToDatedFile' has been added.
Changes between ResClasses 3.4.0 and ResClasses 4.0.0 (January 25, 2016):
- A class list ("sparse") representation for residue class unions has been
implemented; this yields an enormous speedup for computations with unions
of few residue classes some of which have big modulus.
- A performance problem has been fixed: the list of residues
of a residue class union should know that it is a set.
- Utility operations `PositionsSublist' and `RandomCombination' have been added.
- The tests are now done using `TestDirectory'.
Changes between ResClasses 3.3.2 and ResClasses 3.4.0 (July 21, 2014):
- The file resclasses/doc/manual.js has been added.
- An auxiliary function `NextProbablyPrimeInt' has been added.
Changes between ResClasses 3.3.1 and ResClasses 3.3.2 (November 18, 2013):
- A potential performance problem in a `ViewString' method
for polynomials over finite fields has been removed.
Changes between ResClasses 3.3.0 and ResClasses 3.3.1 (October 28, 2013):
- Minor adjustments to changes in the GAP Library.
Note that only RCWA in version 3.6.0 or newer works with this version
of ResClasses. -- So if you still have an old RCWA, you need to upgrade.
Changes between ResClasses 3.2.0 and ResClasses 3.3.0 (December 12, 2012):
- The operation `PartitionsIntoResidueClasses' has now an optional
third argument `Primes'. Also it interprets now an option "distinct"
to restrict the output to partitions which differ by the moduli
of the involved residue classes.
- A bug has been fixed which caused [ ]/<ring element> to return its
first argument instead of a copy of it.
Changes between ResClasses 3.1.1 and ResClasses 3.2.0 (November 1, 2012):
- A function `All2x2IntegerMatricesInHNFWithDeterminantUpTo' has been added.
This function returns a list of all 2 x 2 integer matrices in Hermite
normal form whose determinant is less than or equal to a specified value.
- The directory resclasses/gap/ has been renamed to resclasses/lib/,
in order to follow the same naming convention as for the subdirectories
of the GAP root directory.
- Utility functions `ResClassesTestExamples',
`ConvertPackageFilesToUNIXLineBreaks' and `RemoveTemporaryPackageFiles'
have been added.
Changes between ResClasses 3.1.0 and ResClasses 3.1.1:
- The `DefaultRingByGenerators' method for lists of integer matrices
has been removed, since a method covering this case is now provided by
the GAP Library. For this reason, ResClasses now needs GAP in version
at least 4.5.4.
Changes between ResClasses 3.0.4 and ResClasses 3.1.0 (May 7, 2012):
- Added a `DisplayString' method for residue class unions.
- Removed a number of trivial methods from general.g which are
now in the GAP Library, to avoid unnecessary code duplication.
Also split general.g into general.gd and general.gi.
- Declared an operation `IsCommuting'.
- Added a convenience method which allows enclosing the arguments of `Comm'
into list brackets.
- Added a helper function `DownloadFile' (needs the IO package).
Changes between ResClasses 3.0.3 and ResClasses 3.0.4:
- Removed an `Intersection2' method for Integers^2 and a list of
pairs of integers which returned a residue class union object,
to get rid of a possible source of incompatibilities with other
packages.
Changes between ResClasses 3.0.2 and ResClasses 3.0.3:
- Fixed a `ViewString' method which changed line breaks in printing of
rationals with large numerators / denominators.
Changes between ResClasses 3.0.0 and ResClasses 3.0.2:
- Residue class unions of GF(p)[x] and polynomials with coefficients in
GF(p)[x] are `View'ed in a much nicer way.
- A number of smaller improvements has been made.
- The CVS revision entries have been removed from the source files.
- ResClasses needs now GAP 4.5.2 and GAPDoc 1.4.
Changes between ResClasses 2.5.3 and ResClasses 3.0.0 (May 8, 2011):
The main change is that ResClasses now supports computations with
unions of residue classes of Z^2.
Further changes are:
- A function `ResidueClassesIntersectionType' has been added.
- The required versions of GAP, GAPDoc and Polycyclic have been incremented
to 4.4.12, 1.1 and 2.6, respectively.
Changes between ResClasses 2.5.2 and ResClasses 2.5.3:
- The line length used in the examples has been reduced to 75 in order to
improve their appearance in the online help with standard settings.
Changes between ResClasses 2.5.1 and ResClasses 2.5.2:
- Functions `SendEmail' and `EmailLogFile' have been added.
Changes between ResClasses 2.5.0 and ResClasses 2.5.1:
- Some minor adjustments have been made, and ResClasses needs now the
recently released version 1.0 of GAPDoc.
Changes between ResClasses 2.4.4 and ResClasses 2.5.0:
- An operation `PartitionsIntoResidueClasses' has been added.
This operation returns a sorted list of all partitions of a given ring
into a given number of residue classes.
- The index of the manual has been improved.
- Methods for `ExtRepOfObj' and `ObjByExtRep' for residue class unions
have been added.
- A property `IsResidueClassWithFixedRepresentative' has been introduced.
- A couple of auxiliary trivial methods have been added.
- A bug in `RepresentativeStabilizingRefinement' has been fixed --
the simplification did not work in case of negative moduli.
- The bibliography format has been changed from BibTeX to GAPDoc XML.
Changes between ResClasses 2.4.3 and ResClasses 2.4.4:
- Now ResClasses needs GAPDoc 0.99999.
Changes between ResClasses 2.4.2 and ResClasses 2.4.3:
- A quirk with the style file for the HTML version of the manual has
been fixed.
Changes between ResClasses 2.4.1 and ResClasses 2.4.2:
- A bug in the `View' method for residue class unions of polynomial rings
has been fixed.
Changes between ResClasses 2.4.0 and ResClasses 2.4.1:
- Minor changes.
Changes between ResClasses 2.3.7 and ResClasses 2.4.0 (February 9, 2007):
- The support for residue class unions of polynomial rings GF(q)[x] has
been improved. For example there are now methods for `SplittedClass'
and `RandomPartitionIntoResidueClasses' which are applicable to residue
classes of GF(q)[x] resp. to GF(q)[x] itself. Further the `Viev'ing and
`Display' format for residue class unions of GF(q)[x] has been
improved.
- A "cleanup" of the source files has taken place -- many comments have
been improved, and the declarations / implementations have been rearranged
and grouped together in sections by "topic".
- The two-argument form ResidueClass( <r>, <m> ) is now also available
for rings other than Z.
- The documentation now uses consistently the term "residue class union"
for the objects returned by `ResidueClassUnion' (instead of "union of
residue classes").
Changes between ResClasses 2.3.6 and ResClasses 2.3.7:
- Synonyms `IsResidueClassUnion[OfZ|OfZ_pi|OfZorZ_pi|OfGFqx]' for the five
categories `IsUnionOfResidueClasses[OfZ|OfZ_pi|OfZorZ_pi|OfGFqx]' have
been defined.
- The documentation has been improved in a few places.
Changes between ResClasses 2.3.5 and ResClasses 2.3.6:
- A problem w.r.t. residue classes vs. ideals has been fixed.
This problem has caused a `no method found' message when trying
to form a principal ideal by multiplying a ring by one of its
elements.
- A missing `Difference' method for two times the same ring has been added.
- For consistency, the representation `IsResidueClassUnionSparseRep' has
been renamed to `IsResidueClassUnionResidueListRep'. This change will not
affect the use of this package.
- A bug in the \< method for residue class unions has been fixed.
This bug caused an error message when sorting lists of residue class
unions (in rare cases).
Changes between ResClasses 2.3.4 and ResClasses 2.3.5:
- A method for `AsUnionOfFewClasses' for unions of residue classes of the
rings Z_pi and GF(q)[x] has been added.
- The function `AllResidues' has been turned into an operation, and
an operation `NumberOfResidues' has been introduced.
- The documentation has been slightly improved.
Changes between ResClasses 2.3.3 and ResClasses 2.3.4:
- An operation `RandomPartitionIntoResidueClasses' has been introduced.
Changes between ResClasses 2.3.2 and ResClasses 2.3.3:
- A few minor internal changes have been made.
Changes between ResClasses 2.3.1 and ResClasses 2.3.2:
- A few trivial methods have been added, and some undocumented
global functions have been made local.
Changes between ResClasses 2.3.0 and ResClasses 2.3.1:
- For convenience, an operation `Residue' has been introduced.
Changes between ResClasses 2.2.2 and ResClasses 2.3.0 (May 30, 2006):
The main change is that the manual has been revised.
Further a couple of trivial methods have been added, some of which
are needed by RCWA.
Changes between ResClasses 2.2.1 and ResClasses 2.2.2:
- A couple of minor output formatting improvements have been made.
Changes between ResClasses 2.2.0 and ResClasses 2.2.1:
- For convenience, `ResidueClass' now accepts also a list [r,m] as argument.
- The output of `Display' for unions of residue classes has been improved
a bit further.
Changes between ResClasses 2.1.2 and ResClasses 2.2.0 (February 14, 2006):
- The output of the `View' and `Display' methods for unions of residue
classes has been improved.
- `AsUnionOfFewClasses' has been made another bit more efficient.
Changes between ResClasses 2.1.1 and ResClasses 2.1.2:
- A property `IsResidueClass' has been added.
Changes between ResClasses 2.1.0 and ResClasses 2.1.1:
- An adaptation to an incompatible change in GAP 4.4.6 w.r.t.
`InstallValue' for families has been made.
Changes between ResClasses 2.0.6 and ResClasses 2.1.0 (August 8, 2005):
- Significant performance improvements in `Union', `Intersection',
`Difference' and `AsUnionOfFewClasses' for `sparse' unions of
residue classes have been obtained.
Changes between ResClasses 2.0.5 and ResClasses 2.0.6:
- The following name changes have been made:
`DELTA' --> `Delta' and `RHO' --> `Rho'.
- A bug in `RepresentativeStabilizingRefinement' has been fixed.
This bug caused wrong results in certain situations. Test code:
gap> U := ResidueClassUnionWithFixedReps([[-1,3],[1,3],[3,3]]);;
gap> U = RepresentativeStabilizingRefinement(U,0);
true
Changes between ResClasses 2.0.2 and ResClasses 2.0.5:
- The manual has been cleaned up and compacted.
- An operation `SplittedClass' has been added.
- Minor improvements in the manual have been made, and a few trivial
methods covering pathological cases have been added.
Changes between ResClasses 2.0 and ResClasses 2.0.2:
- A bug in a `Union2' method for unions of residue classes has been fixed
(ExcludedElements were not treated correctly). This bug caused wrong
results in some cases.
Changes between ResClasses 1.1 and ResClasses 2.0 (June 3, 2004):
- A function `AllResidueClassesModulo' has been added.
- Support for unions of residue classes with fixed representatives has been
added. These domains behave different than `ordinary' unions of residue
classes:
1. They behave like sets of single residue classes with fixed
representative rather than like sets of ring elements.
2. The residue classes are not necessarily disjoint, thus the unions can
be viewed as multisets of ring elements.
Changes between ResClasses 1.0 and ResClasses 1.1:
- The output routines have been improved.
- An attribute `Density' has been added.
Release of ResClasses 1.0: January 2004