From 7fc0778cfa08bcfe7cc78f6c216d70de1007b8f1 Mon Sep 17 00:00:00 2001
From: Markus Pfeiffer <markus.pfeiffer@morphism.de>
Date: Fri, 3 Jun 2016 15:16:07 +0100
Subject: [PATCH] Update gaptypes.json
---
gap/gaptypes.json | 1386 ++++++++++++++++++++++++++++++++++++++-------
1 file changed, 1181 insertions(+), 205 deletions(-)
diff --git a/gap/gaptypes.json b/gap/gaptypes.json
index 4c85e97..9f59fdc 100644
--- a/gap/gaptypes.json
+++ b/gap/gaptypes.json
@@ -878,7 +878,7 @@
],
"location": {
"file": "/home/makx/ac/gap/lib/coll.gd",
- "line": 1132
+ "line": 1136
},
"name": "IsStandardIterator",
"type": "GAP_Filter"
@@ -892,7 +892,7 @@
],
"location": {
"file": "/home/makx/ac/gap/lib/coll.gd",
- "line": 1175
+ "line": 1179
},
"name": "IsIterator",
"type": "GAP_Category"
@@ -906,7 +906,7 @@
],
"location": {
"file": "/home/makx/ac/gap/lib/coll.gd",
- "line": 1344
+ "line": 1348
},
"name": "Tester(IsEmpty)",
"type": "GAP_TrueProperty"
@@ -920,7 +920,7 @@
],
"location": {
"file": "/home/makx/ac/gap/lib/coll.gd",
- "line": 1363
+ "line": 1367
},
"name": "Tester(IsTrivial)",
"type": "GAP_TrueProperty"
@@ -934,7 +934,7 @@
],
"location": {
"file": "/home/makx/ac/gap/lib/coll.gd",
- "line": 1404
+ "line": 1408
},
"name": "Tester(IsNonTrivial)",
"type": "GAP_TrueProperty"
@@ -948,7 +948,7 @@
],
"location": {
"file": "/home/makx/ac/gap/lib/coll.gd",
- "line": 1430
+ "line": 1434
},
"name": "Tester(IsFinite)",
"type": "GAP_TrueProperty"
@@ -962,7 +962,7 @@
],
"location": {
"file": "/home/makx/ac/gap/lib/coll.gd",
- "line": 1469
+ "line": 1473
},
"name": "Tester(IsWholeFamily)",
"type": "GAP_TrueProperty"
@@ -976,7 +976,7 @@
],
"location": {
"file": "/home/makx/ac/gap/lib/coll.gd",
- "line": 3199
+ "line": 3203
},
"name": "Tester(CanEasilyCompareElements)",
"type": "GAP_TrueProperty"
@@ -990,7 +990,7 @@
],
"location": {
"file": "/home/makx/ac/gap/lib/coll.gd",
- "line": 3201
+ "line": 3205
},
"name": "Tester(CanEasilySortElements)",
"type": "GAP_TrueProperty"
@@ -1004,7 +1004,7 @@
],
"location": {
"file": "/home/makx/ac/gap/lib/coll.gd",
- "line": 3242
+ "line": 3246
},
"name": "CanComputeSize",
"type": "GAP_Filter"
@@ -20862,7 +20862,7 @@
],
"location": {
"file": "/home/makx/ac/gap/lib/coll.gd",
- "line": 1344
+ "line": 1348
},
"name": "IsEmpty",
"type": "GAP_Property"
@@ -20876,7 +20876,7 @@
],
"location": {
"file": "/home/makx/ac/gap/lib/coll.gd",
- "line": 1363
+ "line": 1367
},
"name": "IsTrivial",
"type": "GAP_Property"
@@ -20890,7 +20890,7 @@
],
"location": {
"file": "/home/makx/ac/gap/lib/coll.gd",
- "line": 1404
+ "line": 1408
},
"name": "IsNonTrivial",
"type": "GAP_Property"
@@ -20904,7 +20904,7 @@
],
"location": {
"file": "/home/makx/ac/gap/lib/coll.gd",
- "line": 1430
+ "line": 1434
},
"name": "IsFinite",
"type": "GAP_Property"
@@ -20918,7 +20918,7 @@
],
"location": {
"file": "/home/makx/ac/gap/lib/coll.gd",
- "line": 1469
+ "line": 1473
},
"name": "IsWholeFamily",
"type": "GAP_Property"
@@ -20932,7 +20932,7 @@
],
"location": {
"file": "/home/makx/ac/gap/lib/coll.gd",
- "line": 1505
+ "line": 1509
},
"name": "Size",
"type": "GAP_Attribute"
@@ -20946,7 +20946,7 @@
],
"location": {
"file": "/home/makx/ac/gap/lib/coll.gd",
- "line": 1545
+ "line": 1549
},
"name": "Representative",
"type": "GAP_Attribute"
@@ -20960,7 +20960,7 @@
],
"location": {
"file": "/home/makx/ac/gap/lib/coll.gd",
- "line": 1575
+ "line": 1579
},
"name": "RepresentativeSmallest",
"type": "GAP_Attribute"
@@ -20974,7 +20974,7 @@
],
"location": {
"file": "/home/makx/ac/gap/lib/coll.gd",
- "line": 1743
+ "line": 1747
},
"name": "PseudoRandomSeed",
"type": "GAP_Attribute"
@@ -20988,7 +20988,7 @@
],
"location": {
"file": "/home/makx/ac/gap/lib/coll.gd",
- "line": 1777
+ "line": 1781
},
"name": "Enumerator",
"type": "GAP_Attribute"
@@ -21002,7 +21002,7 @@
],
"location": {
"file": "/home/makx/ac/gap/lib/coll.gd",
- "line": 1821
+ "line": 1825
},
"name": "EnumeratorSorted",
"type": "GAP_Attribute"
@@ -21016,7 +21016,7 @@
],
"location": {
"file": "/home/makx/ac/gap/lib/coll.gd",
- "line": 2011
+ "line": 2015
},
"name": "UnderlyingCollection",
"type": "GAP_Attribute"
@@ -21030,7 +21030,7 @@
],
"location": {
"file": "/home/makx/ac/gap/lib/coll.gd",
- "line": 2217
+ "line": 2221
},
"name": "AsList",
"type": "GAP_Attribute"
@@ -21044,7 +21044,7 @@
],
"location": {
"file": "/home/makx/ac/gap/lib/coll.gd",
- "line": 2258
+ "line": 2262
},
"name": "AsSortedList",
"type": "GAP_Attribute"
@@ -21059,7 +21059,7 @@
],
"location": {
"file": "/home/makx/ac/gap/lib/coll.gd",
- "line": 2320
+ "line": 2324
},
"name": "AsSSortedList",
"type": "GAP_Attribute"
@@ -21073,7 +21073,7 @@
],
"location": {
"file": "/home/makx/ac/gap/lib/coll.gd",
- "line": 3199
+ "line": 3203
},
"name": "CanEasilyCompareElements",
"type": "GAP_Property"
@@ -21087,7 +21087,7 @@
],
"location": {
"file": "/home/makx/ac/gap/lib/coll.gd",
- "line": 3201
+ "line": 3205
},
"name": "CanEasilySortElements",
"type": "GAP_Property"
@@ -21101,7 +21101,7 @@
],
"location": {
"file": "/home/makx/ac/gap/lib/coll.gd",
- "line": 3250
+ "line": 3254
},
"name": "RandomizerAttr",
"type": "GAP_Attribute"
@@ -21115,7 +21115,7 @@
],
"location": {
"file": "/home/makx/ac/gap/lib/coll.gd",
- "line": 3251
+ "line": 3255
},
"name": "CheapRandomizerAttr",
"type": "GAP_Attribute"
@@ -41079,7 +41079,7 @@
],
"location": {
"file": "/home/makx/ac/gap/lib/read1.g",
- "line": 15
+ "line": 16
},
"rank": 17
},
@@ -41095,7 +41095,7 @@
],
"location": {
"file": "/home/makx/ac/gap/lib/read1.g",
- "line": 15
+ "line": 16
},
"rank": 17
},
@@ -42294,7 +42294,7 @@
],
"location": {
"file": "/home/makx/ac/gap/lib/read1.g",
- "line": 15
+ "line": 16
},
"rank": 0
}
@@ -59524,7 +59524,7 @@
"locations": [
{
"file": "/home/makx/ac/gap/lib/coll.gd",
- "line": 465
+ "line": 469
}
],
"methods": {
@@ -59543,7 +59543,7 @@
],
"location": {
"file": "/home/makx/ac/gap/lib/coll.gd",
- "line": 484
+ "line": 488
},
"rank": 0
}
@@ -59573,7 +59573,7 @@
"locations": [
{
"file": "/home/makx/ac/gap/lib/coll.gd",
- "line": 734
+ "line": 738
}
],
"methods": {
@@ -59592,7 +59592,7 @@
],
"location": {
"file": "/home/makx/ac/gap/lib/coll.gd",
- "line": 751
+ "line": 755
},
"rank": 0
}
@@ -59623,7 +59623,7 @@
"locations": [
{
"file": "/home/makx/ac/gap/lib/coll.gd",
- "line": 929
+ "line": 933
}
],
"methods": {
@@ -59667,7 +59667,7 @@
],
"location": {
"file": "/home/makx/ac/gap/lib/coll.gd",
- "line": 949
+ "line": 953
},
"rank": 0
}
@@ -59693,7 +59693,7 @@
"locations": [
{
"file": "/home/makx/ac/gap/lib/coll.gd",
- "line": 1133
+ "line": 1137
}
],
"methods": {
@@ -60070,7 +60070,7 @@
"locations": [
{
"file": "/home/makx/ac/gap/lib/coll.gd",
- "line": 1158
+ "line": 1162
}
],
"methods": {
@@ -60140,7 +60140,7 @@
"locations": [
{
"file": "/home/makx/ac/gap/lib/coll.gd",
- "line": 1195
+ "line": 1199
}
],
"methods": {
@@ -60200,7 +60200,7 @@
"locations": [
{
"file": "/home/makx/ac/gap/lib/coll.gd",
- "line": 1243
+ "line": 1247
}
],
"methods": {
@@ -60270,7 +60270,7 @@
"locations": [
{
"file": "/home/makx/ac/gap/lib/coll.gd",
- "line": 1344
+ "line": 1348
}
],
"methods": {
@@ -60286,7 +60286,7 @@
],
"location": {
"file": "/home/makx/ac/gap/lib/coll.gd",
- "line": 1344
+ "line": 1348
},
"rank": 20004
},
@@ -60357,7 +60357,7 @@
"locations": [
{
"file": "/home/makx/ac/gap/lib/coll.gd",
- "line": 1344
+ "line": 1348
}
],
"methods": {
@@ -60374,7 +60374,7 @@
],
"location": {
"file": "/home/makx/ac/gap/lib/coll.gd",
- "line": 1344
+ "line": 1348
},
"rank": 2
},
@@ -60386,7 +60386,7 @@
],
"location": {
"file": "/home/makx/ac/gap/lib/coll.gd",
- "line": 1344
+ "line": 1348
},
"rank": 0
}
@@ -60410,7 +60410,7 @@
"locations": [
{
"file": "/home/makx/ac/gap/lib/coll.gd",
- "line": 1344
+ "line": 1348
}
],
"methods": {
@@ -60436,7 +60436,7 @@
"locations": [
{
"file": "/home/makx/ac/gap/lib/coll.gd",
- "line": 1363
+ "line": 1367
}
],
"methods": {
@@ -60452,7 +60452,7 @@
],
"location": {
"file": "/home/makx/ac/gap/lib/coll.gd",
- "line": 1363
+ "line": 1367
},
"rank": 20005
},
@@ -60730,7 +60730,7 @@
"locations": [
{
"file": "/home/makx/ac/gap/lib/coll.gd",
- "line": 1363
+ "line": 1367
}
],
"methods": {
@@ -60747,7 +60747,7 @@
],
"location": {
"file": "/home/makx/ac/gap/lib/coll.gd",
- "line": 1363
+ "line": 1367
},
"rank": 2
},
@@ -60759,7 +60759,7 @@
],
"location": {
"file": "/home/makx/ac/gap/lib/coll.gd",
- "line": 1363
+ "line": 1367
},
"rank": 0
}
@@ -60783,7 +60783,7 @@
"locations": [
{
"file": "/home/makx/ac/gap/lib/coll.gd",
- "line": 1363
+ "line": 1367
}
],
"methods": {
@@ -60809,7 +60809,7 @@
"locations": [
{
"file": "/home/makx/ac/gap/lib/coll.gd",
- "line": 1404
+ "line": 1408
}
],
"methods": {
@@ -60825,7 +60825,7 @@
],
"location": {
"file": "/home/makx/ac/gap/lib/coll.gd",
- "line": 1404
+ "line": 1408
},
"rank": 20005
},
@@ -60883,7 +60883,7 @@
"locations": [
{
"file": "/home/makx/ac/gap/lib/coll.gd",
- "line": 1404
+ "line": 1408
}
],
"methods": {
@@ -60900,7 +60900,7 @@
],
"location": {
"file": "/home/makx/ac/gap/lib/coll.gd",
- "line": 1404
+ "line": 1408
},
"rank": 2
},
@@ -60912,7 +60912,7 @@
],
"location": {
"file": "/home/makx/ac/gap/lib/coll.gd",
- "line": 1404
+ "line": 1408
},
"rank": 0
}
@@ -60936,7 +60936,7 @@
"locations": [
{
"file": "/home/makx/ac/gap/lib/coll.gd",
- "line": 1404
+ "line": 1408
}
],
"methods": {
@@ -60972,7 +60972,7 @@
"locations": [
{
"file": "/home/makx/ac/gap/lib/coll.gd",
- "line": 1430
+ "line": 1434
}
],
"methods": {
@@ -60988,7 +60988,7 @@
],
"location": {
"file": "/home/makx/ac/gap/lib/coll.gd",
- "line": 1430
+ "line": 1434
},
"rank": 20005
},
@@ -61323,7 +61323,7 @@
"locations": [
{
"file": "/home/makx/ac/gap/lib/coll.gd",
- "line": 1430
+ "line": 1434
}
],
"methods": {
@@ -61340,7 +61340,7 @@
],
"location": {
"file": "/home/makx/ac/gap/lib/coll.gd",
- "line": 1430
+ "line": 1434
},
"rank": 2
},
@@ -61352,7 +61352,7 @@
],
"location": {
"file": "/home/makx/ac/gap/lib/coll.gd",
- "line": 1430
+ "line": 1434
},
"rank": 0
}
@@ -61376,7 +61376,7 @@
"locations": [
{
"file": "/home/makx/ac/gap/lib/coll.gd",
- "line": 1430
+ "line": 1434
}
],
"methods": {
@@ -61402,7 +61402,7 @@
"locations": [
{
"file": "/home/makx/ac/gap/lib/coll.gd",
- "line": 1469
+ "line": 1473
}
],
"methods": {
@@ -61418,7 +61418,7 @@
],
"location": {
"file": "/home/makx/ac/gap/lib/coll.gd",
- "line": 1469
+ "line": 1473
},
"rank": 20005
},
@@ -61593,7 +61593,7 @@
"locations": [
{
"file": "/home/makx/ac/gap/lib/coll.gd",
- "line": 1469
+ "line": 1473
}
],
"methods": {
@@ -61610,7 +61610,7 @@
],
"location": {
"file": "/home/makx/ac/gap/lib/coll.gd",
- "line": 1469
+ "line": 1473
},
"rank": 2
},
@@ -61622,7 +61622,7 @@
],
"location": {
"file": "/home/makx/ac/gap/lib/coll.gd",
- "line": 1469
+ "line": 1473
},
"rank": 0
}
@@ -61646,7 +61646,7 @@
"locations": [
{
"file": "/home/makx/ac/gap/lib/coll.gd",
- "line": 1469
+ "line": 1473
}
],
"methods": {
@@ -61677,7 +61677,7 @@
"locations": [
{
"file": "/home/makx/ac/gap/lib/coll.gd",
- "line": 1505
+ "line": 1509
}
],
"methods": {
@@ -61693,7 +61693,7 @@
],
"location": {
"file": "/home/makx/ac/gap/lib/coll.gd",
- "line": 1505
+ "line": 1509
},
"rank": 20004
},
@@ -62472,7 +62472,7 @@
"locations": [
{
"file": "/home/makx/ac/gap/lib/coll.gd",
- "line": 1505
+ "line": 1509
}
],
"methods": {
@@ -62489,7 +62489,7 @@
],
"location": {
"file": "/home/makx/ac/gap/lib/coll.gd",
- "line": 1505
+ "line": 1509
},
"rank": 2
},
@@ -62501,7 +62501,7 @@
],
"location": {
"file": "/home/makx/ac/gap/lib/coll.gd",
- "line": 1505
+ "line": 1509
},
"rank": 0
}
@@ -62528,7 +62528,7 @@
"locations": [
{
"file": "/home/makx/ac/gap/lib/coll.gd",
- "line": 1505
+ "line": 1509
}
],
"methods": {
@@ -62554,7 +62554,7 @@
"locations": [
{
"file": "/home/makx/ac/gap/lib/coll.gd",
- "line": 1545
+ "line": 1549
}
],
"methods": {
@@ -62570,7 +62570,7 @@
],
"location": {
"file": "/home/makx/ac/gap/lib/coll.gd",
- "line": 1545
+ "line": 1549
},
"rank": 20004
},
@@ -63131,7 +63131,7 @@
"locations": [
{
"file": "/home/makx/ac/gap/lib/coll.gd",
- "line": 1545
+ "line": 1549
}
],
"methods": {
@@ -63148,7 +63148,7 @@
],
"location": {
"file": "/home/makx/ac/gap/lib/coll.gd",
- "line": 1545
+ "line": 1549
},
"rank": 2
},
@@ -63160,7 +63160,7 @@
],
"location": {
"file": "/home/makx/ac/gap/lib/coll.gd",
- "line": 1545
+ "line": 1549
},
"rank": 0
}
@@ -63187,7 +63187,7 @@
"locations": [
{
"file": "/home/makx/ac/gap/lib/coll.gd",
- "line": 1545
+ "line": 1549
}
],
"methods": {
@@ -63213,7 +63213,7 @@
"locations": [
{
"file": "/home/makx/ac/gap/lib/coll.gd",
- "line": 1575
+ "line": 1579
}
],
"methods": {
@@ -63229,7 +63229,7 @@
],
"location": {
"file": "/home/makx/ac/gap/lib/coll.gd",
- "line": 1575
+ "line": 1579
},
"rank": 20004
},
@@ -63346,7 +63346,7 @@
"locations": [
{
"file": "/home/makx/ac/gap/lib/coll.gd",
- "line": 1575
+ "line": 1579
}
],
"methods": {
@@ -63363,7 +63363,7 @@
],
"location": {
"file": "/home/makx/ac/gap/lib/coll.gd",
- "line": 1575
+ "line": 1579
},
"rank": 2
},
@@ -63375,7 +63375,7 @@
],
"location": {
"file": "/home/makx/ac/gap/lib/coll.gd",
- "line": 1575
+ "line": 1579
},
"rank": 0
}
@@ -63402,7 +63402,7 @@
"locations": [
{
"file": "/home/makx/ac/gap/lib/coll.gd",
- "line": 1575
+ "line": 1579
}
],
"methods": {
@@ -63458,11 +63458,11 @@
"locations": [
{
"file": "/home/makx/ac/gap/lib/coll.gd",
- "line": 1636
+ "line": 1640
},
{
"file": "/home/makx/ac/gap/lib/coll.gd",
- "line": 1637
+ "line": 1641
},
{
"file": "/home/makx/ac/gap/lib/random.gd",
@@ -64336,7 +64336,7 @@
"locations": [
{
"file": "/home/makx/ac/gap/lib/coll.gd",
- "line": 1729
+ "line": 1733
}
],
"methods": {
@@ -64461,7 +64461,7 @@
"locations": [
{
"file": "/home/makx/ac/gap/lib/coll.gd",
- "line": 1743
+ "line": 1747
}
],
"methods": {
@@ -64477,7 +64477,7 @@
],
"location": {
"file": "/home/makx/ac/gap/lib/coll.gd",
- "line": 1743
+ "line": 1747
},
"rank": 20004
}
@@ -64506,7 +64506,7 @@
"locations": [
{
"file": "/home/makx/ac/gap/lib/coll.gd",
- "line": 1743
+ "line": 1747
}
],
"methods": {
@@ -64523,7 +64523,7 @@
],
"location": {
"file": "/home/makx/ac/gap/lib/coll.gd",
- "line": 1743
+ "line": 1747
},
"rank": 2
},
@@ -64535,7 +64535,7 @@
],
"location": {
"file": "/home/makx/ac/gap/lib/coll.gd",
- "line": 1743
+ "line": 1747
},
"rank": 0
}
@@ -64562,7 +64562,7 @@
"locations": [
{
"file": "/home/makx/ac/gap/lib/coll.gd",
- "line": 1743
+ "line": 1747
}
],
"methods": {
@@ -64588,7 +64588,7 @@
"locations": [
{
"file": "/home/makx/ac/gap/lib/coll.gd",
- "line": 1777
+ "line": 1781
}
],
"methods": {
@@ -64604,7 +64604,7 @@
],
"location": {
"file": "/home/makx/ac/gap/lib/coll.gd",
- "line": 1777
+ "line": 1781
},
"rank": 20004
},
@@ -65706,7 +65706,7 @@
"locations": [
{
"file": "/home/makx/ac/gap/lib/coll.gd",
- "line": 1777
+ "line": 1781
}
],
"methods": {
@@ -65723,7 +65723,7 @@
],
"location": {
"file": "/home/makx/ac/gap/lib/coll.gd",
- "line": 1777
+ "line": 1781
},
"rank": 2
},
@@ -65735,7 +65735,7 @@
],
"location": {
"file": "/home/makx/ac/gap/lib/coll.gd",
- "line": 1777
+ "line": 1781
},
"rank": 0
}
@@ -65762,7 +65762,7 @@
"locations": [
{
"file": "/home/makx/ac/gap/lib/coll.gd",
- "line": 1777
+ "line": 1781
}
],
"methods": {
@@ -65788,7 +65788,7 @@
"locations": [
{
"file": "/home/makx/ac/gap/lib/coll.gd",
- "line": 1821
+ "line": 1825
}
],
"methods": {
@@ -65804,7 +65804,7 @@
],
"location": {
"file": "/home/makx/ac/gap/lib/coll.gd",
- "line": 1821
+ "line": 1825
},
"rank": 20004
},
@@ -65946,7 +65946,7 @@
"locations": [
{
"file": "/home/makx/ac/gap/lib/coll.gd",
- "line": 1821
+ "line": 1825
}
],
"methods": {
@@ -65963,7 +65963,7 @@
],
"location": {
"file": "/home/makx/ac/gap/lib/coll.gd",
- "line": 1821
+ "line": 1825
},
"rank": 2
},
@@ -65975,7 +65975,7 @@
],
"location": {
"file": "/home/makx/ac/gap/lib/coll.gd",
- "line": 1821
+ "line": 1825
},
"rank": 0
}
@@ -66002,7 +66002,7 @@
"locations": [
{
"file": "/home/makx/ac/gap/lib/coll.gd",
- "line": 1821
+ "line": 1825
}
],
"methods": {
@@ -66028,7 +66028,7 @@
"locations": [
{
"file": "/home/makx/ac/gap/lib/coll.gd",
- "line": 2011
+ "line": 2015
}
],
"methods": {
@@ -66044,7 +66044,7 @@
],
"location": {
"file": "/home/makx/ac/gap/lib/coll.gd",
- "line": 2011
+ "line": 2015
},
"rank": 20004
}
@@ -66073,7 +66073,7 @@
"locations": [
{
"file": "/home/makx/ac/gap/lib/coll.gd",
- "line": 2011
+ "line": 2015
}
],
"methods": {
@@ -66090,7 +66090,7 @@
],
"location": {
"file": "/home/makx/ac/gap/lib/coll.gd",
- "line": 2011
+ "line": 2015
},
"rank": 2
},
@@ -66102,7 +66102,7 @@
],
"location": {
"file": "/home/makx/ac/gap/lib/coll.gd",
- "line": 2011
+ "line": 2015
},
"rank": 0
}
@@ -66129,7 +66129,7 @@
"locations": [
{
"file": "/home/makx/ac/gap/lib/coll.gd",
- "line": 2011
+ "line": 2015
}
],
"methods": {
@@ -66192,11 +66192,11 @@
"locations": [
{
"file": "/home/makx/ac/gap/lib/coll.gd",
- "line": 2081
+ "line": 2085
},
{
"file": "/home/makx/ac/gap/lib/coll.gd",
- "line": 2082
+ "line": 2086
},
{
"file": "/home/makx/ac/gap/lib/matobj2.gd",
@@ -66402,7 +66402,7 @@
"locations": [
{
"file": "/home/makx/ac/gap/lib/coll.gd",
- "line": 2121
+ "line": 2125
}
],
"methods": {
@@ -66446,7 +66446,7 @@
"locations": [
{
"file": "/home/makx/ac/gap/lib/coll.gd",
- "line": 2168
+ "line": 2172
}
],
"methods": {
@@ -66580,7 +66580,7 @@
"locations": [
{
"file": "/home/makx/ac/gap/lib/coll.gd",
- "line": 2217
+ "line": 2221
}
],
"methods": {
@@ -66596,7 +66596,7 @@
],
"location": {
"file": "/home/makx/ac/gap/lib/coll.gd",
- "line": 2217
+ "line": 2221
},
"rank": 20004
},
@@ -66971,7 +66971,7 @@
"locations": [
{
"file": "/home/makx/ac/gap/lib/coll.gd",
- "line": 2217
+ "line": 2221
}
],
"methods": {
@@ -67008,7 +67008,7 @@
],
"location": {
"file": "/home/makx/ac/gap/lib/coll.gd",
- "line": 2217
+ "line": 2221
},
"rank": 2
},
@@ -67020,7 +67020,7 @@
],
"location": {
"file": "/home/makx/ac/gap/lib/coll.gd",
- "line": 2217
+ "line": 2221
},
"rank": 0
}
@@ -67047,7 +67047,7 @@
"locations": [
{
"file": "/home/makx/ac/gap/lib/coll.gd",
- "line": 2217
+ "line": 2221
}
],
"methods": {
@@ -67073,7 +67073,7 @@
"locations": [
{
"file": "/home/makx/ac/gap/lib/coll.gd",
- "line": 2258
+ "line": 2262
}
],
"methods": {
@@ -67089,7 +67089,7 @@
],
"location": {
"file": "/home/makx/ac/gap/lib/coll.gd",
- "line": 2258
+ "line": 2262
},
"rank": 20004
},
@@ -67131,7 +67131,7 @@
"locations": [
{
"file": "/home/makx/ac/gap/lib/coll.gd",
- "line": 2258
+ "line": 2262
}
],
"methods": {
@@ -67148,7 +67148,7 @@
],
"location": {
"file": "/home/makx/ac/gap/lib/coll.gd",
- "line": 2258
+ "line": 2262
},
"rank": 2
},
@@ -67160,7 +67160,7 @@
],
"location": {
"file": "/home/makx/ac/gap/lib/coll.gd",
- "line": 2258
+ "line": 2262
},
"rank": 0
}
@@ -67187,7 +67187,7 @@
"locations": [
{
"file": "/home/makx/ac/gap/lib/coll.gd",
- "line": 2258
+ "line": 2262
}
],
"methods": {
@@ -67213,7 +67213,7 @@
"locations": [
{
"file": "/home/makx/ac/gap/lib/coll.gd",
- "line": 2320
+ "line": 2324
}
],
"methods": {
@@ -67229,7 +67229,7 @@
],
"location": {
"file": "/home/makx/ac/gap/lib/coll.gd",
- "line": 2320
+ "line": 2324
},
"rank": 20004
},
@@ -67447,7 +67447,7 @@
"locations": [
{
"file": "/home/makx/ac/gap/lib/coll.gd",
- "line": 2320
+ "line": 2324
}
],
"methods": {
@@ -67464,7 +67464,7 @@
],
"location": {
"file": "/home/makx/ac/gap/lib/coll.gd",
- "line": 2320
+ "line": 2324
},
"rank": 2
},
@@ -67476,7 +67476,7 @@
],
"location": {
"file": "/home/makx/ac/gap/lib/coll.gd",
- "line": 2320
+ "line": 2324
},
"rank": 0
}
@@ -67503,7 +67503,7 @@
"locations": [
{
"file": "/home/makx/ac/gap/lib/coll.gd",
- "line": 2320
+ "line": 2324
}
],
"methods": {
@@ -67529,7 +67529,7 @@
"locations": [
{
"file": "/home/makx/ac/gap/lib/coll.gd",
- "line": 2345
+ "line": 2349
}
],
"methods": {
@@ -67636,7 +67636,7 @@
"locations": [
{
"file": "/home/makx/ac/gap/lib/coll.gd",
- "line": 2449
+ "line": 2453
}
],
"methods": {
@@ -67796,7 +67796,7 @@
"locations": [
{
"file": "/home/makx/ac/gap/lib/coll.gd",
- "line": 2527
+ "line": 2531
}
],
"methods": {
@@ -67959,7 +67959,7 @@
"locations": [
{
"file": "/home/makx/ac/gap/lib/coll.gd",
- "line": 2595
+ "line": 2599
}
],
"methods": {
@@ -68057,7 +68057,7 @@
"locations": [
{
"file": "/home/makx/ac/gap/lib/coll.gd",
- "line": 2666
+ "line": 2670
}
],
"methods": {
@@ -68178,7 +68178,7 @@
"locations": [
{
"file": "/home/makx/ac/gap/lib/coll.gd",
- "line": 2712
+ "line": 2716
}
],
"methods": {
@@ -68280,7 +68280,7 @@
"locations": [
{
"file": "/home/makx/ac/gap/lib/coll.gd",
- "line": 2760
+ "line": 2764
}
],
"methods": {
@@ -68382,7 +68382,7 @@
"locations": [
{
"file": "/home/makx/ac/gap/lib/coll.gd",
- "line": 2971
+ "line": 2975
}
],
"methods": {
@@ -69352,7 +69352,7 @@
"locations": [
{
"file": "/home/makx/ac/gap/lib/coll.gd",
- "line": 3047
+ "line": 3051
}
],
"methods": {
@@ -70238,7 +70238,7 @@
"locations": [
{
"file": "/home/makx/ac/gap/lib/coll.gd",
- "line": 3105
+ "line": 3109
}
],
"methods": {
@@ -70358,7 +70358,7 @@
"locations": [
{
"file": "/home/makx/ac/gap/lib/coll.gd",
- "line": 3140
+ "line": 3144
}
],
"methods": {
@@ -70503,7 +70503,7 @@
"locations": [
{
"file": "/home/makx/ac/gap/lib/coll.gd",
- "line": 3199
+ "line": 3203
}
],
"methods": {
@@ -70519,7 +70519,7 @@
],
"location": {
"file": "/home/makx/ac/gap/lib/coll.gd",
- "line": 3199
+ "line": 3203
},
"rank": 20003
},
@@ -70613,7 +70613,7 @@
"locations": [
{
"file": "/home/makx/ac/gap/lib/coll.gd",
- "line": 3199
+ "line": 3203
}
],
"methods": {
@@ -70630,7 +70630,7 @@
],
"location": {
"file": "/home/makx/ac/gap/lib/coll.gd",
- "line": 3199
+ "line": 3203
},
"rank": 2
},
@@ -70656,7 +70656,7 @@
],
"location": {
"file": "/home/makx/ac/gap/lib/coll.gd",
- "line": 3199
+ "line": 3203
},
"rank": 0
}
@@ -70678,7 +70678,7 @@
"locations": [
{
"file": "/home/makx/ac/gap/lib/coll.gd",
- "line": 3199
+ "line": 3203
}
],
"methods": {
@@ -70702,7 +70702,7 @@
"locations": [
{
"file": "/home/makx/ac/gap/lib/coll.gd",
- "line": 3201
+ "line": 3205
}
],
"methods": {
@@ -70718,7 +70718,7 @@
],
"location": {
"file": "/home/makx/ac/gap/lib/coll.gd",
- "line": 3201
+ "line": 3205
},
"rank": 20003
},
@@ -70799,7 +70799,7 @@
"locations": [
{
"file": "/home/makx/ac/gap/lib/coll.gd",
- "line": 3201
+ "line": 3205
}
],
"methods": {
@@ -70816,7 +70816,7 @@
],
"location": {
"file": "/home/makx/ac/gap/lib/coll.gd",
- "line": 3201
+ "line": 3205
},
"rank": 2
},
@@ -70842,7 +70842,7 @@
],
"location": {
"file": "/home/makx/ac/gap/lib/coll.gd",
- "line": 3201
+ "line": 3205
},
"rank": 0
}
@@ -70864,7 +70864,7 @@
"locations": [
{
"file": "/home/makx/ac/gap/lib/coll.gd",
- "line": 3201
+ "line": 3205
}
],
"methods": {
@@ -70892,7 +70892,7 @@
"locations": [
{
"file": "/home/makx/ac/gap/lib/coll.gd",
- "line": 3222
+ "line": 3226
}
],
"methods": {
@@ -70991,7 +70991,7 @@
"locations": [
{
"file": "/home/makx/ac/gap/lib/coll.gd",
- "line": 3247
+ "line": 3251
}
],
"methods": {
@@ -71020,7 +71020,7 @@
"locations": [
{
"file": "/home/makx/ac/gap/lib/coll.gd",
- "line": 3248
+ "line": 3252
}
],
"methods": {
@@ -71046,7 +71046,7 @@
"locations": [
{
"file": "/home/makx/ac/gap/lib/coll.gd",
- "line": 3250
+ "line": 3254
}
],
"methods": {
@@ -71062,7 +71062,7 @@
],
"location": {
"file": "/home/makx/ac/gap/lib/coll.gd",
- "line": 3250
+ "line": 3254
},
"rank": 20005
}
@@ -71091,7 +71091,7 @@
"locations": [
{
"file": "/home/makx/ac/gap/lib/coll.gd",
- "line": 3250
+ "line": 3254
}
],
"methods": {
@@ -71108,7 +71108,7 @@
],
"location": {
"file": "/home/makx/ac/gap/lib/coll.gd",
- "line": 3250
+ "line": 3254
},
"rank": 2
},
@@ -71120,7 +71120,7 @@
],
"location": {
"file": "/home/makx/ac/gap/lib/coll.gd",
- "line": 3250
+ "line": 3254
},
"rank": 0
}
@@ -71147,7 +71147,7 @@
"locations": [
{
"file": "/home/makx/ac/gap/lib/coll.gd",
- "line": 3250
+ "line": 3254
}
],
"methods": {
@@ -71173,7 +71173,7 @@
"locations": [
{
"file": "/home/makx/ac/gap/lib/coll.gd",
- "line": 3251
+ "line": 3255
}
],
"methods": {
@@ -71189,7 +71189,7 @@
],
"location": {
"file": "/home/makx/ac/gap/lib/coll.gd",
- "line": 3251
+ "line": 3255
},
"rank": 20005
}
@@ -71218,7 +71218,7 @@
"locations": [
{
"file": "/home/makx/ac/gap/lib/coll.gd",
- "line": 3251
+ "line": 3255
}
],
"methods": {
@@ -71235,7 +71235,7 @@
],
"location": {
"file": "/home/makx/ac/gap/lib/coll.gd",
- "line": 3251
+ "line": 3255
},
"rank": 2
},
@@ -71247,7 +71247,7 @@
],
"location": {
"file": "/home/makx/ac/gap/lib/coll.gd",
- "line": 3251
+ "line": 3255
},
"rank": 0
}
@@ -71274,7 +71274,7 @@
"locations": [
{
"file": "/home/makx/ac/gap/lib/coll.gd",
- "line": 3251
+ "line": 3255
}
],
"methods": {
@@ -392753,7 +392753,7 @@
"BindGlobal",
{
"file": "/home/makx/ac/gap/lib/global.gi",
- "line": 233
+ "line": 234
}
]
},
@@ -393276,7 +393276,7 @@
"CanEasilyCompareElementsFamily",
{
"file": "/home/makx/ac/gap/lib/coll.gd",
- "line": 3200
+ "line": 3204
}
],
"installation": [
@@ -393299,7 +393299,7 @@
"CanEasilySortElementsFamily",
{
"file": "/home/makx/ac/gap/lib/coll.gd",
- "line": 3202
+ "line": 3206
}
],
"installation": [
@@ -399498,7 +399498,7 @@
"Elements",
{
"file": "/home/makx/ac/gap/lib/coll.gd",
- "line": 2373
+ "line": 2377
}
],
"installation": [
@@ -399797,7 +399797,7 @@
"EnumeratorByFunctions",
{
"file": "/home/makx/ac/gap/lib/coll.gd",
- "line": 1994
+ "line": 1998
}
],
"installation": [
@@ -399889,7 +399889,7 @@
"EnumeratorOfSubset",
{
"file": "/home/makx/ac/gap/lib/coll.gd",
- "line": 1850
+ "line": 1854
}
],
"installation": [
@@ -400232,7 +400232,7 @@
"EvalString",
{
"file": "/home/makx/ac/gap/lib/read1.g",
- "line": 15
+ "line": 16
}
],
"installation": [
@@ -401144,7 +401144,7 @@
"Filtered",
{
"file": "/home/makx/ac/gap/lib/coll.gd",
- "line": 2579
+ "line": 2583
}
],
"installation": [
@@ -401489,7 +401489,7 @@
"ForAll",
{
"file": "/home/makx/ac/gap/lib/coll.gd",
- "line": 2696
+ "line": 2700
}
],
"installation": [
@@ -401512,7 +401512,7 @@
"ForAny",
{
"file": "/home/makx/ac/gap/lib/coll.gd",
- "line": 2744
+ "line": 2748
}
],
"installation": [
@@ -404284,7 +404284,7 @@
"HideGlobalVariables",
{
"file": "/home/makx/ac/gap/lib/global.gi",
- "line": 298
+ "line": 299
}
]
},
@@ -407146,7 +407146,7 @@
"Intersection",
{
"file": "/home/makx/ac/gap/lib/coll.gd",
- "line": 3044
+ "line": 3048
}
],
"installation": [
@@ -408702,7 +408702,7 @@
"IteratorByFunctions",
{
"file": "/home/makx/ac/gap/lib/coll.gd",
- "line": 1324
+ "line": 1328
}
],
"installation": [
@@ -408929,7 +408929,7 @@
"JoinRanges",
{
"file": "/home/makx/ac/gap/lib/coll.gd",
- "line": 3254
+ "line": 3258
}
],
"installation": [
@@ -410015,7 +410015,7 @@
"List",
{
"file": "/home/makx/ac/gap/lib/coll.gd",
- "line": 2079
+ "line": 2083
}
],
"installation": [
@@ -410130,7 +410130,7 @@
"ListX",
{
"file": "/home/makx/ac/gap/lib/coll.gd",
- "line": 2851
+ "line": 2855
}
],
"installation": [
@@ -413526,7 +413526,7 @@
"Number",
{
"file": "/home/makx/ac/gap/lib/coll.gd",
- "line": 2650
+ "line": 2654
}
],
"installation": [
@@ -416209,7 +416209,7 @@
"Perform",
{
"file": "/home/makx/ac/gap/lib/coll.gd",
- "line": 2932
+ "line": 2936
}
],
"installation": [
@@ -418161,7 +418161,7 @@
"Product",
{
"file": "/home/makx/ac/gap/lib/coll.gd",
- "line": 2505
+ "line": 2509
}
],
"installation": [
@@ -418230,7 +418230,7 @@
"ProductX",
{
"file": "/home/makx/ac/gap/lib/coll.gd",
- "line": 2906
+ "line": 2910
}
],
"installation": [
@@ -418873,7 +418873,7 @@
"RandomList",
{
"file": "/home/makx/ac/gap/lib/coll.gd",
- "line": 1697
+ "line": 1701
}
],
"installation": [
@@ -422537,7 +422537,7 @@
"SetX",
{
"file": "/home/makx/ac/gap/lib/coll.gd",
- "line": 2869
+ "line": 2873
}
],
"installation": [
@@ -426092,7 +426092,7 @@
"Sum",
{
"file": "/home/makx/ac/gap/lib/coll.gd",
- "line": 2427
+ "line": 2431
}
],
"installation": [
@@ -426184,7 +426184,7 @@
"SumX",
{
"file": "/home/makx/ac/gap/lib/coll.gd",
- "line": 2887
+ "line": 2891
}
],
"installation": [
@@ -426510,7 +426510,7 @@
"TemporaryGlobalVarName",
{
"file": "/home/makx/ac/gap/lib/global.gi",
- "line": 266
+ "line": 267
}
]
},
@@ -427349,7 +427349,7 @@
"TrivialIterator",
{
"file": "/home/makx/ac/gap/lib/coll.gd",
- "line": 1262
+ "line": 1266
}
],
"installation": [
@@ -428670,7 +428670,7 @@
"UnhideGlobalVariables",
{
"file": "/home/makx/ac/gap/lib/global.gi",
- "line": 345
+ "line": 346
}
]
},
@@ -428686,7 +428686,7 @@
"Union",
{
"file": "/home/makx/ac/gap/lib/coll.gd",
- "line": 3103
+ "line": 3107
}
],
"installation": [
@@ -429673,6 +429673,10 @@
"Tester(RespectsAddition)",
"Tester(RespectsAdditiveInverses)"
],
+ "location": {
+ "file": "/home/makx/ac/gap/lib/mapphomo.gd",
+ "line": 335
+ },
"name": "((IsObject and Tester(RespectsAddition)) and Tester(RespectsAdditiveInverses))",
"type": "GAP_AndFilter"
},
@@ -429686,6 +429690,10 @@
"Tester(RespectsAddition)",
"Tester(RespectsAdditiveInverses)"
],
+ "location": {
+ "file": "/home/makx/ac/gap/lib/mapphomo.gd",
+ "line": 338
+ },
"name": "(((IsObject and Tester(RespectsAddition)) and Tester(RespectsAdditiveInverses)) and ((IsObject and Tester(IsTotal)) and Tester(IsSingleValued)))",
"type": "GAP_AndFilter"
},
@@ -429697,6 +429705,10 @@
"Tester(TransformsAdditionIntoMultiplication)",
"Tester(TransformsAdditiveInversesIntoInverses)"
],
+ "location": {
+ "file": "/home/makx/ac/gap/lib/mapphomo.gd",
+ "line": 945
+ },
"name": "((IsObject and Tester(TransformsAdditionIntoMultiplication)) and Tester(TransformsAdditiveInversesIntoInverses))",
"type": "GAP_AndFilter"
},
@@ -429710,6 +429722,10 @@
"Tester(TransformsAdditionIntoMultiplication)",
"Tester(TransformsAdditiveInversesIntoInverses)"
],
+ "location": {
+ "file": "/home/makx/ac/gap/lib/mapphomo.gd",
+ "line": 948
+ },
"name": "(((IsObject and Tester(TransformsAdditionIntoMultiplication)) and Tester(TransformsAdditiveInversesIntoInverses)) and ((IsObject and Tester(IsTotal)) and Tester(IsSingleValued)))",
"type": "GAP_AndFilter"
},
@@ -429723,6 +429739,10 @@
"Tester(RespectsAdditiveInverses)",
"Tester(RespectsScalarMultiplication)"
],
+ "location": {
+ "file": "/home/makx/ac/gap/lib/mapphomo.gd",
+ "line": 557
+ },
"name": "(((IsObject and Tester(RespectsMultiplication)) and ((IsObject and Tester(RespectsAddition)) and Tester(RespectsAdditiveInverses))) and (((IsObject and Tester(RespectsAddition)) and Tester(RespectsAdditiveInverses)) and Tester(RespectsScalarMultiplication)))",
"type": "GAP_AndFilter"
},
@@ -429738,6 +429758,10 @@
"Tester(RespectsAdditiveInverses)",
"Tester(RespectsScalarMultiplication)"
],
+ "location": {
+ "file": "/home/makx/ac/gap/lib/mapphomo.gd",
+ "line": 560
+ },
"name": "((((IsObject and Tester(RespectsMultiplication)) and ((IsObject and Tester(RespectsAddition)) and Tester(RespectsAdditiveInverses))) and (((IsObject and Tester(RespectsAddition)) and Tester(RespectsAdditiveInverses)) and Tester(RespectsScalarMultiplication))) and ((IsObject and Tester(IsTotal)) and Tester(IsSingleValued)))",
"type": "GAP_AndFilter"
},
@@ -429752,6 +429776,10 @@
"Tester(RespectsAdditiveInverses)",
"Tester(RespectsScalarMultiplication)"
],
+ "location": {
+ "file": "/home/makx/ac/gap/lib/mapphomo.gd",
+ "line": 586
+ },
"name": "((((IsObject and Tester(RespectsMultiplication)) and ((IsObject and Tester(RespectsAddition)) and Tester(RespectsAdditiveInverses))) and (((IsObject and Tester(RespectsAddition)) and Tester(RespectsAdditiveInverses)) and Tester(RespectsScalarMultiplication))) and Tester(RespectsOne))",
"type": "GAP_AndFilter"
},
@@ -429768,6 +429796,10 @@
"Tester(RespectsAdditiveInverses)",
"Tester(RespectsScalarMultiplication)"
],
+ "location": {
+ "file": "/home/makx/ac/gap/lib/mapphomo.gd",
+ "line": 589
+ },
"name": "(((((IsObject and Tester(RespectsMultiplication)) and ((IsObject and Tester(RespectsAddition)) and Tester(RespectsAdditiveInverses))) and (((IsObject and Tester(RespectsAddition)) and Tester(RespectsAdditiveInverses)) and Tester(RespectsScalarMultiplication))) and Tester(RespectsOne)) and ((IsObject and Tester(IsTotal)) and Tester(IsSingleValued)))",
"type": "GAP_AndFilter"
},
@@ -429781,6 +429813,10 @@
"Tester(IsInjective)",
"Tester(IsSurjective)"
],
+ "location": {
+ "file": "/home/makx/ac/gap/lib/mapping.gd",
+ "line": 526
+ },
"name": "(((Tester(IsSingleValued) and Tester(IsTotal)) and Tester(IsInjective)) and Tester(IsSurjective))",
"type": "GAP_AndFilter"
},
@@ -429792,6 +429828,10 @@
"Tester(IsEndoGeneralMapping)",
"Tester(IsConjugatorIsomorphism)"
],
+ "location": {
+ "file": "/home/makx/ac/gap/lib/ghom.gd",
+ "line": 503
+ },
"name": "(Tester(IsEndoGeneralMapping) and Tester(IsConjugatorIsomorphism))",
"type": "GAP_AndFilter"
},
@@ -429803,6 +429843,10 @@
"Tester(IsLDistributive)",
"Tester(IsRDistributive)"
],
+ "location": {
+ "file": "/home/makx/ac/gap/lib/semiring.gd",
+ "line": 93
+ },
"name": "(Tester(IsLDistributive) and Tester(IsRDistributive))",
"type": "GAP_AndFilter"
},
@@ -429818,6 +429862,10 @@
"Tester(IsLDistributive)",
"Tester(IsRDistributive)"
],
+ "location": {
+ "file": "/home/makx/ac/gap/lib/vspc.gd",
+ "line": 160
+ },
"name": "(((((IsObject and (((((IsObject and (IsObject and Tester(IsAdditivelyCommutative))) and IsObject) and IsObject) and ((((IsObject and (IsObject and Tester(IsAdditivelyCommutative))) and IsObject) and (Tester(IsLDistributive) and Tester(IsRDistributive))) and IsObject)) and IsObject)) and ((((((((IsObject and (IsObject and Tester(IsAdditivelyCommutative))) and IsObject) and IsObject) and IsObject) and IsObject) and IsObject) and IsObject) and Tester(IsLeftActedOnByDivisionRing))) and Tester(IsNonTrivial)) and Tester(IsAssociative)) and IsObject)",
"type": "GAP_AndFilter"
},
@@ -429828,6 +429876,10 @@
"conjunction_of": [
"Tester(IsDuplicateFree)"
],
+ "location": {
+ "file": "/home/makx/ac/gap/lib/list.gd",
+ "line": 551
+ },
"name": "(Tester(IsDuplicateFree) and IsObject)",
"type": "GAP_AndFilter"
},
@@ -429840,6 +429892,10 @@
"Tester(IsTotal)",
"Tester(IsSingleValued)"
],
+ "location": {
+ "file": "/home/makx/ac/gap/lib/mapping.gd",
+ "line": 459
+ },
"name": "(((IsObject and Tester(IsTotal)) and Tester(IsSingleValued)) and Tester(IsEndoGeneralMapping))",
"type": "GAP_AndFilter"
},
@@ -429856,6 +429912,10 @@
"Tester(IsLDistributive)",
"Tester(IsRDistributive)"
],
+ "location": {
+ "file": "/home/makx/ac/gap/lib/field.gd",
+ "line": 83
+ },
"name": "((((((IsObject and (((((IsObject and (IsObject and Tester(IsAdditivelyCommutative))) and IsObject) and IsObject) and ((((IsObject and (IsObject and Tester(IsAdditivelyCommutative))) and IsObject) and (Tester(IsLDistributive) and Tester(IsRDistributive))) and IsObject)) and IsObject)) and ((((((((IsObject and (IsObject and Tester(IsAdditivelyCommutative))) and IsObject) and IsObject) and IsObject) and IsObject) and IsObject) and IsObject) and Tester(IsLeftActedOnByDivisionRing))) and Tester(IsNonTrivial)) and Tester(IsAssociative)) and IsObject) and Tester(IsCommutative))",
"type": "GAP_AndFilter"
},
@@ -429867,6 +429927,10 @@
"Tester(RespectsMultiplication)",
"Tester(RespectsInverses)"
],
+ "location": {
+ "file": "/home/makx/ac/gap/lib/mapphomo.gd",
+ "line": 153
+ },
"name": "((IsObject and Tester(RespectsMultiplication)) and Tester(RespectsInverses))",
"type": "GAP_AndFilter"
},
@@ -429880,6 +429944,10 @@
"Tester(RespectsMultiplication)",
"Tester(RespectsInverses)"
],
+ "location": {
+ "file": "/home/makx/ac/gap/lib/mapphomo.gd",
+ "line": 156
+ },
"name": "(((IsObject and Tester(RespectsMultiplication)) and Tester(RespectsInverses)) and ((IsObject and Tester(IsTotal)) and Tester(IsSingleValued)))",
"type": "GAP_AndFilter"
},
@@ -429891,6 +429959,10 @@
"Tester(TransformsMultiplicationIntoAddition)",
"Tester(TransformsInversesIntoAdditiveInverses)"
],
+ "location": {
+ "file": "/home/makx/ac/gap/lib/mapphomo.gd",
+ "line": 821
+ },
"name": "((IsObject and Tester(TransformsMultiplicationIntoAddition)) and Tester(TransformsInversesIntoAdditiveInverses))",
"type": "GAP_AndFilter"
},
@@ -429904,6 +429976,10 @@
"Tester(TransformsMultiplicationIntoAddition)",
"Tester(TransformsInversesIntoAdditiveInverses)"
],
+ "location": {
+ "file": "/home/makx/ac/gap/lib/mapphomo.gd",
+ "line": 824
+ },
"name": "(((IsObject and Tester(TransformsMultiplicationIntoAddition)) and Tester(TransformsInversesIntoAdditiveInverses)) and ((IsObject and Tester(IsTotal)) and Tester(IsSingleValued)))",
"type": "GAP_AndFilter"
},
@@ -429916,6 +429992,10 @@
"Tester(RespectsAdditiveInverses)",
"Tester(RespectsScalarMultiplication)"
],
+ "location": {
+ "file": "/home/makx/ac/gap/lib/mapphomo.gd",
+ "line": 444
+ },
"name": "(((IsObject and Tester(RespectsAddition)) and Tester(RespectsAdditiveInverses)) and Tester(RespectsScalarMultiplication))",
"type": "GAP_AndFilter"
},
@@ -429930,6 +430010,10 @@
"Tester(RespectsAdditiveInverses)",
"Tester(RespectsScalarMultiplication)"
],
+ "location": {
+ "file": "/home/makx/ac/gap/lib/mapphomo.gd",
+ "line": 447
+ },
"name": "((((IsObject and Tester(RespectsAddition)) and Tester(RespectsAdditiveInverses)) and Tester(RespectsScalarMultiplication)) and ((IsObject and Tester(IsTotal)) and Tester(IsSingleValued)))",
"type": "GAP_AndFilter"
},
@@ -429945,6 +430029,10 @@
"Tester(IsJacobianRing)",
"Tester(IsZeroSquaredRing)"
],
+ "location": {
+ "file": "/home/makx/ac/gap/lib/algebra.gd",
+ "line": 182
+ },
"name": "(((((((((((IsObject and (IsObject and Tester(IsAdditivelyCommutative))) and IsObject) and IsObject) and IsObject) and IsObject) and IsObject) and IsObject) and Tester(IsLeftActedOnByDivisionRing)) and (((((IsObject and (IsObject and Tester(IsAdditivelyCommutative))) and IsObject) and IsObject) and (((IsObject and (IsObject and Tester(IsAdditivelyCommutative))) and IsObject) and (Tester(IsLDistributive) and Tester(IsRDistributive)))) and IsObject)) and Tester(IsZeroSquaredRing)) and Tester(IsJacobianRing))",
"type": "GAP_AndFilter"
},
@@ -429957,6 +430045,10 @@
"Tester(IsSingleValued)",
"Tester(RespectsMultiplication)"
],
+ "location": {
+ "file": "/home/makx/ac/gap/lib/mgmhom.gd",
+ "line": 29
+ },
"name": "(((IsObject and Tester(IsTotal)) and Tester(IsSingleValued)) and Tester(RespectsMultiplication))",
"type": "GAP_AndFilter"
},
@@ -429968,6 +430060,10 @@
"Tester(IsTotal)",
"Tester(IsSingleValued)"
],
+ "location": {
+ "file": "/home/makx/ac/gap/lib/mapping.gd",
+ "line": 442
+ },
"name": "((IsObject and Tester(IsTotal)) and Tester(IsSingleValued))",
"type": "GAP_AndFilter"
},
@@ -429978,6 +430074,10 @@
"conjunction_of": [
"Tester(IsAssociative)"
],
+ "location": {
+ "file": "/home/makx/ac/gap/lib/monoid.gd",
+ "line": 29
+ },
"name": "(IsObject and Tester(IsAssociative))",
"type": "GAP_AndFilter"
},
@@ -429989,6 +430089,10 @@
"Tester(IsAssociative)",
"Tester(IsRDistributive)"
],
+ "location": {
+ "file": "/home/makx/ac/gap/lib/ring.gd",
+ "line": 31
+ },
"name": "((IsObject and Tester(IsRDistributive)) and Tester(IsAssociative))",
"type": "GAP_AndFilter"
},
@@ -430000,6 +430104,10 @@
"Tester(IsAssociative)",
"Tester(IsRDistributive)"
],
+ "location": {
+ "file": "/home/makx/ac/gap/lib/ring.gd",
+ "line": 52
+ },
"name": "(((IsObject and Tester(IsRDistributive)) and Tester(IsAssociative)) and IsObject)",
"type": "GAP_AndFilter"
},
@@ -430010,6 +430118,10 @@
"conjunction_of": [
"Tester(IsAssociative)"
],
+ "location": {
+ "file": "/home/makx/ac/gap/lib/reesmat.gd",
+ "line": 49
+ },
"name": "((IsObject and Tester(IsAssociative)) and IsObject)",
"type": "GAP_AndFilter"
},
@@ -430020,6 +430132,10 @@
"conjunction_of": [
"Tester(IsAssociative)"
],
+ "location": {
+ "file": "/home/makx/ac/gap/lib/reesmat.gd",
+ "line": 51
+ },
"name": "((IsObject and Tester(IsAssociative)) and IsObject)",
"type": "GAP_AndFilter"
},
@@ -430032,6 +430148,10 @@
"Tester(IsLDistributive)",
"Tester(IsRDistributive)"
],
+ "location": {
+ "file": "/home/makx/ac/gap/lib/ring.gd",
+ "line": 95
+ },
"name": "(((IsObject and (IsObject and Tester(IsAdditivelyCommutative))) and IsObject) and (Tester(IsLDistributive) and Tester(IsRDistributive)))",
"type": "GAP_AndFilter"
},
@@ -430044,6 +430164,10 @@
"Tester(RespectsAddition)",
"Tester(RespectsAdditiveInverses)"
],
+ "location": {
+ "file": "/home/makx/ac/gap/lib/mapphomo.gd",
+ "line": 506
+ },
"name": "((IsObject and Tester(RespectsMultiplication)) and ((IsObject and Tester(RespectsAddition)) and Tester(RespectsAdditiveInverses)))",
"type": "GAP_AndFilter"
},
@@ -430058,6 +430182,10 @@
"Tester(RespectsAddition)",
"Tester(RespectsAdditiveInverses)"
],
+ "location": {
+ "file": "/home/makx/ac/gap/lib/mapphomo.gd",
+ "line": 509
+ },
"name": "(((IsObject and Tester(RespectsMultiplication)) and ((IsObject and Tester(RespectsAddition)) and Tester(RespectsAdditiveInverses))) and ((IsObject and Tester(IsTotal)) and Tester(IsSingleValued)))",
"type": "GAP_AndFilter"
},
@@ -430070,6 +430198,10 @@
"Tester(IsLDistributive)",
"Tester(IsRDistributive)"
],
+ "location": {
+ "file": "/home/makx/ac/gap/lib/ring.gd",
+ "line": 124
+ },
"name": "((((IsObject and (IsObject and Tester(IsAdditivelyCommutative))) and IsObject) and (Tester(IsLDistributive) and Tester(IsRDistributive))) and IsObject)",
"type": "GAP_AndFilter"
},
@@ -430083,6 +430215,10 @@
"Tester(RespectsAddition)",
"Tester(RespectsAdditiveInverses)"
],
+ "location": {
+ "file": "/home/makx/ac/gap/lib/mapphomo.gd",
+ "line": 528
+ },
"name": "(((IsObject and Tester(RespectsMultiplication)) and ((IsObject and Tester(RespectsAddition)) and Tester(RespectsAdditiveInverses))) and Tester(RespectsOne))",
"type": "GAP_AndFilter"
},
@@ -430098,6 +430234,10 @@
"Tester(RespectsAddition)",
"Tester(RespectsAdditiveInverses)"
],
+ "location": {
+ "file": "/home/makx/ac/gap/lib/mapphomo.gd",
+ "line": 531
+ },
"name": "((((IsObject and Tester(RespectsMultiplication)) and ((IsObject and Tester(RespectsAddition)) and Tester(RespectsAdditiveInverses))) and Tester(RespectsOne)) and ((IsObject and Tester(IsTotal)) and Tester(IsSingleValued)))",
"type": "GAP_AndFilter"
},
@@ -430108,6 +430248,10 @@
"conjunction_of": [
"Tester(IsAssociative)"
],
+ "location": {
+ "file": "/home/makx/ac/gap/lib/semigrp.gd",
+ "line": 30
+ },
"name": "(IsObject and Tester(IsAssociative))",
"type": "GAP_AndFilter"
},
@@ -430118,6 +430262,10 @@
"conjunction_of": [
"Tester(RespectsMultiplication)"
],
+ "location": {
+ "file": "/home/makx/ac/gap/lib/semirel.gd",
+ "line": 412
+ },
"name": "(IsObject and Tester(RespectsMultiplication))",
"type": "GAP_AndFilter"
},
@@ -430130,6 +430278,10 @@
"Tester(IsSingleValued)",
"Tester(RespectsMultiplication)"
],
+ "location": {
+ "file": "/home/makx/ac/gap/lib/semirel.gd",
+ "line": 415
+ },
"name": "((IsObject and Tester(RespectsMultiplication)) and ((IsObject and Tester(IsTotal)) and Tester(IsSingleValued)))",
"type": "GAP_AndFilter"
},
@@ -430142,6 +430294,10 @@
"Tester(IsLDistributive)",
"Tester(IsRDistributive)"
],
+ "location": {
+ "file": "/home/makx/ac/gap/lib/semiring.gd",
+ "line": 117
+ },
"name": "(((IsObject and Tester(IsAdditivelyCommutative)) and IsObject) and (Tester(IsLDistributive) and Tester(IsRDistributive)))",
"type": "GAP_AndFilter"
},
@@ -430154,6 +430310,10 @@
"Tester(IsLDistributive)",
"Tester(IsRDistributive)"
],
+ "location": {
+ "file": "/home/makx/ac/gap/lib/semiring.gd",
+ "line": 137
+ },
"name": "(((IsObject and Tester(IsAdditivelyCommutative)) and IsObject) and (Tester(IsLDistributive) and Tester(IsRDistributive)))",
"type": "GAP_AndFilter"
},
@@ -430166,6 +430326,10 @@
"Tester(IsLDistributive)",
"Tester(IsRDistributive)"
],
+ "location": {
+ "file": "/home/makx/ac/gap/lib/semiring.gd",
+ "line": 172
+ },
"name": "(((IsObject and (IsObject and Tester(IsAdditivelyCommutative))) and IsObject) and (Tester(IsLDistributive) and Tester(IsRDistributive)))",
"type": "GAP_AndFilter"
},
@@ -430178,6 +430342,10 @@
"Tester(IsLDistributive)",
"Tester(IsRDistributive)"
],
+ "location": {
+ "file": "/home/makx/ac/gap/lib/semiring.gd",
+ "line": 157
+ },
"name": "(((IsObject and (IsObject and Tester(IsAdditivelyCommutative))) and IsObject) and (Tester(IsLDistributive) and Tester(IsRDistributive)))",
"type": "GAP_AndFilter"
},
@@ -430188,6 +430356,10 @@
"conjunction_of": [
"Tester(IsAssociative)"
],
+ "location": {
+ "file": "/home/makx/ac/gap/lib/fpmon.gd",
+ "line": 69
+ },
"name": "((IsObject and Tester(IsAssociative)) and IsObject)",
"type": "GAP_AndFilter"
},
@@ -430198,6 +430370,10 @@
"conjunction_of": [
"Tester(IsAssociative)"
],
+ "location": {
+ "file": "/home/makx/ac/gap/lib/fpsemi.gd",
+ "line": 83
+ },
"name": "((IsObject and Tester(IsAssociative)) and IsObject)",
"type": "GAP_AndFilter"
},
@@ -430209,6 +430385,10 @@
"Tester(IsPolynomial)",
"Tester(IsUnivariateRationalFunction)"
],
+ "location": {
+ "file": "/home/makx/ac/gap/lib/ratfun.gd",
+ "line": 314
+ },
"name": "(Tester(IsPolynomial) and Tester(IsUnivariateRationalFunction))",
"type": "GAP_AndFilter"
},
@@ -430219,6 +430399,10 @@
"conjunction_of": [
"Tester(IsZero)"
],
+ "location": {
+ "file": "/home/makx/ac/gap/lib/ratfun.gd",
+ "line": 371
+ },
"name": "(Tester(IsZero) and IsObject)",
"type": "GAP_AndFilter"
},
@@ -430240,6 +430424,10 @@
"Tester(IsFieldHomomorphism)",
"IsANFAutomorphismRep"
],
+ "location": {
+ "file": "/home/makx/ac/gap/lib/fldabnum.gi",
+ "line": 1779
+ },
"name": "(((IsANFAutomorphismRep and IsFieldHomomorphism) and ((IsGeneralMapping and IsTotal) and IsSingleValued)) and (((IsSingleValued and IsTotal) and IsInjective) and IsSurjective))",
"type": "GAP_AndFilter"
},
@@ -430251,6 +430439,10 @@
"IsList",
"CategoryCollections(IsAdditiveElement)"
],
+ "location": {
+ "file": "/home/makx/ac/gap/lib/arith.gd",
+ "line": 173
+ },
"name": "(CategoryCollections(IsAdditiveElement) and IsList)",
"type": "GAP_AndFilter"
},
@@ -430262,6 +430454,10 @@
"IsTable",
"CategoryCollections(CategoryCollections(IsAdditiveElement))"
],
+ "location": {
+ "file": "/home/makx/ac/gap/lib/arith.gd",
+ "line": 175
+ },
"name": "(CategoryCollections(CategoryCollections(IsAdditiveElement)) and IsTable)",
"type": "GAP_AndFilter"
},
@@ -430273,6 +430469,10 @@
"IsNearAdditiveElementWithInverse",
"IsAdditiveElement"
],
+ "location": {
+ "file": "/home/makx/ac/gap/lib/arith.gd",
+ "line": 244
+ },
"name": "(IsNearAdditiveElementWithInverse and IsAdditiveElement)",
"type": "GAP_AndFilter"
},
@@ -430284,6 +430484,10 @@
"CategoryCollections(CategoryCollections(IsNearAdditiveElementWithInverse))",
"CategoryCollections(CategoryCollections(IsAdditiveElement))"
],
+ "location": {
+ "file": "/home/makx/ac/gap/lib/arith.gd",
+ "line": 250
+ },
"name": "(CategoryCollections(CategoryCollections(IsNearAdditiveElementWithInverse)) and CategoryCollections(CategoryCollections(IsAdditiveElement)))",
"type": "GAP_AndFilter"
},
@@ -430295,6 +430499,10 @@
"CategoryCollections(CategoryCollections(CategoryCollections(IsNearAdditiveElementWithInverse)))",
"CategoryCollections(CategoryCollections(CategoryCollections(IsAdditiveElement)))"
],
+ "location": {
+ "file": "/home/makx/ac/gap/lib/arith.gd",
+ "line": 253
+ },
"name": "(CategoryCollections(CategoryCollections(CategoryCollections(IsNearAdditiveElementWithInverse))) and CategoryCollections(CategoryCollections(CategoryCollections(IsAdditiveElement))))",
"type": "GAP_AndFilter"
},
@@ -430306,6 +430514,10 @@
"CategoryCollections(IsNearAdditiveElementWithInverse)",
"CategoryCollections(IsAdditiveElement)"
],
+ "location": {
+ "file": "/home/makx/ac/gap/lib/arith.gd",
+ "line": 247
+ },
"name": "(CategoryCollections(IsNearAdditiveElementWithInverse) and CategoryCollections(IsAdditiveElement))",
"type": "GAP_AndFilter"
},
@@ -430318,6 +430530,10 @@
"CategoryCollections(IsNearAdditiveElementWithInverse)",
"CategoryCollections(IsAdditiveElement)"
],
+ "location": {
+ "file": "/home/makx/ac/gap/lib/arith.gd",
+ "line": 256
+ },
"name": "((CategoryCollections(IsNearAdditiveElementWithInverse) and CategoryCollections(IsAdditiveElement)) and IsList)",
"type": "GAP_AndFilter"
},
@@ -430330,6 +430546,10 @@
"CategoryCollections(CategoryCollections(IsNearAdditiveElementWithInverse))",
"CategoryCollections(CategoryCollections(IsAdditiveElement))"
],
+ "location": {
+ "file": "/home/makx/ac/gap/lib/arith.gd",
+ "line": 258
+ },
"name": "((CategoryCollections(CategoryCollections(IsNearAdditiveElementWithInverse)) and CategoryCollections(CategoryCollections(IsAdditiveElement))) and IsTable)",
"type": "GAP_AndFilter"
},
@@ -430341,6 +430561,10 @@
"IsNearAdditiveElementWithZero",
"IsAdditiveElement"
],
+ "location": {
+ "file": "/home/makx/ac/gap/lib/arith.gd",
+ "line": 201
+ },
"name": "(IsNearAdditiveElementWithZero and IsAdditiveElement)",
"type": "GAP_AndFilter"
},
@@ -430352,6 +430576,10 @@
"CategoryCollections(CategoryCollections(IsNearAdditiveElementWithZero))",
"CategoryCollections(CategoryCollections(IsAdditiveElement))"
],
+ "location": {
+ "file": "/home/makx/ac/gap/lib/arith.gd",
+ "line": 207
+ },
"name": "(CategoryCollections(CategoryCollections(IsNearAdditiveElementWithZero)) and CategoryCollections(CategoryCollections(IsAdditiveElement)))",
"type": "GAP_AndFilter"
},
@@ -430363,6 +430591,10 @@
"CategoryCollections(CategoryCollections(CategoryCollections(IsNearAdditiveElementWithZero)))",
"CategoryCollections(CategoryCollections(CategoryCollections(IsAdditiveElement)))"
],
+ "location": {
+ "file": "/home/makx/ac/gap/lib/arith.gd",
+ "line": 210
+ },
"name": "(CategoryCollections(CategoryCollections(CategoryCollections(IsNearAdditiveElementWithZero))) and CategoryCollections(CategoryCollections(CategoryCollections(IsAdditiveElement))))",
"type": "GAP_AndFilter"
},
@@ -430374,6 +430606,10 @@
"CategoryCollections(IsNearAdditiveElementWithZero)",
"CategoryCollections(IsAdditiveElement)"
],
+ "location": {
+ "file": "/home/makx/ac/gap/lib/arith.gd",
+ "line": 204
+ },
"name": "(CategoryCollections(IsNearAdditiveElementWithZero) and CategoryCollections(IsAdditiveElement))",
"type": "GAP_AndFilter"
},
@@ -430386,6 +430622,10 @@
"CategoryCollections(IsNearAdditiveElementWithZero)",
"CategoryCollections(IsAdditiveElement)"
],
+ "location": {
+ "file": "/home/makx/ac/gap/lib/arith.gd",
+ "line": 213
+ },
"name": "((CategoryCollections(IsNearAdditiveElementWithZero) and CategoryCollections(IsAdditiveElement)) and IsList)",
"type": "GAP_AndFilter"
},
@@ -430398,6 +430638,10 @@
"CategoryCollections(CategoryCollections(IsNearAdditiveElementWithZero))",
"CategoryCollections(CategoryCollections(IsAdditiveElement))"
],
+ "location": {
+ "file": "/home/makx/ac/gap/lib/arith.gd",
+ "line": 215
+ },
"name": "((CategoryCollections(CategoryCollections(IsNearAdditiveElementWithZero)) and CategoryCollections(CategoryCollections(IsAdditiveElement))) and IsTable)",
"type": "GAP_AndFilter"
},
@@ -430412,6 +430656,10 @@
"IsAdditivelyCommutative",
"Tester(IsAdditivelyCommutative)"
],
+ "location": {
+ "file": "/home/makx/ac/gap/lib/addmagma.gd",
+ "line": 244
+ },
"name": "(IsNearAdditiveGroup and (IsNearAdditiveMagma and IsAdditivelyCommutative))",
"type": "GAP_AndFilter"
},
@@ -430426,6 +430674,10 @@
"RespectsAdditiveInverses",
"Tester(RespectsAdditiveInverses)"
],
+ "location": {
+ "file": "/home/makx/ac/gap/lib/mapphomo.gd",
+ "line": 335
+ },
"name": "((IsGeneralMapping and RespectsAddition) and RespectsAdditiveInverses)",
"type": "GAP_AndFilter"
},
@@ -430444,6 +430696,10 @@
"RespectsAdditiveInverses",
"Tester(RespectsAdditiveInverses)"
],
+ "location": {
+ "file": "/home/makx/ac/gap/lib/mapphomo.gd",
+ "line": 338
+ },
"name": "(((IsGeneralMapping and RespectsAddition) and RespectsAdditiveInverses) and ((IsGeneralMapping and IsTotal) and IsSingleValued))",
"type": "GAP_AndFilter"
},
@@ -430458,6 +430714,10 @@
"TransformsAdditiveInversesIntoInverses",
"Tester(TransformsAdditiveInversesIntoInverses)"
],
+ "location": {
+ "file": "/home/makx/ac/gap/lib/mapphomo.gd",
+ "line": 945
+ },
"name": "((IsGeneralMapping and TransformsAdditionIntoMultiplication) and TransformsAdditiveInversesIntoInverses)",
"type": "GAP_AndFilter"
},
@@ -430476,6 +430736,10 @@
"TransformsAdditiveInversesIntoInverses",
"Tester(TransformsAdditiveInversesIntoInverses)"
],
+ "location": {
+ "file": "/home/makx/ac/gap/lib/mapphomo.gd",
+ "line": 948
+ },
"name": "(((IsGeneralMapping and TransformsAdditionIntoMultiplication) and TransformsAdditiveInversesIntoInverses) and ((IsGeneralMapping and IsTotal) and IsSingleValued))",
"type": "GAP_AndFilter"
},
@@ -430488,6 +430752,10 @@
"IsAdditivelyCommutative",
"Tester(IsAdditivelyCommutative)"
],
+ "location": {
+ "file": "/home/makx/ac/gap/lib/addmagma.gd",
+ "line": 174
+ },
"name": "(IsNearAdditiveMagma and IsAdditivelyCommutative)",
"type": "GAP_AndFilter"
},
@@ -430501,6 +430769,10 @@
"IsAdditivelyCommutative",
"Tester(IsAdditivelyCommutative)"
],
+ "location": {
+ "file": "/home/makx/ac/gap/lib/addmagma.gd",
+ "line": 208
+ },
"name": "(IsNearAdditiveMagmaWithZero and (IsNearAdditiveMagma and IsAdditivelyCommutative))",
"type": "GAP_AndFilter"
},
@@ -430528,6 +430800,10 @@
"IsRDistributive",
"Tester(IsRDistributive)"
],
+ "location": {
+ "file": "/home/makx/ac/gap/lib/algebra.gd",
+ "line": 129
+ },
"name": "(((((((((IsNearAdditiveGroup and (IsNearAdditiveMagma and IsAdditivelyCommutative)) and IsExtLSet) and IsDistributiveLOpDSum) and IsLeftActedOnByRing) and IsDistributiveLOpESum) and IsAssociativeLOpEProd) and IsTrivialLOpEOne) and IsLeftActedOnByDivisionRing) and (((((IsNearAdditiveGroup and (IsNearAdditiveMagma and IsAdditivelyCommutative)) and IsExtLSet) and IsDistributiveLOpDSum) and (((IsNearAdditiveGroup and (IsNearAdditiveMagma and IsAdditivelyCommutative)) and IsMagma) and (IsLDistributive and IsRDistributive))) and IsAssociativeLOpDProd))",
"type": "GAP_AndFilter"
},
@@ -430546,6 +430822,10 @@
"RespectsScalarMultiplication",
"Tester(RespectsScalarMultiplication)"
],
+ "location": {
+ "file": "/home/makx/ac/gap/lib/mapphomo.gd",
+ "line": 557
+ },
"name": "(((IsGeneralMapping and RespectsMultiplication) and ((IsGeneralMapping and RespectsAddition) and RespectsAdditiveInverses)) and (((IsGeneralMapping and RespectsAddition) and RespectsAdditiveInverses) and RespectsScalarMultiplication))",
"type": "GAP_AndFilter"
},
@@ -430568,6 +430848,10 @@
"RespectsScalarMultiplication",
"Tester(RespectsScalarMultiplication)"
],
+ "location": {
+ "file": "/home/makx/ac/gap/lib/mapphomo.gd",
+ "line": 560
+ },
"name": "((((IsGeneralMapping and RespectsMultiplication) and ((IsGeneralMapping and RespectsAddition) and RespectsAdditiveInverses)) and (((IsGeneralMapping and RespectsAddition) and RespectsAdditiveInverses) and RespectsScalarMultiplication)) and ((IsGeneralMapping and IsTotal) and IsSingleValued))",
"type": "GAP_AndFilter"
},
@@ -430596,6 +430880,10 @@
"IsRDistributive",
"Tester(IsRDistributive)"
],
+ "location": {
+ "file": "/home/makx/ac/gap/lib/algebra.gd",
+ "line": 156
+ },
"name": "(((((((((IsNearAdditiveGroup and (IsNearAdditiveMagma and IsAdditivelyCommutative)) and IsExtLSet) and IsDistributiveLOpDSum) and IsLeftActedOnByRing) and IsDistributiveLOpESum) and IsAssociativeLOpEProd) and IsTrivialLOpEOne) and IsLeftActedOnByDivisionRing) and (((((IsNearAdditiveGroup and (IsNearAdditiveMagma and IsAdditivelyCommutative)) and IsExtLSet) and IsDistributiveLOpDSum) and ((((IsNearAdditiveGroup and (IsNearAdditiveMagma and IsAdditivelyCommutative)) and IsMagma) and (IsLDistributive and IsRDistributive)) and IsMagmaWithOne)) and IsAssociativeLOpDProd))",
"type": "GAP_AndFilter"
},
@@ -430616,6 +430904,10 @@
"RespectsScalarMultiplication",
"Tester(RespectsScalarMultiplication)"
],
+ "location": {
+ "file": "/home/makx/ac/gap/lib/mapphomo.gd",
+ "line": 586
+ },
"name": "((((IsGeneralMapping and RespectsMultiplication) and ((IsGeneralMapping and RespectsAddition) and RespectsAdditiveInverses)) and (((IsGeneralMapping and RespectsAddition) and RespectsAdditiveInverses) and RespectsScalarMultiplication)) and RespectsOne)",
"type": "GAP_AndFilter"
},
@@ -430640,6 +430932,10 @@
"RespectsScalarMultiplication",
"Tester(RespectsScalarMultiplication)"
],
+ "location": {
+ "file": "/home/makx/ac/gap/lib/mapphomo.gd",
+ "line": 589
+ },
"name": "(((((IsGeneralMapping and RespectsMultiplication) and ((IsGeneralMapping and RespectsAddition) and RespectsAdditiveInverses)) and (((IsGeneralMapping and RespectsAddition) and RespectsAdditiveInverses) and RespectsScalarMultiplication)) and RespectsOne) and ((IsGeneralMapping and IsTotal) and IsSingleValued))",
"type": "GAP_AndFilter"
},
@@ -430651,6 +430947,10 @@
"IsAssociativeElement",
"IsWord"
],
+ "location": {
+ "file": "/home/makx/ac/gap/lib/wordass.gd",
+ "line": 109
+ },
"name": "(IsWord and IsAssociativeElement)",
"type": "GAP_AndFilter"
},
@@ -430664,6 +430964,10 @@
"IsAssociativeElement",
"IsWord"
],
+ "location": {
+ "file": "/home/makx/ac/gap/lib/wordass.gd",
+ "line": 114
+ },
"name": "((IsWord and IsAssociativeElement) and (IsWord and IsMultiplicativeElementWithInverse))",
"type": "GAP_AndFilter"
},
@@ -430676,6 +430980,10 @@
"IsAssociativeElement",
"IsWord"
],
+ "location": {
+ "file": "/home/makx/ac/gap/lib/wordass.gd",
+ "line": 111
+ },
"name": "((IsWord and IsAssociativeElement) and (IsWord and IsMultiplicativeElementWithOne))",
"type": "GAP_AndFilter"
},
@@ -430693,6 +431001,10 @@
"IsSurjective",
"Tester(IsSurjective)"
],
+ "location": {
+ "file": "/home/makx/ac/gap/lib/mapping.gd",
+ "line": 526
+ },
"name": "(((IsSingleValued and IsTotal) and IsInjective) and IsSurjective)",
"type": "GAP_AndFilter"
},
@@ -430706,6 +431018,10 @@
"IsConjugatorIsomorphism",
"Tester(IsConjugatorIsomorphism)"
],
+ "location": {
+ "file": "/home/makx/ac/gap/lib/ghom.gd",
+ "line": 503
+ },
"name": "(IsEndoGeneralMapping and IsConjugatorIsomorphism)",
"type": "GAP_AndFilter"
},
@@ -430722,6 +431038,10 @@
"IsAssociative",
"Tester(IsAssociative)"
],
+ "location": {
+ "file": "/home/makx/ac/gap/lib/grpramat.gd",
+ "line": 27
+ },
"name": "(CategoryCollections(CategoryCollections(CategoryCollections(IsCyclotomic))) and (((CategoryCollections(CategoryCollections(CategoryCollections(IsNearAdditiveElementWithInverse))) and CategoryCollections(CategoryCollections(CategoryCollections(IsAdditiveElement)))) and CategoryCollections(CategoryCollections(CategoryCollections(IsMultiplicativeElement)))) and (IsMagmaWithInverses and IsAssociative)))",
"type": "GAP_AndFilter"
},
@@ -430735,6 +431055,10 @@
"IsRDistributive",
"Tester(IsRDistributive)"
],
+ "location": {
+ "file": "/home/makx/ac/gap/lib/semiring.gd",
+ "line": 93
+ },
"name": "(IsLDistributive and IsRDistributive)",
"type": "GAP_AndFilter"
},
@@ -430769,6 +431093,10 @@
"Tester(IsRDistributive)",
"IsEuclideanRing"
],
+ "location": {
+ "file": "/home/makx/ac/gap/lib/vspc.gd",
+ "line": 160
+ },
"name": "(((((IsMagmaWithInversesIfNonzero and (((((IsNearAdditiveGroup and (IsNearAdditiveMagma and IsAdditivelyCommutative)) and IsExtLSet) and IsDistributiveLOpDSum) and ((((IsNearAdditiveGroup and (IsNearAdditiveMagma and IsAdditivelyCommutative)) and IsMagma) and (IsLDistributive and IsRDistributive)) and IsMagmaWithOne)) and IsAssociativeLOpDProd)) and ((((((((IsNearAdditiveGroup and (IsNearAdditiveMagma and IsAdditivelyCommutative)) and IsExtLSet) and IsDistributiveLOpDSum) and IsLeftActedOnByRing) and IsDistributiveLOpESum) and IsAssociativeLOpEProd) and IsTrivialLOpEOne) and IsLeftActedOnByDivisionRing)) and IsNonTrivial) and IsAssociative) and IsEuclideanRing)",
"type": "GAP_AndFilter"
},
@@ -430780,6 +431108,10 @@
"IsCollection",
"IsGeneralizedDomain"
],
+ "location": {
+ "file": "/home/makx/ac/gap/lib/domain.gd",
+ "line": 126
+ },
"name": "(IsGeneralizedDomain and IsCollection)",
"type": "GAP_AndFilter"
},
@@ -430792,6 +431124,10 @@
"IsDuplicateFree",
"Tester(IsDuplicateFree)"
],
+ "location": {
+ "file": "/home/makx/ac/gap/lib/list.gd",
+ "line": 2253
+ },
"name": "(IsCollection and IsDuplicateFree)",
"type": "GAP_AndFilter"
},
@@ -430804,6 +431140,10 @@
"IsDuplicateFree",
"Tester(IsDuplicateFree)"
],
+ "location": {
+ "file": "/home/makx/ac/gap/lib/list.gd",
+ "line": 551
+ },
"name": "(IsDuplicateFree and IsList)",
"type": "GAP_AndFilter"
},
@@ -430820,6 +431160,10 @@
"IsSingleValued",
"Tester(IsSingleValued)"
],
+ "location": {
+ "file": "/home/makx/ac/gap/lib/mapping.gd",
+ "line": 459
+ },
"name": "(((IsGeneralMapping and IsTotal) and IsSingleValued) and IsEndoGeneralMapping)",
"type": "GAP_AndFilter"
},
@@ -430834,6 +431178,10 @@
"Tester(IsDuplicateFree)",
"IsEnumeratorByFunctionsRep"
],
+ "location": {
+ "file": "/home/makx/ac/gap/lib/coll.gi",
+ "line": 399
+ },
"name": "((IsEnumeratorByFunctionsRep and IsDenseList) and (IsDuplicateFree and IsList))",
"type": "GAP_AndFilter"
},
@@ -430845,6 +431193,10 @@
"IsList",
"CategoryCollections(IsExtAElement)"
],
+ "location": {
+ "file": "/home/makx/ac/gap/lib/arith.gd",
+ "line": 45
+ },
"name": "(CategoryCollections(IsExtAElement) and IsList)",
"type": "GAP_AndFilter"
},
@@ -430856,6 +431208,10 @@
"IsTable",
"CategoryCollections(CategoryCollections(IsExtAElement))"
],
+ "location": {
+ "file": "/home/makx/ac/gap/lib/arith.gd",
+ "line": 47
+ },
"name": "(CategoryCollections(CategoryCollections(IsExtAElement)) and IsTable)",
"type": "GAP_AndFilter"
},
@@ -430867,6 +431223,10 @@
"IsList",
"CategoryCollections(IsExtLElement)"
],
+ "location": {
+ "file": "/home/makx/ac/gap/lib/arith.gd",
+ "line": 287
+ },
"name": "(CategoryCollections(IsExtLElement) and IsList)",
"type": "GAP_AndFilter"
},
@@ -430878,6 +431238,10 @@
"IsTable",
"CategoryCollections(CategoryCollections(IsExtLElement))"
],
+ "location": {
+ "file": "/home/makx/ac/gap/lib/arith.gd",
+ "line": 289
+ },
"name": "(CategoryCollections(CategoryCollections(IsExtLElement)) and IsTable)",
"type": "GAP_AndFilter"
},
@@ -430889,6 +431253,10 @@
"IsList",
"CategoryCollections(IsExtRElement)"
],
+ "location": {
+ "file": "/home/makx/ac/gap/lib/arith.gd",
+ "line": 315
+ },
"name": "(CategoryCollections(IsExtRElement) and IsList)",
"type": "GAP_AndFilter"
},
@@ -430900,6 +431268,10 @@
"IsTable",
"CategoryCollections(CategoryCollections(IsExtRElement))"
],
+ "location": {
+ "file": "/home/makx/ac/gap/lib/arith.gd",
+ "line": 317
+ },
"name": "(CategoryCollections(CategoryCollections(IsExtRElement)) and IsTable)",
"type": "GAP_AndFilter"
},
@@ -430916,6 +431288,10 @@
"IsAssociative",
"Tester(IsAssociative)"
],
+ "location": {
+ "file": "/home/makx/ac/gap/lib/grpffmat.gd",
+ "line": 28
+ },
"name": "(CategoryCollections(CategoryCollections(CategoryCollections(IsFFE))) and (((CategoryCollections(CategoryCollections(CategoryCollections(IsNearAdditiveElementWithInverse))) and CategoryCollections(CategoryCollections(CategoryCollections(IsAdditiveElement)))) and CategoryCollections(CategoryCollections(CategoryCollections(IsMultiplicativeElement)))) and (IsMagmaWithInverses and IsAssociative)))",
"type": "GAP_AndFilter"
},
@@ -430938,6 +431314,10 @@
"Tester(IsRDistributive)",
"IsFreeLeftModule"
],
+ "location": {
+ "file": "/home/makx/ac/gap/lib/algebra.gd",
+ "line": 74
+ },
"name": "(IsFreeLeftModule and (((((IsNearAdditiveGroup and (IsNearAdditiveMagma and IsAdditivelyCommutative)) and IsExtLSet) and IsDistributiveLOpDSum) and (((IsNearAdditiveGroup and (IsNearAdditiveMagma and IsAdditivelyCommutative)) and IsMagma) and (IsLDistributive and IsRDistributive))) and IsAssociativeLOpDProd))",
"type": "GAP_AndFilter"
},
@@ -430961,6 +431341,10 @@
"Tester(IsRDistributive)",
"IsFreeLeftModule"
],
+ "location": {
+ "file": "/home/makx/ac/gap/lib/algebra.gd",
+ "line": 105
+ },
"name": "(IsFreeLeftModule and (((((IsNearAdditiveGroup and (IsNearAdditiveMagma and IsAdditivelyCommutative)) and IsExtLSet) and IsDistributiveLOpDSum) and ((((IsNearAdditiveGroup and (IsNearAdditiveMagma and IsAdditivelyCommutative)) and IsMagma) and (IsLDistributive and IsRDistributive)) and IsMagmaWithOne)) and IsAssociativeLOpDProd))",
"type": "GAP_AndFilter"
},
@@ -430997,6 +431381,10 @@
"Tester(IsRDistributive)",
"IsEuclideanRing"
],
+ "location": {
+ "file": "/home/makx/ac/gap/lib/field.gd",
+ "line": 83
+ },
"name": "((((((IsMagmaWithInversesIfNonzero and (((((IsNearAdditiveGroup and (IsNearAdditiveMagma and IsAdditivelyCommutative)) and IsExtLSet) and IsDistributiveLOpDSum) and ((((IsNearAdditiveGroup and (IsNearAdditiveMagma and IsAdditivelyCommutative)) and IsMagma) and (IsLDistributive and IsRDistributive)) and IsMagmaWithOne)) and IsAssociativeLOpDProd)) and ((((((((IsNearAdditiveGroup and (IsNearAdditiveMagma and IsAdditivelyCommutative)) and IsExtLSet) and IsDistributiveLOpDSum) and IsLeftActedOnByRing) and IsDistributiveLOpESum) and IsAssociativeLOpEProd) and IsTrivialLOpEOne) and IsLeftActedOnByDivisionRing)) and IsNonTrivial) and IsAssociative) and IsEuclideanRing) and IsCommutative)",
"type": "GAP_AndFilter"
},
@@ -431009,6 +431397,10 @@
"IsListDefault",
"IsBasis"
],
+ "location": {
+ "file": "/home/makx/ac/gap/lib/basis.gd",
+ "line": 130
+ },
"name": "((IsBasis and IsCopyable) and IsListDefault)",
"type": "GAP_AndFilter"
},
@@ -431021,6 +431413,10 @@
"Tester(IsPolynomial)",
"IsFloatRationalFunction"
],
+ "location": {
+ "file": "/home/makx/ac/gap/lib/float.gi",
+ "line": 21
+ },
"name": "(IsFloatRationalFunction and IsPolynomial)",
"type": "GAP_AndFilter"
},
@@ -431035,6 +431431,10 @@
"Tester(IsUnivariateRationalFunction)",
"IsFloatRationalFunction"
],
+ "location": {
+ "file": "/home/makx/ac/gap/lib/float.gi",
+ "line": 22
+ },
"name": "(IsFloatRationalFunction and (IsPolynomial and IsUnivariateRationalFunction))",
"type": "GAP_AndFilter"
},
@@ -431046,6 +431446,10 @@
"IsGroupOfFamily",
"IsSubgroupFpGroup"
],
+ "location": {
+ "file": "/home/makx/ac/gap/lib/grpfp.gd",
+ "line": 246
+ },
"name": "(IsSubgroupFpGroup and IsGroupOfFamily)",
"type": "GAP_AndFilter"
},
@@ -431061,6 +431465,10 @@
"Tester(IsAssociative)",
"CategoryCollections(IsElementOfFpMonoid)"
],
+ "location": {
+ "file": "/home/makx/ac/gap/lib/fpmon.gd",
+ "line": 149
+ },
"name": "(((IsMagmaWithOne and IsAssociative) and CategoryCollections(IsElementOfFpMonoid)) and IsWholeFamily)",
"type": "GAP_AndFilter"
},
@@ -431076,6 +431484,10 @@
"Tester(IsAssociative)",
"CategoryCollections(IsElementOfFpSemigroup)"
],
+ "location": {
+ "file": "/home/makx/ac/gap/lib/fpsemi.gd",
+ "line": 167
+ },
"name": "(((IsMagma and IsAssociative) and CategoryCollections(IsElementOfFpSemigroup)) and IsWholeFamily)",
"type": "GAP_AndFilter"
},
@@ -431089,6 +431501,10 @@
"Tester(IsAssociative)",
"CategoryCollections(((IsWord and IsAssociativeElement) and (IsWord and IsMultiplicativeElementWithInverse)))"
],
+ "location": {
+ "file": "/home/makx/ac/gap/lib/wordass.gd",
+ "line": 317
+ },
"name": "(CategoryCollections(((IsWord and IsAssociativeElement) and (IsWord and IsMultiplicativeElementWithInverse))) and (IsMagmaWithInverses and IsAssociative))",
"type": "GAP_AndFilter"
},
@@ -431100,6 +431516,10 @@
"IsMagma",
"CategoryCollections(IsNonassocWord)"
],
+ "location": {
+ "file": "/home/makx/ac/gap/lib/word.gd",
+ "line": 419
+ },
"name": "(CategoryCollections(IsNonassocWord) and IsMagma)",
"type": "GAP_AndFilter"
},
@@ -431111,6 +431531,10 @@
"IsMagmaWithOne",
"IsFreeMagmaRing"
],
+ "location": {
+ "file": "/home/makx/ac/gap/lib/mgmring.gd",
+ "line": 486
+ },
"name": "(IsFreeMagmaRing and IsMagmaWithOne)",
"type": "GAP_AndFilter"
},
@@ -431126,6 +431550,10 @@
"Tester(IsSingleValued)",
"IsFromFpGroupGeneralMapping"
],
+ "location": {
+ "file": "/home/makx/ac/gap/lib/ghomfp.gd",
+ "line": 28
+ },
"name": "(IsFromFpGroupGeneralMapping and ((IsGeneralMapping and IsTotal) and IsSingleValued))",
"type": "GAP_AndFilter"
},
@@ -431141,6 +431569,10 @@
"Tester(IsSingleValued)",
"IsFromFpGroupGeneralMappingByImages"
],
+ "location": {
+ "file": "/home/makx/ac/gap/lib/ghomfp.gd",
+ "line": 52
+ },
"name": "(IsFromFpGroupGeneralMappingByImages and ((IsGeneralMapping and IsTotal) and IsSingleValued))",
"type": "GAP_AndFilter"
},
@@ -431156,6 +431588,10 @@
"Tester(IsSingleValued)",
"IsFromFpGroupStdGensGeneralMappingByImages"
],
+ "location": {
+ "file": "/home/makx/ac/gap/lib/ghomfp.gd",
+ "line": 76
+ },
"name": "(IsFromFpGroupStdGensGeneralMappingByImages and ((IsGeneralMapping and IsTotal) and IsSingleValued))",
"type": "GAP_AndFilter"
},
@@ -431180,6 +431616,10 @@
"Tester(IsMatrixModule)",
"IsGaussianSpace"
],
+ "location": {
+ "file": "/home/makx/ac/gap/lib/vspc.gd",
+ "line": 351
+ },
"name": "(IsGaussianSpace and (IsMatrixModule and ((((((((IsNearAdditiveGroup and (IsNearAdditiveMagma and IsAdditivelyCommutative)) and IsExtLSet) and IsDistributiveLOpDSum) and IsLeftActedOnByRing) and IsDistributiveLOpESum) and IsAssociativeLOpEProd) and IsTrivialLOpEOne) and IsLeftActedOnByDivisionRing)))",
"type": "GAP_AndFilter"
},
@@ -431204,6 +431644,10 @@
"Tester(IsRowModule)",
"IsGaussianSpace"
],
+ "location": {
+ "file": "/home/makx/ac/gap/lib/vspc.gd",
+ "line": 279
+ },
"name": "(IsGaussianSpace and (IsRowModule and ((((((((IsNearAdditiveGroup and (IsNearAdditiveMagma and IsAdditivelyCommutative)) and IsExtLSet) and IsDistributiveLOpDSum) and IsLeftActedOnByRing) and IsDistributiveLOpESum) and IsAssociativeLOpEProd) and IsTrivialLOpEOne) and IsLeftActedOnByDivisionRing)))",
"type": "GAP_AndFilter"
},
@@ -431216,6 +431660,10 @@
"IsAssociative",
"Tester(IsAssociative)"
],
+ "location": {
+ "file": "/home/makx/ac/gap/lib/grp.gd",
+ "line": 79
+ },
"name": "(IsMagmaWithInverses and IsAssociative)",
"type": "GAP_AndFilter"
},
@@ -431230,6 +431678,10 @@
"RespectsInverses",
"Tester(RespectsInverses)"
],
+ "location": {
+ "file": "/home/makx/ac/gap/lib/mapphomo.gd",
+ "line": 153
+ },
"name": "((IsGeneralMapping and RespectsMultiplication) and RespectsInverses)",
"type": "GAP_AndFilter"
},
@@ -431248,6 +431700,10 @@
"RespectsInverses",
"Tester(RespectsInverses)"
],
+ "location": {
+ "file": "/home/makx/ac/gap/lib/mapphomo.gd",
+ "line": 156
+ },
"name": "(((IsGeneralMapping and RespectsMultiplication) and RespectsInverses) and ((IsGeneralMapping and IsTotal) and IsSingleValued))",
"type": "GAP_AndFilter"
},
@@ -431262,6 +431718,10 @@
"TransformsInversesIntoAdditiveInverses",
"Tester(TransformsInversesIntoAdditiveInverses)"
],
+ "location": {
+ "file": "/home/makx/ac/gap/lib/mapphomo.gd",
+ "line": 821
+ },
"name": "((IsGeneralMapping and TransformsMultiplicationIntoAddition) and TransformsInversesIntoAdditiveInverses)",
"type": "GAP_AndFilter"
},
@@ -431280,6 +431740,10 @@
"TransformsInversesIntoAdditiveInverses",
"Tester(TransformsInversesIntoAdditiveInverses)"
],
+ "location": {
+ "file": "/home/makx/ac/gap/lib/mapphomo.gd",
+ "line": 824
+ },
"name": "(((IsGeneralMapping and TransformsMultiplicationIntoAddition) and TransformsInversesIntoAdditiveInverses) and ((IsGeneralMapping and IsTotal) and IsSingleValued))",
"type": "GAP_AndFilter"
},
@@ -431292,6 +431756,10 @@
"Tester(IS_SSORT_LIST)",
"CategoryCollections(IsInfoClass)"
],
+ "location": {
+ "file": "/home/makx/ac/gap/lib/info.gd",
+ "line": 62
+ },
"name": "(CategoryCollections(IsInfoClass) and IsSSortedList)",
"type": "GAP_AndFilter"
},
@@ -431306,6 +431774,10 @@
"IsInverseSemigroup",
"Tester(IsInverseSemigroup)"
],
+ "location": {
+ "file": "/home/makx/ac/gap/lib/invsgp.gd",
+ "line": 12
+ },
"name": "((IsMagmaWithOne and IsAssociative) and IsInverseSemigroup)",
"type": "GAP_AndFilter"
},
@@ -431317,6 +431789,10 @@
"IsIterator",
"IsIteratorByFunctionsRep"
],
+ "location": {
+ "file": "/home/makx/ac/gap/lib/coll.gi",
+ "line": 969
+ },
"name": "(IsIteratorByFunctionsRep and IsIterator)",
"type": "GAP_AndFilter"
},
@@ -431328,6 +431804,10 @@
"IsLeftActedOnBySuperset",
"IsMagma"
],
+ "location": {
+ "file": "/home/makx/ac/gap/lib/mgmideal.gd",
+ "line": 30
+ },
"name": "(IsMagma and IsLeftActedOnBySuperset)",
"type": "GAP_AndFilter"
},
@@ -431347,6 +431827,10 @@
"IsAdditivelyCommutative",
"Tester(IsAdditivelyCommutative)"
],
+ "location": {
+ "file": "/home/makx/ac/gap/lib/module.gd",
+ "line": 73
+ },
"name": "(((((((IsNearAdditiveGroup and (IsNearAdditiveMagma and IsAdditivelyCommutative)) and IsExtLSet) and IsDistributiveLOpDSum) and IsLeftActedOnByRing) and IsDistributiveLOpESum) and IsAssociativeLOpEProd) and IsTrivialLOpEOne)",
"type": "GAP_AndFilter"
},
@@ -431363,6 +431847,10 @@
"RespectsScalarMultiplication",
"Tester(RespectsScalarMultiplication)"
],
+ "location": {
+ "file": "/home/makx/ac/gap/lib/mapphomo.gd",
+ "line": 444
+ },
"name": "(((IsGeneralMapping and RespectsAddition) and RespectsAdditiveInverses) and RespectsScalarMultiplication)",
"type": "GAP_AndFilter"
},
@@ -431383,6 +431871,10 @@
"RespectsScalarMultiplication",
"Tester(RespectsScalarMultiplication)"
],
+ "location": {
+ "file": "/home/makx/ac/gap/lib/mapphomo.gd",
+ "line": 447
+ },
"name": "((((IsGeneralMapping and RespectsAddition) and RespectsAdditiveInverses) and RespectsScalarMultiplication) and ((IsGeneralMapping and IsTotal) and IsSingleValued))",
"type": "GAP_AndFilter"
},
@@ -431398,6 +431890,10 @@
"IsAdditivelyCommutative",
"Tester(IsAdditivelyCommutative)"
],
+ "location": {
+ "file": "/home/makx/ac/gap/lib/module.gd",
+ "line": 38
+ },
"name": "(((IsNearAdditiveGroup and (IsNearAdditiveMagma and IsAdditivelyCommutative)) and IsExtLSet) and IsDistributiveLOpDSum)",
"type": "GAP_AndFilter"
},
@@ -431419,6 +431915,10 @@
"IsRDistributive",
"Tester(IsRDistributive)"
],
+ "location": {
+ "file": "/home/makx/ac/gap/lib/vspc.gd",
+ "line": 29
+ },
"name": "(((((IsNearAdditiveGroup and (IsNearAdditiveMagma and IsAdditivelyCommutative)) and IsExtLSet) and IsDistributiveLOpDSum) and (((IsNearAdditiveGroup and (IsNearAdditiveMagma and IsAdditivelyCommutative)) and IsMagma) and (IsLDistributive and IsRDistributive))) and IsAssociativeLOpDProd)",
"type": "GAP_AndFilter"
},
@@ -431441,6 +431941,10 @@
"IsRDistributive",
"Tester(IsRDistributive)"
],
+ "location": {
+ "file": "/home/makx/ac/gap/lib/vspc.gd",
+ "line": 46
+ },
"name": "(((((IsNearAdditiveGroup and (IsNearAdditiveMagma and IsAdditivelyCommutative)) and IsExtLSet) and IsDistributiveLOpDSum) and ((((IsNearAdditiveGroup and (IsNearAdditiveMagma and IsAdditivelyCommutative)) and IsMagma) and (IsLDistributive and IsRDistributive)) and IsMagmaWithOne)) and IsAssociativeLOpDProd)",
"type": "GAP_AndFilter"
},
@@ -431463,6 +431967,10 @@
"IsAdditivelyCommutative",
"Tester(IsAdditivelyCommutative)"
],
+ "location": {
+ "file": "/home/makx/ac/gap/lib/vspc.gd",
+ "line": 80
+ },
"name": "((((((((IsNearAdditiveGroup and (IsNearAdditiveMagma and IsAdditivelyCommutative)) and IsExtLSet) and IsDistributiveLOpDSum) and IsLeftActedOnByRing) and IsDistributiveLOpESum) and IsAssociativeLOpEProd) and IsTrivialLOpEOne) and IsLeftActedOnByDivisionRing)",
"type": "GAP_AndFilter"
},
@@ -431494,6 +432002,10 @@
"IsZeroSquaredRing",
"Tester(IsZeroSquaredRing)"
],
+ "location": {
+ "file": "/home/makx/ac/gap/lib/algebra.gd",
+ "line": 182
+ },
"name": "(((((((((((IsNearAdditiveGroup and (IsNearAdditiveMagma and IsAdditivelyCommutative)) and IsExtLSet) and IsDistributiveLOpDSum) and IsLeftActedOnByRing) and IsDistributiveLOpESum) and IsAssociativeLOpEProd) and IsTrivialLOpEOne) and IsLeftActedOnByDivisionRing) and (((((IsNearAdditiveGroup and (IsNearAdditiveMagma and IsAdditivelyCommutative)) and IsExtLSet) and IsDistributiveLOpDSum) and (((IsNearAdditiveGroup and (IsNearAdditiveMagma and IsAdditivelyCommutative)) and IsMagma) and (IsLDistributive and IsRDistributive))) and IsAssociativeLOpDProd)) and IsZeroSquaredRing) and IsJacobianRing)",
"type": "GAP_AndFilter"
},
@@ -431510,6 +432022,10 @@
"RespectsMultiplication",
"Tester(RespectsMultiplication)"
],
+ "location": {
+ "file": "/home/makx/ac/gap/lib/mgmhom.gd",
+ "line": 29
+ },
"name": "(((IsGeneralMapping and IsTotal) and IsSingleValued) and RespectsMultiplication)",
"type": "GAP_AndFilter"
},
@@ -431522,6 +432038,10 @@
"IsRightActedOnBySuperset",
"IsMagma"
],
+ "location": {
+ "file": "/home/makx/ac/gap/lib/mgmideal.gd",
+ "line": 182
+ },
"name": "((IsMagma and IsLeftActedOnBySuperset) and (IsMagma and IsRightActedOnBySuperset))",
"type": "GAP_AndFilter"
},
@@ -431536,6 +432056,10 @@
"IsSingleValued",
"Tester(IsSingleValued)"
],
+ "location": {
+ "file": "/home/makx/ac/gap/lib/mapping.gd",
+ "line": 442
+ },
"name": "((IsGeneralMapping and IsTotal) and IsSingleValued)",
"type": "GAP_AndFilter"
},
@@ -431550,6 +432074,10 @@
"CategoryCollections(CategoryCollections(IsAdditiveElement))",
"CategoryCollections(CategoryCollections(IsMultiplicativeElement))"
],
+ "location": {
+ "file": "/home/makx/ac/gap/lib/arith.gd",
+ "line": 1009
+ },
"name": "(((CategoryCollections(CategoryCollections(IsNearAdditiveElementWithInverse)) and CategoryCollections(CategoryCollections(IsAdditiveElement))) and IsTable) and (CategoryCollections(CategoryCollections(IsMultiplicativeElement)) and IsTable))",
"type": "GAP_AndFilter"
},
@@ -431575,6 +432103,10 @@
"Tester(IsRDistributive)",
"IsFreeLeftModule"
],
+ "location": {
+ "file": "/home/makx/ac/gap/lib/algebra.gd",
+ "line": 1981
+ },
"name": "((IsFreeLeftModule and (((((IsNearAdditiveGroup and (IsNearAdditiveMagma and IsAdditivelyCommutative)) and IsExtLSet) and IsDistributiveLOpDSum) and (((IsNearAdditiveGroup and (IsNearAdditiveMagma and IsAdditivelyCommutative)) and IsMagma) and (IsLDistributive and IsRDistributive))) and IsAssociativeLOpDProd)) and ((CategoryCollections(CategoryCollections(CategoryCollections(IsNearAdditiveElementWithInverse))) and CategoryCollections(CategoryCollections(CategoryCollections(IsAdditiveElement)))) and CategoryCollections(CategoryCollections(CategoryCollections(IsMultiplicativeElement)))))",
"type": "GAP_AndFilter"
},
@@ -431590,6 +432122,10 @@
"IsAssociative",
"Tester(IsAssociative)"
],
+ "location": {
+ "file": "/home/makx/ac/gap/lib/grpmat.gd",
+ "line": 28
+ },
"name": "(((CategoryCollections(CategoryCollections(CategoryCollections(IsNearAdditiveElementWithInverse))) and CategoryCollections(CategoryCollections(CategoryCollections(IsAdditiveElement)))) and CategoryCollections(CategoryCollections(CategoryCollections(IsMultiplicativeElement)))) and (IsMagmaWithInverses and IsAssociative))",
"type": "GAP_AndFilter"
},
@@ -431613,6 +432149,10 @@
"IsMatrixModule",
"Tester(IsMatrixModule)"
],
+ "location": {
+ "file": "/home/makx/ac/gap/lib/vspc.gd",
+ "line": 330
+ },
"name": "(IsMatrixModule and ((((((((IsNearAdditiveGroup and (IsNearAdditiveMagma and IsAdditivelyCommutative)) and IsExtLSet) and IsDistributiveLOpDSum) and IsLeftActedOnByRing) and IsDistributiveLOpESum) and IsAssociativeLOpEProd) and IsTrivialLOpEOne) and IsLeftActedOnByDivisionRing))",
"type": "GAP_AndFilter"
},
@@ -431625,6 +432165,10 @@
"IsAssociative",
"Tester(IsAssociative)"
],
+ "location": {
+ "file": "/home/makx/ac/gap/lib/monoid.gd",
+ "line": 29
+ },
"name": "(IsMagmaWithOne and IsAssociative)",
"type": "GAP_AndFilter"
},
@@ -431636,6 +432180,10 @@
"IsList",
"CategoryCollections(IsMultiplicativeElement)"
],
+ "location": {
+ "file": "/home/makx/ac/gap/lib/arith.gd",
+ "line": 344
+ },
"name": "(CategoryCollections(IsMultiplicativeElement) and IsList)",
"type": "GAP_AndFilter"
},
@@ -431647,6 +432195,10 @@
"IsTable",
"CategoryCollections(CategoryCollections(IsMultiplicativeElement))"
],
+ "location": {
+ "file": "/home/makx/ac/gap/lib/arith.gd",
+ "line": 346
+ },
"name": "(CategoryCollections(CategoryCollections(IsMultiplicativeElement)) and IsTable)",
"type": "GAP_AndFilter"
},
@@ -431658,6 +432210,10 @@
"IsList",
"CategoryCollections(IsMultiplicativeElementWithInverse)"
],
+ "location": {
+ "file": "/home/makx/ac/gap/lib/arith.gd",
+ "line": 404
+ },
"name": "(CategoryCollections(IsMultiplicativeElementWithInverse) and IsList)",
"type": "GAP_AndFilter"
},
@@ -431669,6 +432225,10 @@
"IsTable",
"CategoryCollections(CategoryCollections(IsMultiplicativeElementWithInverse))"
],
+ "location": {
+ "file": "/home/makx/ac/gap/lib/arith.gd",
+ "line": 406
+ },
"name": "(CategoryCollections(CategoryCollections(IsMultiplicativeElementWithInverse)) and IsTable)",
"type": "GAP_AndFilter"
},
@@ -431680,6 +432240,10 @@
"IsList",
"CategoryCollections(IsMultiplicativeElementWithOne)"
],
+ "location": {
+ "file": "/home/makx/ac/gap/lib/arith.gd",
+ "line": 372
+ },
"name": "(CategoryCollections(IsMultiplicativeElementWithOne) and IsList)",
"type": "GAP_AndFilter"
},
@@ -431691,6 +432255,10 @@
"IsTable",
"CategoryCollections(CategoryCollections(IsMultiplicativeElementWithOne))"
],
+ "location": {
+ "file": "/home/makx/ac/gap/lib/arith.gd",
+ "line": 374
+ },
"name": "(CategoryCollections(CategoryCollections(IsMultiplicativeElementWithOne)) and IsTable)",
"type": "GAP_AndFilter"
},
@@ -431704,6 +432272,10 @@
"IsIntegerMatrixGroup",
"Tester(IsIntegerMatrixGroup)"
],
+ "location": {
+ "file": "/home/makx/ac/gap/lib/grpramat.gd",
+ "line": 83
+ },
"name": "(IsNaturalGL and IsIntegerMatrixGroup)",
"type": "GAP_AndFilter"
},
@@ -431717,6 +432289,10 @@
"IsIntegerMatrixGroup",
"Tester(IsIntegerMatrixGroup)"
],
+ "location": {
+ "file": "/home/makx/ac/gap/lib/grpramat.gd",
+ "line": 105
+ },
"name": "(IsNaturalSL and IsIntegerMatrixGroup)",
"type": "GAP_AndFilter"
},
@@ -431728,6 +432304,10 @@
"IsList",
"CategoryCollections(IsNearAdditiveElement)"
],
+ "location": {
+ "file": "/home/makx/ac/gap/lib/arith.gd",
+ "line": 73
+ },
"name": "(CategoryCollections(IsNearAdditiveElement) and IsList)",
"type": "GAP_AndFilter"
},
@@ -431739,6 +432319,10 @@
"IsTable",
"CategoryCollections(CategoryCollections(IsNearAdditiveElement))"
],
+ "location": {
+ "file": "/home/makx/ac/gap/lib/arith.gd",
+ "line": 75
+ },
"name": "(CategoryCollections(CategoryCollections(IsNearAdditiveElement)) and IsTable)",
"type": "GAP_AndFilter"
},
@@ -431750,6 +432334,10 @@
"IsList",
"CategoryCollections(IsNearAdditiveElementWithInverse)"
],
+ "location": {
+ "file": "/home/makx/ac/gap/lib/arith.gd",
+ "line": 141
+ },
"name": "(CategoryCollections(IsNearAdditiveElementWithInverse) and IsList)",
"type": "GAP_AndFilter"
},
@@ -431761,6 +432349,10 @@
"IsTable",
"CategoryCollections(CategoryCollections(IsNearAdditiveElementWithInverse))"
],
+ "location": {
+ "file": "/home/makx/ac/gap/lib/arith.gd",
+ "line": 143
+ },
"name": "(CategoryCollections(CategoryCollections(IsNearAdditiveElementWithInverse)) and IsTable)",
"type": "GAP_AndFilter"
},
@@ -431772,6 +432364,10 @@
"IsList",
"CategoryCollections(IsNearAdditiveElementWithZero)"
],
+ "location": {
+ "file": "/home/makx/ac/gap/lib/arith.gd",
+ "line": 105
+ },
"name": "(CategoryCollections(IsNearAdditiveElementWithZero) and IsList)",
"type": "GAP_AndFilter"
},
@@ -431783,6 +432379,10 @@
"IsTable",
"CategoryCollections(CategoryCollections(IsNearAdditiveElementWithZero))"
],
+ "location": {
+ "file": "/home/makx/ac/gap/lib/arith.gd",
+ "line": 107
+ },
"name": "(CategoryCollections(CategoryCollections(IsNearAdditiveElementWithZero)) and IsTable)",
"type": "GAP_AndFilter"
},
@@ -431798,6 +432398,10 @@
"IsRDistributive",
"Tester(IsRDistributive)"
],
+ "location": {
+ "file": "/home/makx/ac/gap/lib/ring.gd",
+ "line": 31
+ },
"name": "(((IsNearAdditiveGroup and IsMagma) and IsRDistributive) and IsAssociative)",
"type": "GAP_AndFilter"
},
@@ -431809,6 +432413,10 @@
"IsNearAdditiveElementWithInverse",
"IsMultiplicativeElement"
],
+ "location": {
+ "file": "/home/makx/ac/gap/lib/arith.gd",
+ "line": 713
+ },
"name": "(IsNearAdditiveElementWithInverse and IsMultiplicativeElement)",
"type": "GAP_AndFilter"
},
@@ -431820,6 +432428,10 @@
"CategoryCollections(CategoryCollections(IsNearAdditiveElementWithInverse))",
"CategoryCollections(CategoryCollections(IsMultiplicativeElement))"
],
+ "location": {
+ "file": "/home/makx/ac/gap/lib/arith.gd",
+ "line": 719
+ },
"name": "(CategoryCollections(CategoryCollections(IsNearAdditiveElementWithInverse)) and CategoryCollections(CategoryCollections(IsMultiplicativeElement)))",
"type": "GAP_AndFilter"
},
@@ -431831,6 +432443,10 @@
"CategoryCollections(CategoryCollections(CategoryCollections(IsNearAdditiveElementWithInverse)))",
"CategoryCollections(CategoryCollections(CategoryCollections(IsMultiplicativeElement)))"
],
+ "location": {
+ "file": "/home/makx/ac/gap/lib/arith.gd",
+ "line": 722
+ },
"name": "(CategoryCollections(CategoryCollections(CategoryCollections(IsNearAdditiveElementWithInverse))) and CategoryCollections(CategoryCollections(CategoryCollections(IsMultiplicativeElement))))",
"type": "GAP_AndFilter"
},
@@ -431842,6 +432458,10 @@
"CategoryCollections(IsNearAdditiveElementWithInverse)",
"CategoryCollections(IsMultiplicativeElement)"
],
+ "location": {
+ "file": "/home/makx/ac/gap/lib/arith.gd",
+ "line": 716
+ },
"name": "(CategoryCollections(IsNearAdditiveElementWithInverse) and CategoryCollections(IsMultiplicativeElement))",
"type": "GAP_AndFilter"
},
@@ -431854,6 +432474,10 @@
"CategoryCollections(IsNearAdditiveElementWithInverse)",
"CategoryCollections(IsMultiplicativeElement)"
],
+ "location": {
+ "file": "/home/makx/ac/gap/lib/arith.gd",
+ "line": 725
+ },
"name": "((CategoryCollections(IsNearAdditiveElementWithInverse) and IsList) and (CategoryCollections(IsMultiplicativeElement) and IsList))",
"type": "GAP_AndFilter"
},
@@ -431866,6 +432490,10 @@
"CategoryCollections(CategoryCollections(IsNearAdditiveElementWithInverse))",
"CategoryCollections(CategoryCollections(IsMultiplicativeElement))"
],
+ "location": {
+ "file": "/home/makx/ac/gap/lib/arith.gd",
+ "line": 728
+ },
"name": "((CategoryCollections(CategoryCollections(IsNearAdditiveElementWithInverse)) and IsTable) and (CategoryCollections(CategoryCollections(IsMultiplicativeElement)) and IsTable))",
"type": "GAP_AndFilter"
},
@@ -431877,6 +432505,10 @@
"IsNearAdditiveElementWithInverse",
"IsMultiplicativeElementWithInverse"
],
+ "location": {
+ "file": "/home/makx/ac/gap/lib/arith.gd",
+ "line": 793
+ },
"name": "(IsNearAdditiveElementWithInverse and IsMultiplicativeElementWithInverse)",
"type": "GAP_AndFilter"
},
@@ -431888,6 +432520,10 @@
"CategoryCollections(CategoryCollections(IsNearAdditiveElementWithInverse))",
"CategoryCollections(CategoryCollections(IsMultiplicativeElementWithInverse))"
],
+ "location": {
+ "file": "/home/makx/ac/gap/lib/arith.gd",
+ "line": 799
+ },
"name": "(CategoryCollections(CategoryCollections(IsNearAdditiveElementWithInverse)) and CategoryCollections(CategoryCollections(IsMultiplicativeElementWithInverse)))",
"type": "GAP_AndFilter"
},
@@ -431899,6 +432535,10 @@
"CategoryCollections(CategoryCollections(CategoryCollections(IsNearAdditiveElementWithInverse)))",
"CategoryCollections(CategoryCollections(CategoryCollections(IsMultiplicativeElementWithInverse)))"
],
+ "location": {
+ "file": "/home/makx/ac/gap/lib/arith.gd",
+ "line": 802
+ },
"name": "(CategoryCollections(CategoryCollections(CategoryCollections(IsNearAdditiveElementWithInverse))) and CategoryCollections(CategoryCollections(CategoryCollections(IsMultiplicativeElementWithInverse))))",
"type": "GAP_AndFilter"
},
@@ -431910,6 +432550,10 @@
"CategoryCollections(IsNearAdditiveElementWithInverse)",
"CategoryCollections(IsMultiplicativeElementWithInverse)"
],
+ "location": {
+ "file": "/home/makx/ac/gap/lib/arith.gd",
+ "line": 796
+ },
"name": "(CategoryCollections(IsNearAdditiveElementWithInverse) and CategoryCollections(IsMultiplicativeElementWithInverse))",
"type": "GAP_AndFilter"
},
@@ -431922,6 +432566,10 @@
"CategoryCollections(IsNearAdditiveElementWithInverse)",
"CategoryCollections(IsMultiplicativeElementWithInverse)"
],
+ "location": {
+ "file": "/home/makx/ac/gap/lib/arith.gd",
+ "line": 805
+ },
"name": "((CategoryCollections(IsNearAdditiveElementWithInverse) and IsList) and (CategoryCollections(IsMultiplicativeElementWithInverse) and IsList))",
"type": "GAP_AndFilter"
},
@@ -431934,6 +432582,10 @@
"CategoryCollections(CategoryCollections(IsNearAdditiveElementWithInverse))",
"CategoryCollections(CategoryCollections(IsMultiplicativeElementWithInverse))"
],
+ "location": {
+ "file": "/home/makx/ac/gap/lib/arith.gd",
+ "line": 808
+ },
"name": "((CategoryCollections(CategoryCollections(IsNearAdditiveElementWithInverse)) and IsTable) and (CategoryCollections(CategoryCollections(IsMultiplicativeElementWithInverse)) and IsTable))",
"type": "GAP_AndFilter"
},
@@ -431945,6 +432597,10 @@
"IsNearAdditiveElementWithInverse",
"IsMultiplicativeElementWithOne"
],
+ "location": {
+ "file": "/home/makx/ac/gap/lib/arith.gd",
+ "line": 754
+ },
"name": "(IsNearAdditiveElementWithInverse and IsMultiplicativeElementWithOne)",
"type": "GAP_AndFilter"
},
@@ -431956,6 +432612,10 @@
"CategoryCollections(CategoryCollections(IsNearAdditiveElementWithInverse))",
"CategoryCollections(CategoryCollections(IsMultiplicativeElementWithOne))"
],
+ "location": {
+ "file": "/home/makx/ac/gap/lib/arith.gd",
+ "line": 760
+ },
"name": "(CategoryCollections(CategoryCollections(IsNearAdditiveElementWithInverse)) and CategoryCollections(CategoryCollections(IsMultiplicativeElementWithOne)))",
"type": "GAP_AndFilter"
},
@@ -431967,6 +432627,10 @@
"CategoryCollections(CategoryCollections(CategoryCollections(IsNearAdditiveElementWithInverse)))",
"CategoryCollections(CategoryCollections(CategoryCollections(IsMultiplicativeElementWithOne)))"
],
+ "location": {
+ "file": "/home/makx/ac/gap/lib/arith.gd",
+ "line": 763
+ },
"name": "(CategoryCollections(CategoryCollections(CategoryCollections(IsNearAdditiveElementWithInverse))) and CategoryCollections(CategoryCollections(CategoryCollections(IsMultiplicativeElementWithOne))))",
"type": "GAP_AndFilter"
},
@@ -431978,6 +432642,10 @@
"CategoryCollections(IsNearAdditiveElementWithInverse)",
"CategoryCollections(IsMultiplicativeElementWithOne)"
],
+ "location": {
+ "file": "/home/makx/ac/gap/lib/arith.gd",
+ "line": 757
+ },
"name": "(CategoryCollections(IsNearAdditiveElementWithInverse) and CategoryCollections(IsMultiplicativeElementWithOne))",
"type": "GAP_AndFilter"
},
@@ -431990,6 +432658,10 @@
"CategoryCollections(IsNearAdditiveElementWithInverse)",
"CategoryCollections(IsMultiplicativeElementWithOne)"
],
+ "location": {
+ "file": "/home/makx/ac/gap/lib/arith.gd",
+ "line": 766
+ },
"name": "((CategoryCollections(IsNearAdditiveElementWithInverse) and IsList) and (CategoryCollections(IsMultiplicativeElementWithOne) and IsList))",
"type": "GAP_AndFilter"
},
@@ -432002,6 +432674,10 @@
"CategoryCollections(CategoryCollections(IsNearAdditiveElementWithInverse))",
"CategoryCollections(CategoryCollections(IsMultiplicativeElementWithOne))"
],
+ "location": {
+ "file": "/home/makx/ac/gap/lib/arith.gd",
+ "line": 769
+ },
"name": "((CategoryCollections(CategoryCollections(IsNearAdditiveElementWithInverse)) and IsTable) and (CategoryCollections(CategoryCollections(IsMultiplicativeElementWithOne)) and IsTable))",
"type": "GAP_AndFilter"
},
@@ -432018,6 +432694,10 @@
"IsRDistributive",
"Tester(IsRDistributive)"
],
+ "location": {
+ "file": "/home/makx/ac/gap/lib/ring.gd",
+ "line": 52
+ },
"name": "((((IsNearAdditiveGroup and IsMagma) and IsRDistributive) and IsAssociative) and IsMagmaWithOne)",
"type": "GAP_AndFilter"
},
@@ -432029,6 +432709,10 @@
"IsInt",
"IsNegRat"
],
+ "location": {
+ "file": "/home/makx/ac/gap/lib/cyclotom.g",
+ "line": 192
+ },
"name": "(IsInt and IsNegRat)",
"type": "GAP_AndFilter"
},
@@ -432041,6 +432725,10 @@
"IsWord",
"IsNonassocWord"
],
+ "location": {
+ "file": "/home/makx/ac/gap/lib/word.gd",
+ "line": 209
+ },
"name": "(IsNonassocWord and (IsWord and IsMultiplicativeElementWithOne))",
"type": "GAP_AndFilter"
},
@@ -432052,6 +432740,10 @@
"IsList",
"CategoryCollections(IsPadicNumber)"
],
+ "location": {
+ "file": "/home/makx/ac/gap/lib/padics.gd",
+ "line": 31
+ },
"name": "(CategoryCollections(IsPadicNumber) and IsList)",
"type": "GAP_AndFilter"
},
@@ -432063,6 +432755,10 @@
"IsTable",
"CategoryCollections(CategoryCollections(IsPadicNumber))"
],
+ "location": {
+ "file": "/home/makx/ac/gap/lib/padics.gd",
+ "line": 32
+ },
"name": "(CategoryCollections(CategoryCollections(IsPadicNumber)) and IsTable)",
"type": "GAP_AndFilter"
},
@@ -432076,6 +432772,10 @@
"IsAssociative",
"Tester(IsAssociative)"
],
+ "location": {
+ "file": "/home/makx/ac/gap/lib/semipperm.gd",
+ "line": 16
+ },
"name": "((IsMagmaWithOne and IsAssociative) and CategoryCollections(IsPartialPerm))",
"type": "GAP_AndFilter"
},
@@ -432089,6 +432789,10 @@
"IsAssociative",
"Tester(IsAssociative)"
],
+ "location": {
+ "file": "/home/makx/ac/gap/lib/semipperm.gd",
+ "line": 14
+ },
"name": "((IsMagma and IsAssociative) and CategoryCollections(IsPartialPerm))",
"type": "GAP_AndFilter"
},
@@ -432102,6 +432806,10 @@
"Tester(IsAssociative)",
"CategoryCollections(IsMultiplicativeElementWithInverseByPolycyclicCollector)"
],
+ "location": {
+ "file": "/home/makx/ac/gap/lib/rwspcgrp.gd",
+ "line": 82
+ },
"name": "(CategoryCollections(IsMultiplicativeElementWithInverseByPolycyclicCollector) and (IsMagmaWithInverses and IsAssociative))",
"type": "GAP_AndFilter"
},
@@ -432117,6 +432825,10 @@
"Tester(IsSingleValued)",
"IsPcGroupGeneralMappingByImages"
],
+ "location": {
+ "file": "/home/makx/ac/gap/lib/ghompcgs.gd",
+ "line": 49
+ },
"name": "(IsPcGroupGeneralMappingByImages and ((IsGeneralMapping and IsTotal) and IsSingleValued))",
"type": "GAP_AndFilter"
},
@@ -432132,6 +432844,10 @@
"Tester(IsSingleValued)",
"IsPcgsToPcgsGeneralMappingByImages"
],
+ "location": {
+ "file": "/home/makx/ac/gap/lib/ghompcgs.gd",
+ "line": 119
+ },
"name": "(IsPcgsToPcgsGeneralMappingByImages and ((IsGeneralMapping and IsTotal) and IsSingleValued))",
"type": "GAP_AndFilter"
},
@@ -432145,6 +432861,10 @@
"IsAssociative",
"Tester(IsAssociative)"
],
+ "location": {
+ "file": "/home/makx/ac/gap/lib/grpperm.gd",
+ "line": 39
+ },
"name": "((IsMagmaWithInverses and IsAssociative) and CategoryCollections(IsPerm))",
"type": "GAP_AndFilter"
},
@@ -432160,6 +432880,10 @@
"Tester(IsSingleValued)",
"IsPermGroupGeneralMapping"
],
+ "location": {
+ "file": "/home/makx/ac/gap/lib/ghomperm.gd",
+ "line": 37
+ },
"name": "(IsPermGroupGeneralMapping and ((IsGeneralMapping and IsTotal) and IsSingleValued))",
"type": "GAP_AndFilter"
},
@@ -432175,6 +432899,10 @@
"Tester(IsSingleValued)",
"IsPermGroupGeneralMappingByImages"
],
+ "location": {
+ "file": "/home/makx/ac/gap/lib/ghomperm.gd",
+ "line": 39
+ },
"name": "(IsPermGroupGeneralMappingByImages and ((IsGeneralMapping and IsTotal) and IsSingleValued))",
"type": "GAP_AndFilter"
},
@@ -432196,6 +432924,10 @@
"Tester(RightActingRingOfIdeal)",
"CategoryCollections(IsRationalFunction)"
],
+ "location": {
+ "file": "/home/makx/ac/gap/lib/groebner.gd",
+ "line": 26
+ },
"name": "((((((IsNearAdditiveGroup and (IsNearAdditiveMagma and IsAdditivelyCommutative)) and IsMagma) and (IsLDistributive and IsRDistributive)) and CategoryCollections(IsRationalFunction)) and Tester(LeftActingRingOfIdeal)) and Tester(RightActingRingOfIdeal))",
"type": "GAP_AndFilter"
},
@@ -432207,6 +432939,10 @@
"IsInt",
"IsPosRat"
],
+ "location": {
+ "file": "/home/makx/ac/gap/lib/cyclotom.g",
+ "line": 159
+ },
"name": "(IsInt and IsPosRat)",
"type": "GAP_AndFilter"
},
@@ -432246,6 +432982,10 @@
"IsPrimeField",
"Tester(IsPrimeField)"
],
+ "location": {
+ "file": "/home/makx/ac/gap/lib/fldabnum.gd",
+ "line": 251
+ },
"name": "((CategoryCollections(IsCyclotomic) and ((((((IsMagmaWithInversesIfNonzero and (((((IsNearAdditiveGroup and (IsNearAdditiveMagma and IsAdditivelyCommutative)) and IsExtLSet) and IsDistributiveLOpDSum) and ((((IsNearAdditiveGroup and (IsNearAdditiveMagma and IsAdditivelyCommutative)) and IsMagma) and (IsLDistributive and IsRDistributive)) and IsMagmaWithOne)) and IsAssociativeLOpDProd)) and ((((((((IsNearAdditiveGroup and (IsNearAdditiveMagma and IsAdditivelyCommutative)) and IsExtLSet) and IsDistributiveLOpDSum) and IsLeftActedOnByRing) and IsDistributiveLOpESum) and IsAssociativeLOpEProd) and IsTrivialLOpEOne) and IsLeftActedOnByDivisionRing)) and IsNonTrivial) and IsAssociative) and IsEuclideanRing) and IsCommutative)) and IsPrimeField)",
"type": "GAP_AndFilter"
},
@@ -432259,6 +432999,10 @@
"IsTranslationInvariantOrdering",
"Tester(IsTranslationInvariantOrdering)"
],
+ "location": {
+ "file": "/home/makx/ac/gap/lib/orders.gd",
+ "line": 419
+ },
"name": "(IsTranslationInvariantOrdering and IsWellFoundedOrdering)",
"type": "GAP_AndFilter"
},
@@ -432272,6 +433016,10 @@
"Tester(IsAssociative)",
"CategoryCollections(IsReesMatrixSemigroupElement)"
],
+ "location": {
+ "file": "/home/makx/ac/gap/lib/reesmat.gd",
+ "line": 49
+ },
"name": "((IsMagma and IsAssociative) and CategoryCollections(IsReesMatrixSemigroupElement))",
"type": "GAP_AndFilter"
},
@@ -432285,6 +433033,10 @@
"Tester(IsAssociative)",
"CategoryCollections(IsReesZeroMatrixSemigroupElement)"
],
+ "location": {
+ "file": "/home/makx/ac/gap/lib/reesmat.gd",
+ "line": 51
+ },
"name": "((IsMagma and IsAssociative) and CategoryCollections(IsReesZeroMatrixSemigroupElement))",
"type": "GAP_AndFilter"
},
@@ -432296,6 +433048,10 @@
"IsRestrictedJacobianElement",
"IsLieObject"
],
+ "location": {
+ "file": "/home/makx/ac/gap/lib/liefam.gd",
+ "line": 120
+ },
"name": "(IsLieObject and IsRestrictedJacobianElement)",
"type": "GAP_AndFilter"
},
@@ -432307,6 +433063,10 @@
"IsRightActedOnBySuperset",
"IsMagma"
],
+ "location": {
+ "file": "/home/makx/ac/gap/lib/mgmideal.gd",
+ "line": 109
+ },
"name": "(IsMagma and IsRightActedOnBySuperset)",
"type": "GAP_AndFilter"
},
@@ -432326,6 +433086,10 @@
"IsAdditivelyCommutative",
"Tester(IsAdditivelyCommutative)"
],
+ "location": {
+ "file": "/home/makx/ac/gap/lib/module.gd",
+ "line": 126
+ },
"name": "(((((((IsNearAdditiveGroup and (IsNearAdditiveMagma and IsAdditivelyCommutative)) and IsExtRSet) and IsDistributiveROpDSum) and IsRightActedOnByRing) and IsDistributiveROpESum) and IsAssociativeROpEProd) and IsTrivialROpEOne)",
"type": "GAP_AndFilter"
},
@@ -432341,6 +433105,10 @@
"IsAdditivelyCommutative",
"Tester(IsAdditivelyCommutative)"
],
+ "location": {
+ "file": "/home/makx/ac/gap/lib/module.gd",
+ "line": 97
+ },
"name": "(((IsNearAdditiveGroup and (IsNearAdditiveMagma and IsAdditivelyCommutative)) and IsExtRSet) and IsDistributiveROpDSum)",
"type": "GAP_AndFilter"
},
@@ -432359,6 +433127,10 @@
"IsRDistributive",
"Tester(IsRDistributive)"
],
+ "location": {
+ "file": "/home/makx/ac/gap/lib/ring.gd",
+ "line": 95
+ },
"name": "(((IsNearAdditiveGroup and (IsNearAdditiveMagma and IsAdditivelyCommutative)) and IsMagma) and (IsLDistributive and IsRDistributive))",
"type": "GAP_AndFilter"
},
@@ -432371,6 +433143,10 @@
"IsAdditiveElement",
"IsMultiplicativeElement"
],
+ "location": {
+ "file": "/home/makx/ac/gap/lib/arith.gd",
+ "line": 832
+ },
"name": "((IsNearAdditiveElementWithInverse and IsAdditiveElement) and IsMultiplicativeElement)",
"type": "GAP_AndFilter"
},
@@ -432383,6 +433159,10 @@
"CategoryCollections(CategoryCollections(IsAdditiveElement))",
"CategoryCollections(CategoryCollections(IsMultiplicativeElement))"
],
+ "location": {
+ "file": "/home/makx/ac/gap/lib/arith.gd",
+ "line": 838
+ },
"name": "((CategoryCollections(CategoryCollections(IsNearAdditiveElementWithInverse)) and CategoryCollections(CategoryCollections(IsAdditiveElement))) and CategoryCollections(CategoryCollections(IsMultiplicativeElement)))",
"type": "GAP_AndFilter"
},
@@ -432395,6 +433175,10 @@
"CategoryCollections(CategoryCollections(CategoryCollections(IsAdditiveElement)))",
"CategoryCollections(CategoryCollections(CategoryCollections(IsMultiplicativeElement)))"
],
+ "location": {
+ "file": "/home/makx/ac/gap/lib/arith.gd",
+ "line": 841
+ },
"name": "((CategoryCollections(CategoryCollections(CategoryCollections(IsNearAdditiveElementWithInverse))) and CategoryCollections(CategoryCollections(CategoryCollections(IsAdditiveElement)))) and CategoryCollections(CategoryCollections(CategoryCollections(IsMultiplicativeElement))))",
"type": "GAP_AndFilter"
},
@@ -432407,6 +433191,10 @@
"CategoryCollections(IsAdditiveElement)",
"CategoryCollections(IsMultiplicativeElement)"
],
+ "location": {
+ "file": "/home/makx/ac/gap/lib/arith.gd",
+ "line": 835
+ },
"name": "((CategoryCollections(IsNearAdditiveElementWithInverse) and CategoryCollections(IsAdditiveElement)) and CategoryCollections(IsMultiplicativeElement))",
"type": "GAP_AndFilter"
},
@@ -432420,6 +433208,10 @@
"CategoryCollections(IsAdditiveElement)",
"CategoryCollections(IsMultiplicativeElement)"
],
+ "location": {
+ "file": "/home/makx/ac/gap/lib/arith.gd",
+ "line": 844
+ },
"name": "(((CategoryCollections(IsNearAdditiveElementWithInverse) and CategoryCollections(IsAdditiveElement)) and IsList) and (CategoryCollections(IsMultiplicativeElement) and IsList))",
"type": "GAP_AndFilter"
},
@@ -432433,6 +433225,10 @@
"IsAdditiveElement",
"IsMultiplicativeElementWithInverse"
],
+ "location": {
+ "file": "/home/makx/ac/gap/lib/arith.gd",
+ "line": 915
+ },
"name": "((IsNearAdditiveElementWithInverse and IsAdditiveElement) and IsMultiplicativeElementWithInverse)",
"type": "GAP_AndFilter"
},
@@ -432446,6 +433242,10 @@
"CategoryCollections(CategoryCollections(IsAdditiveElement))",
"CategoryCollections(CategoryCollections(IsMultiplicativeElementWithInverse))"
],
+ "location": {
+ "file": "/home/makx/ac/gap/lib/arith.gd",
+ "line": 921
+ },
"name": "((CategoryCollections(CategoryCollections(IsNearAdditiveElementWithInverse)) and CategoryCollections(CategoryCollections(IsAdditiveElement))) and CategoryCollections(CategoryCollections(IsMultiplicativeElementWithInverse)))",
"type": "GAP_AndFilter"
},
@@ -432458,6 +433258,10 @@
"CategoryCollections(CategoryCollections(CategoryCollections(IsAdditiveElement)))",
"CategoryCollections(CategoryCollections(CategoryCollections(IsMultiplicativeElementWithInverse)))"
],
+ "location": {
+ "file": "/home/makx/ac/gap/lib/arith.gd",
+ "line": 924
+ },
"name": "((CategoryCollections(CategoryCollections(CategoryCollections(IsNearAdditiveElementWithInverse))) and CategoryCollections(CategoryCollections(CategoryCollections(IsAdditiveElement)))) and CategoryCollections(CategoryCollections(CategoryCollections(IsMultiplicativeElementWithInverse))))",
"type": "GAP_AndFilter"
},
@@ -432471,6 +433275,10 @@
"CategoryCollections(IsAdditiveElement)",
"CategoryCollections(IsMultiplicativeElementWithInverse)"
],
+ "location": {
+ "file": "/home/makx/ac/gap/lib/arith.gd",
+ "line": 918
+ },
"name": "((CategoryCollections(IsNearAdditiveElementWithInverse) and CategoryCollections(IsAdditiveElement)) and CategoryCollections(IsMultiplicativeElementWithInverse))",
"type": "GAP_AndFilter"
},
@@ -432485,6 +433293,10 @@
"CategoryCollections(IsAdditiveElement)",
"CategoryCollections(IsMultiplicativeElementWithInverse)"
],
+ "location": {
+ "file": "/home/makx/ac/gap/lib/arith.gd",
+ "line": 927
+ },
"name": "(((CategoryCollections(IsNearAdditiveElementWithInverse) and CategoryCollections(IsAdditiveElement)) and IsList) and (CategoryCollections(IsMultiplicativeElementWithInverse) and IsList))",
"type": "GAP_AndFilter"
},
@@ -432499,6 +433311,10 @@
"CategoryCollections(CategoryCollections(IsAdditiveElement))",
"CategoryCollections(CategoryCollections(IsMultiplicativeElementWithInverse))"
],
+ "location": {
+ "file": "/home/makx/ac/gap/lib/arith.gd",
+ "line": 930
+ },
"name": "(((CategoryCollections(CategoryCollections(IsNearAdditiveElementWithInverse)) and CategoryCollections(CategoryCollections(IsAdditiveElement))) and IsTable) and (CategoryCollections(CategoryCollections(IsMultiplicativeElementWithInverse)) and IsTable))",
"type": "GAP_AndFilter"
},
@@ -432511,6 +433327,10 @@
"IsAdditiveElement",
"IsMultiplicativeElementWithOne"
],
+ "location": {
+ "file": "/home/makx/ac/gap/lib/arith.gd",
+ "line": 873
+ },
"name": "((IsNearAdditiveElementWithInverse and IsAdditiveElement) and IsMultiplicativeElementWithOne)",
"type": "GAP_AndFilter"
},
@@ -432523,6 +433343,10 @@
"CategoryCollections(CategoryCollections(IsAdditiveElement))",
"CategoryCollections(CategoryCollections(IsMultiplicativeElementWithOne))"
],
+ "location": {
+ "file": "/home/makx/ac/gap/lib/arith.gd",
+ "line": 879
+ },
"name": "((CategoryCollections(CategoryCollections(IsNearAdditiveElementWithInverse)) and CategoryCollections(CategoryCollections(IsAdditiveElement))) and CategoryCollections(CategoryCollections(IsMultiplicativeElementWithOne)))",
"type": "GAP_AndFilter"
},
@@ -432535,6 +433359,10 @@
"CategoryCollections(CategoryCollections(CategoryCollections(IsAdditiveElement)))",
"CategoryCollections(CategoryCollections(CategoryCollections(IsMultiplicativeElementWithOne)))"
],
+ "location": {
+ "file": "/home/makx/ac/gap/lib/arith.gd",
+ "line": 882
+ },
"name": "((CategoryCollections(CategoryCollections(CategoryCollections(IsNearAdditiveElementWithInverse))) and CategoryCollections(CategoryCollections(CategoryCollections(IsAdditiveElement)))) and CategoryCollections(CategoryCollections(CategoryCollections(IsMultiplicativeElementWithOne))))",
"type": "GAP_AndFilter"
},
@@ -432547,6 +433375,10 @@
"CategoryCollections(IsAdditiveElement)",
"CategoryCollections(IsMultiplicativeElementWithOne)"
],
+ "location": {
+ "file": "/home/makx/ac/gap/lib/arith.gd",
+ "line": 876
+ },
"name": "((CategoryCollections(IsNearAdditiveElementWithInverse) and CategoryCollections(IsAdditiveElement)) and CategoryCollections(IsMultiplicativeElementWithOne))",
"type": "GAP_AndFilter"
},
@@ -432560,6 +433392,10 @@
"CategoryCollections(IsAdditiveElement)",
"CategoryCollections(IsMultiplicativeElementWithOne)"
],
+ "location": {
+ "file": "/home/makx/ac/gap/lib/arith.gd",
+ "line": 885
+ },
"name": "(((CategoryCollections(IsNearAdditiveElementWithInverse) and CategoryCollections(IsAdditiveElement)) and IsList) and (CategoryCollections(IsMultiplicativeElementWithOne) and IsList))",
"type": "GAP_AndFilter"
},
@@ -432573,6 +433409,10 @@
"CategoryCollections(CategoryCollections(IsAdditiveElement))",
"CategoryCollections(CategoryCollections(IsMultiplicativeElementWithOne))"
],
+ "location": {
+ "file": "/home/makx/ac/gap/lib/arith.gd",
+ "line": 888
+ },
"name": "(((CategoryCollections(CategoryCollections(IsNearAdditiveElementWithInverse)) and CategoryCollections(CategoryCollections(IsAdditiveElement))) and IsTable) and (CategoryCollections(CategoryCollections(IsMultiplicativeElementWithOne)) and IsTable))",
"type": "GAP_AndFilter"
},
@@ -432589,6 +433429,10 @@
"RespectsAdditiveInverses",
"Tester(RespectsAdditiveInverses)"
],
+ "location": {
+ "file": "/home/makx/ac/gap/lib/mapphomo.gd",
+ "line": 506
+ },
"name": "((IsGeneralMapping and RespectsMultiplication) and ((IsGeneralMapping and RespectsAddition) and RespectsAdditiveInverses))",
"type": "GAP_AndFilter"
},
@@ -432609,6 +433453,10 @@
"RespectsAdditiveInverses",
"Tester(RespectsAdditiveInverses)"
],
+ "location": {
+ "file": "/home/makx/ac/gap/lib/mapphomo.gd",
+ "line": 509
+ },
"name": "(((IsGeneralMapping and RespectsMultiplication) and ((IsGeneralMapping and RespectsAddition) and RespectsAdditiveInverses)) and ((IsGeneralMapping and IsTotal) and IsSingleValued))",
"type": "GAP_AndFilter"
},
@@ -432628,6 +433476,10 @@
"IsRDistributive",
"Tester(IsRDistributive)"
],
+ "location": {
+ "file": "/home/makx/ac/gap/lib/ring.gd",
+ "line": 124
+ },
"name": "((((IsNearAdditiveGroup and (IsNearAdditiveMagma and IsAdditivelyCommutative)) and IsMagma) and (IsLDistributive and IsRDistributive)) and IsMagmaWithOne)",
"type": "GAP_AndFilter"
},
@@ -432646,6 +433498,10 @@
"RespectsAdditiveInverses",
"Tester(RespectsAdditiveInverses)"
],
+ "location": {
+ "file": "/home/makx/ac/gap/lib/mapphomo.gd",
+ "line": 528
+ },
"name": "(((IsGeneralMapping and RespectsMultiplication) and ((IsGeneralMapping and RespectsAddition) and RespectsAdditiveInverses)) and RespectsOne)",
"type": "GAP_AndFilter"
},
@@ -432668,6 +433524,10 @@
"RespectsAdditiveInverses",
"Tester(RespectsAdditiveInverses)"
],
+ "location": {
+ "file": "/home/makx/ac/gap/lib/mapphomo.gd",
+ "line": 531
+ },
"name": "((((IsGeneralMapping and RespectsMultiplication) and ((IsGeneralMapping and RespectsAddition) and RespectsAdditiveInverses)) and RespectsOne) and ((IsGeneralMapping and IsTotal) and IsSingleValued))",
"type": "GAP_AndFilter"
},
@@ -432691,6 +433551,10 @@
"IsRowModule",
"Tester(IsRowModule)"
],
+ "location": {
+ "file": "/home/makx/ac/gap/lib/vspc.gd",
+ "line": 257
+ },
"name": "(IsRowModule and ((((((((IsNearAdditiveGroup and (IsNearAdditiveMagma and IsAdditivelyCommutative)) and IsExtLSet) and IsDistributiveLOpDSum) and IsLeftActedOnByRing) and IsDistributiveLOpESum) and IsAssociativeLOpEProd) and IsTrivialLOpEOne) and IsLeftActedOnByDivisionRing))",
"type": "GAP_AndFilter"
},
@@ -432706,6 +433570,10 @@
"IsExtRElement",
"IsOddAdditiveNestingDepthObject"
],
+ "location": {
+ "file": "/home/makx/ac/gap/lib/arith.gd",
+ "line": 535
+ },
"name": "(((((IsNearAdditiveElementWithInverse and IsAdditiveElement) and IsExtLElement) and IsExtRElement) and IsHomogeneousList) and IsOddAdditiveNestingDepthObject)",
"type": "GAP_AndFilter"
},
@@ -432718,6 +433586,10 @@
"IsAssociative",
"Tester(IsAssociative)"
],
+ "location": {
+ "file": "/home/makx/ac/gap/lib/semigrp.gd",
+ "line": 30
+ },
"name": "(IsMagma and IsAssociative)",
"type": "GAP_AndFilter"
},
@@ -432731,6 +433603,10 @@
"RespectsMultiplication",
"Tester(RespectsMultiplication)"
],
+ "location": {
+ "file": "/home/makx/ac/gap/lib/semirel.gd",
+ "line": 412
+ },
"name": "((IsSPGeneralMapping and IsGeneralMapping) and RespectsMultiplication)",
"type": "GAP_AndFilter"
},
@@ -432748,6 +433624,10 @@
"RespectsMultiplication",
"Tester(RespectsMultiplication)"
],
+ "location": {
+ "file": "/home/makx/ac/gap/lib/semirel.gd",
+ "line": 415
+ },
"name": "(((IsSPGeneralMapping and IsGeneralMapping) and RespectsMultiplication) and ((IsGeneralMapping and IsTotal) and IsSingleValued))",
"type": "GAP_AndFilter"
},
@@ -432765,6 +433645,10 @@
"IsRDistributive",
"Tester(IsRDistributive)"
],
+ "location": {
+ "file": "/home/makx/ac/gap/lib/semiring.gd",
+ "line": 117
+ },
"name": "(((IsNearAdditiveMagma and IsAdditivelyCommutative) and IsMagma) and (IsLDistributive and IsRDistributive))",
"type": "GAP_AndFilter"
},
@@ -432782,6 +433666,10 @@
"IsRDistributive",
"Tester(IsRDistributive)"
],
+ "location": {
+ "file": "/home/makx/ac/gap/lib/semiring.gd",
+ "line": 137
+ },
"name": "(((IsNearAdditiveMagma and IsAdditivelyCommutative) and IsMagmaWithOne) and (IsLDistributive and IsRDistributive))",
"type": "GAP_AndFilter"
},
@@ -432800,6 +433688,10 @@
"IsRDistributive",
"Tester(IsRDistributive)"
],
+ "location": {
+ "file": "/home/makx/ac/gap/lib/semiring.gd",
+ "line": 172
+ },
"name": "(((IsNearAdditiveMagmaWithZero and (IsNearAdditiveMagma and IsAdditivelyCommutative)) and IsMagmaWithOne) and (IsLDistributive and IsRDistributive))",
"type": "GAP_AndFilter"
},
@@ -432818,6 +433710,10 @@
"IsRDistributive",
"Tester(IsRDistributive)"
],
+ "location": {
+ "file": "/home/makx/ac/gap/lib/semiring.gd",
+ "line": 157
+ },
"name": "(((IsNearAdditiveMagmaWithZero and (IsNearAdditiveMagma and IsAdditivelyCommutative)) and IsMagma) and (IsLDistributive and IsRDistributive))",
"type": "GAP_AndFilter"
},
@@ -432831,6 +433727,10 @@
"Tester(IsAssociative)",
"CategoryCollections(IsElementOfFpMonoid)"
],
+ "location": {
+ "file": "/home/makx/ac/gap/lib/fpmon.gd",
+ "line": 69
+ },
"name": "((IsMagmaWithOne and IsAssociative) and CategoryCollections(IsElementOfFpMonoid))",
"type": "GAP_AndFilter"
},
@@ -432850,6 +433750,10 @@
"Tester(IsRDistributive)",
"CategoryCollections(IsSCRingObj)"
],
+ "location": {
+ "file": "/home/makx/ac/gap/lib/ringsc.gd",
+ "line": 27
+ },
"name": "((((IsNearAdditiveGroup and (IsNearAdditiveMagma and IsAdditivelyCommutative)) and IsMagma) and (IsLDistributive and IsRDistributive)) and CategoryCollections(IsSCRingObj))",
"type": "GAP_AndFilter"
},
@@ -432863,6 +433767,10 @@
"Tester(IsAssociative)",
"CategoryCollections(IsElementOfFpSemigroup)"
],
+ "location": {
+ "file": "/home/makx/ac/gap/lib/fpsemi.gd",
+ "line": 83
+ },
"name": "((IsMagma and IsAssociative) and CategoryCollections(IsElementOfFpSemigroup))",
"type": "GAP_AndFilter"
},
@@ -432878,6 +433786,10 @@
"Tester(IsSingleValued)",
"IsToFpGroupGeneralMappingByImages"
],
+ "location": {
+ "file": "/home/makx/ac/gap/lib/ghomfp.gd",
+ "line": 96
+ },
"name": "(IsToFpGroupGeneralMappingByImages and ((IsGeneralMapping and IsTotal) and IsSingleValued))",
"type": "GAP_AndFilter"
},
@@ -432893,6 +433805,10 @@
"Tester(IsSingleValued)",
"IsToPcGroupGeneralMappingByImages"
],
+ "location": {
+ "file": "/home/makx/ac/gap/lib/ghompcgs.gd",
+ "line": 71
+ },
"name": "(IsToPcGroupGeneralMappingByImages and ((IsGeneralMapping and IsTotal) and IsSingleValued))",
"type": "GAP_AndFilter"
},
@@ -432908,6 +433824,10 @@
"Tester(IsSingleValued)",
"IsToPermGroupGeneralMappingByImages"
],
+ "location": {
+ "file": "/home/makx/ac/gap/lib/ghomperm.gd",
+ "line": 62
+ },
"name": "(IsToPermGroupGeneralMappingByImages and ((IsGeneralMapping and IsTotal) and IsSingleValued))",
"type": "GAP_AndFilter"
},
@@ -432921,6 +433841,10 @@
"IsAssociative",
"Tester(IsAssociative)"
],
+ "location": {
+ "file": "/home/makx/ac/gap/lib/semitran.gd",
+ "line": 16
+ },
"name": "((IsMagmaWithOne and IsAssociative) and CategoryCollections(IsTransformation))",
"type": "GAP_AndFilter"
},
@@ -432934,6 +433858,10 @@
"IsAssociative",
"Tester(IsAssociative)"
],
+ "location": {
+ "file": "/home/makx/ac/gap/lib/semitran.gd",
+ "line": 14
+ },
"name": "((IsMagma and IsAssociative) and CategoryCollections(IsTransformation))",
"type": "GAP_AndFilter"
},
@@ -432947,6 +433875,10 @@
"IsUnivariateRationalFunction",
"Tester(IsUnivariateRationalFunction)"
],
+ "location": {
+ "file": "/home/makx/ac/gap/lib/ratfun.gd",
+ "line": 314
+ },
"name": "(IsPolynomial and IsUnivariateRationalFunction)",
"type": "GAP_AndFilter"
},
@@ -432960,6 +433892,10 @@
"IsExtLElement",
"IsExtRElement"
],
+ "location": {
+ "file": "/home/makx/ac/gap/lib/arith.gd",
+ "line": 438
+ },
"name": "(((IsNearAdditiveElementWithInverse and IsAdditiveElement) and IsExtLElement) and IsExtRElement)",
"type": "GAP_AndFilter"
},
@@ -432973,6 +433909,10 @@
"CategoryCollections(CategoryCollections(IsExtLElement))",
"CategoryCollections(CategoryCollections(IsExtRElement))"
],
+ "location": {
+ "file": "/home/makx/ac/gap/lib/arith.gd",
+ "line": 446
+ },
"name": "(((CategoryCollections(CategoryCollections(IsNearAdditiveElementWithInverse)) and CategoryCollections(CategoryCollections(IsAdditiveElement))) and CategoryCollections(CategoryCollections(IsExtLElement))) and CategoryCollections(CategoryCollections(IsExtRElement)))",
"type": "GAP_AndFilter"
},
@@ -432986,6 +433926,10 @@
"CategoryCollections(IsExtLElement)",
"CategoryCollections(IsExtRElement)"
],
+ "location": {
+ "file": "/home/makx/ac/gap/lib/arith.gd",
+ "line": 442
+ },
"name": "(((CategoryCollections(IsNearAdditiveElementWithInverse) and CategoryCollections(IsAdditiveElement)) and CategoryCollections(IsExtLElement)) and CategoryCollections(IsExtRElement))",
"type": "GAP_AndFilter"
},
@@ -433000,6 +433944,10 @@
"CategoryCollections(IsExtLElement)",
"CategoryCollections(IsExtRElement)"
],
+ "location": {
+ "file": "/home/makx/ac/gap/lib/arith.gd",
+ "line": 450
+ },
"name": "((((CategoryCollections(IsNearAdditiveElementWithInverse) and CategoryCollections(IsAdditiveElement)) and IsList) and (CategoryCollections(IsExtLElement) and IsList)) and (CategoryCollections(IsExtRElement) and IsList))",
"type": "GAP_AndFilter"
},
@@ -433014,6 +433962,10 @@
"CategoryCollections(CategoryCollections(IsExtLElement))",
"CategoryCollections(CategoryCollections(IsExtRElement))"
],
+ "location": {
+ "file": "/home/makx/ac/gap/lib/arith.gd",
+ "line": 454
+ },
"name": "((((CategoryCollections(CategoryCollections(IsNearAdditiveElementWithInverse)) and CategoryCollections(CategoryCollections(IsAdditiveElement))) and IsTable) and (CategoryCollections(CategoryCollections(IsExtLElement)) and IsTable)) and (CategoryCollections(CategoryCollections(IsExtRElement)) and IsTable))",
"type": "GAP_AndFilter"
},
@@ -433025,6 +433977,10 @@
"IsMultiplicativeElementWithInverse",
"IsWord"
],
+ "location": {
+ "file": "/home/makx/ac/gap/lib/word.gd",
+ "line": 144
+ },
"name": "(IsWord and IsMultiplicativeElementWithInverse)",
"type": "GAP_AndFilter"
},
@@ -433036,6 +433992,10 @@
"IsMultiplicativeElementWithOne",
"IsWord"
],
+ "location": {
+ "file": "/home/makx/ac/gap/lib/word.gd",
+ "line": 142
+ },
"name": "(IsWord and IsMultiplicativeElementWithOne)",
"type": "GAP_AndFilter"
},
@@ -433048,6 +434008,10 @@
"Tester(IsZero)",
"IsPolynomialFunction"
],
+ "location": {
+ "file": "/home/makx/ac/gap/lib/ratfun.gd",
+ "line": 371
+ },
"name": "(IsZero and IsPolynomialFunction)",
"type": "GAP_AndFilter"
},
@@ -433059,6 +434023,10 @@
"IsFFE",
"IsZmodnZObj"
],
+ "location": {
+ "file": "/home/makx/ac/gap/lib/zmodnz.gd",
+ "line": 82
+ },
"name": "(IsZmodnZObj and IsFFE)",
"type": "GAP_AndFilter"
},
@@ -433071,6 +434039,10 @@
"IsLexOrderedFFE",
"IsZmodnZObj"
],
+ "location": {
+ "file": "/home/makx/ac/gap/lib/zmodnz.gd",
+ "line": 84
+ },
"name": "((IsZmodnZObj and IsFFE) and IsLexOrderedFFE)",
"type": "GAP_AndFilter"
},
@@ -433083,6 +434055,10 @@
"IsLogOrderedFFE",
"IsZmodnZObj"
],
+ "location": {
+ "file": "/home/makx/ac/gap/lib/zmodnz.gd",
+ "line": 83
+ },
"name": "((IsZmodnZObj and IsFFE) and IsLogOrderedFFE)",
"type": "GAP_AndFilter"
}
--
GitLab