Thomas Breuer

My interpretation of this proposal is as follows: One part is to extend those info messages about package loading that belong to a specific package version by this version number....

I stumbled over the inconsistency when I wanted to construct an example that produces an error, and was surprised that there was no error. I hope that nobody relies on...

This is a can of worms. Fixing/changing `IsTransitive` is easy, and `Transitivity` is then automatically fixed. However, related functions have similar problems: ``` gap> g:= Group( [ (2,4,3), (3,4) ]...

After a discussion with @fingolfin, I think that it will be already an improvement if the documentation of the operations in question states that there are currently no checks whether...

I had not been aware of this issue, thanks to @fingolfin for making me aware of it. Just today I observed that there is a problem, and opened issue #4809...

@wucas Logically, the mathematical meaning of an object and the way how it is represented are independent: A matrix can be represented in different ways, and a GAP object represented...

I had tried to provide some tests for the various kinds of internal lists. But the failing tests show that it is challenging to construct meaningful examples. For example, the...

@fingolfin I do not understand the statement > GAP doesn't store sortedness for inhomogeneous lists We have ``` gap> l:= [ 1, Z(2) ];; gap> HasIsSSortedList( l ); false gap>...

@fingolfin Thanks for the changes. My idea was: For an (internal) list that has `HasIsSSortedList` set after a call of `IsSSortedList`, `HasIsSSortedList` should also be set after `SetIsSSortedList` (where the...

@hulpke If the question is about creating matrix objects, one is on the safe side if one sets the `BaseDomain` explicitly, like in `Matrix( Integers, [ [ 1 ] ]...