Questions tagged [gap]

GAP (Groups, Algorithms and Programming) is a system for computational discrete algebra, with particular emphasis on Computational Group Theory. It provides a programming language, a library of thousands of functions implementing algebraic algorithms, and large data libraries of algebraic objects.

Please note that GAP Forum or GAP Support may be more suitable places for questions about GAP: see http://www.gap-system.org/Contacts/Forum/forum.html

This is the tag for questions related to the computational algebra system GAP.

GAP (Groups, Algorithms and Programming) is a system for computational discrete algebra, with particular emphasis on Computational Group Theory. It provides a programming language, a library of thousands of functions implementing algebraic algorithms written in the GAP language as well as large data libraries of algebraic objects. GAP is used in research and teaching for studying groups and their representations, rings, vector spaces, algebras, combinatorial structures, and more.

Suggestions on using the gap tag:

  • please use it for new questions which explicitly ask something about the GAP system. This will help other GAP users who are reading math.SE to discover your question;

  • please don't use it for retrospective tagging of answered or commented questions where the answers/comments use GAP but most likely same calculation could be performed with any general-purpose computer algebra system;

  • in other cases, please use it with certain discretion, dependently on the potential learning value of the content of the discussion for other GAP users.

If you want to ask a question in this category, please note that there are well-established support channels for GAP users such as GAP Forum and GAP Support which may be more suitable places for such questions with a different (though possibly intersecting) audience, and with a different response rate (which may be faster or slower, dependently on your question). While there are certainly GAP users and some authors of GAP and/or its packages among the users of this Q&A site, please do not assume that the question on GAP asked here will necessarily be seen by the majority of GAP developers and package authors. On the other hand, research questions which may be of interest to wide ranks of GAP users are certainly welcomed here as well.

It may also happen that your question is already answered in the Frequently Asked Questions section of the GAP website or in the GAP Forum (to search GAP Forum archives, click here).

Finally, if you think that you have discovered a bug in the GAP system, the recommended way to report it is to use the GAP issue tracker on GitHub. Many packages have their own issue trackers, which you can find following the links here.

810 questions
0
votes
1 answer

Same presentation groups,

I am trying to look in GAP if it tells us that two groups have same presentation, like, IsIdenticalPresentation(G,H); but I couldn't find any. Could you please help me to find out, if there is any? In magma there is such command, but I am wondering…
S786
  • 1,001
0
votes
2 answers

find a particular function of cubic function in gap

I am trying to find a cubic polynomial over GF(5) that evaluates to zero at the points (1,2,0),(2,0,0),(1,4,1),(-2,-1,-1),(-3,2,1),(1,-1,0),(2,-3,1),(-3,-2,2),(1,-2,1). Clearly the zero polynomial would satisfy the condition, thus I'm looking for a…
user23
  • 35
0
votes
1 answer

Elements of the group with largest degree

I want to find the elements of the Alternating group of some largest degree, but when I try g:=Elements(AlternatingGroup(31)); it always gives an error of exceeded the permitted memory. Is there anyway to check the elements of the altenating group…
S786
  • 1,001
-1
votes
1 answer

Why can't I compute the irreducible representation and character table of `AffineCrystGroup`?

See the following example code snippets in GAP: gap> M1:=[[0,0,1,0],[1,0,0,0],[0,-1,0,0],[1/4,1/4,1/4,1]];; gap> M2:=[[0,0,-1,0],[0,-1,0,0],[1,0,0,0],[0,0,0,1]];; gap> S:=AffineCrystGroup([M1,M2]); gap>…
-1
votes
1 answer

The strange isomorphic mapping shown in GAP: [ P, Q ] -> [ <[ [ 1, 1 ] ]|P>, <[ [ 2, 1 ] ]|Q> ].

I tested the following code snippet in GAP: gap> f:=FreeGroup("P" ,"Q");; gap> G8_5:=f/ParseRelators(f, "P^4 = Q^4 = 1, Q*P = P^3*Q, Q^2 = P^2");; gap> AssignGeneratorVariables(G8_5); #I Global variable `P' is already defined and will be…
-1
votes
1 answer

Compute $e^{{-2\pi i}/3}$ in GAP.

I tried to calculate the following expression in GAP, but failed: gap> E(-3); Error, E: must be a positive small integer (not the integer -3) not in any function at *stdin*:49 type 'quit;' to quit to outer loop So, how can I compute the…
1 2 3 4 5 6
7