From 2a1e9871686375f3143732d2b29165f9f59fd78a Mon Sep 17 00:00:00 2001
From: Markus Pfeiffer <markus.pfeiffer@morphism.de>
Date: Fri, 5 Feb 2016 09:14:06 +0000
Subject: [PATCH] Add comment about Family export
---
gap/gaptypes.g | 10 +++++++++-
1 file changed, 9 insertions(+), 1 deletion(-)
diff --git a/gap/gaptypes.g b/gap/gaptypes.g
index 36e01db..3576a34 100644
--- a/gap/gaptypes.g
+++ b/gap/gaptypes.g
@@ -2,7 +2,9 @@
# GAPTypesToJson("gap_types.json");
# Operations
-# Families (not necessary)
+# Families (not necessary, there is an unbounded number of
+# them and they do not convey any useful mathematical
+# information)
# Types of Installed Methods ( with filters )
LoadPackage("json");
@@ -126,6 +128,12 @@ GAPTypesInfo := function()
lres.name := NAME_FUNC(OPERATIONS[2*i - 1]);
lres.filters := FiltersForOperation(OPERATIONS[2*i - 1]);
lres.filters := List(lres.filters, x->List(x,y -> List(y,NAME_FUNC)));
+
+ for a in [1..6] do
+ meths := METHODS_OPERATION(OPERATIONS[2*i - 1], a);
+
+ od;
+
Add(res, lres);
od;
return res;
--
GitLab