olexandr-konovalov

###########################################################################
##
## extract_examples.g                                   Alexander Konovalov
##
###########################################################################

# This GAP script extracts examples from package manuals in GAPDoc format
# (http://www.math.rwth-aachen.de/~Frank.Luebeck/GAPDoc/). The output will
# be stored in the 'tst' directory of the package in files 'pkgnameXX.tst'
# (one file per chapter for each chapter that contains examples). 

olexandr-konovalov

# This file contains the GAP input needed to verify the result of the paper
# Mestre, Jean-François; Schoof, René; Washington, Lawrence; Zagier, Don
# Quotients homophones des groupes libres. (French) [Homophonic quotients of 
# free groups] Experiment. Math. 2 (1993), no. 3, 153--155 
# (http://eudml.org/doc/233741) with respect to the English language.

F:=FreeGroup("a","b","c","d","e","f","g","h","i","j","k","l","m",
             "n","o","p","q","r","s","t","u","v","w","x","y","z");
             
AssignGeneratorVariables(F);

olexandr-konovalov

ColorDemo  := function( file )
    #
    # This function provides a demonstration mode for GAP. To run a demo, 
    # read this function GAP and call it as
    #
    # ColorDemo("demofile.g"); 
    # 
    # where "demofile.g" is the name of your input file. The input file
    # should contain only GAP input (no GAP prompts and no output). If 
    # you can run the input file by reading it into GAP or pasting it

olexandr-konovalov

;PSPad user HighLighter definition file by Alexander Konovalov, 2011
;This is my GAP.INI for PSPad (http://www.pspad.com/). To install it,
;find where the GAP.INI file is located in your PsPAD installation 
;(likely in the 'Syntax' subdirectory) and replace it by this file.
;Make a backup copy of the old GAP.INI in case you'd like to revert it.
[Settings]
Name=GAP
HTMLGroup=0
FileType=.gi,.gd,.g
CommentString=2

olexandr-konovalov

<?xml version="1.0" encoding="UTF-8"?>
<!DOCTYPE plist PUBLIC "-//Apple Computer//DTD PLIST 1.0//EN" "http://www.apple.com/DTDs/PropertyList-1.0.dtd">
<plist version="1.0">
<dict>
	<key>beginCommand</key>
	<string></string>
	<key>endCommand</key>
	<string></string>
	<key>beginInstruction</key>
	<string></string>

olexandr-konovalov

s := [ "Print(\"s := \", s, \";; \");", "for t in s do Print(t); od;" ];;Print("s := ", s, ";;" );for t in s do Print(t); od;

olexandr-konovalov

wo: 500000000;
Group Name: U_3(5);
Group Generators: xy;
Group Relators: x^2=(xy)^10, xy^-2xy^2x(yxy^-2xyxy)^2, (x,y^2)^4=y^5;
Subgroup Name: H;
Subgroup Generators: ;
hard;
beg;

olexandr-konovalov

• Project Jupyter

  • Website: https://jupyter.org
  • How to install: https://jupyter.org/install
  • "Try it" tutorials: https://jupyter.org/try
  • Documentation: http://jupyter.org/documentation
  • List of kernels: https://github.com/jupyter/jupyter/wiki/Jupyter-kernels
  • Where it started - IPython: https://ipython.org

• Publishing and sharing Jupyter notebooks

• GitHub: https://help.github.com/articles/working-with-jupyter-notebook-files-on-github/

olexandr-konovalov

# Code for https://math.stackexchange.com/q/2933753/

TestOneOrder:=function(n)
# find the smallest example among the groups of order n
local s,i,m,d,x;
# Calculate lists of sums of element orders.
# Avoid using AllSmallGroups(n) which potentially may be very large
s := List([1..NrSmallGroups(n)],i->Sum(List(SmallGroup(n,i),Order)));
if Length(Set(s))=NrSmallGroups(n) then
  # Sum of element orders uniquely defines each group