Пример #1
0
def chartable(n, t):
    if int(n) == 1:
        G = gap.SmallGroup(n, t)
    else:
        G = gap.TransitiveGroup(n, t)
    CT = G.CharacterTable()
    ctable = gap.eval("Display(%s)" % CT.name())
    ctable = re.sub("^.*\n", '', ctable)
    ctable = re.sub("^.*\n", '', ctable)
    return ctable
Пример #2
0
def chartable(n, t):
    if int(n) == 1:
        G = gap.SmallGroup(n, t)
    else:
        G = gap.TransitiveGroup(n, t)
    CT = G.CharacterTable()
    ctable = gap.eval("Display(%s)" % CT.name())
    ctable = re.sub("^.*\n", '', ctable)
    ctable = re.sub("^.*\n", '', ctable)
    return ctable
Пример #3
0
# This loads all of the common dependencies.

from sage.all import gap
import os

wd = os.path.dirname(os.path.realpath(__file__))

sources = [wd+'/../gricci/'+f for f in [
    'all-hail-sage/nb-fun.py',
    'all-hail-sage/tree-fun.py',
    'code.py']] + [
    wd+'/../tangle/tangle-fun.py',
    wd+'/../scripts/double-coset-counter.py'
    ]

for source in sources:
    load(source)

gap.eval("""
Read("{}/../tangle/tangle-fun.g");
Read("{}/double-coset-counter.g");
""".format(wd, wd))