# optional argument GAP path
GAP = '/bin/gap.sh' if sys.argv[1:]:
GAP = sys.argv[1]
MEMORY = '3G'
for ROOT in ['centraliser', 'conjugacyClasses', 'cycleIndexPA', 'cycleIndexIA'] :
print('Working in %s' % ROOT)
OUT = ROOT+'/out' if os.path.exists(OUT):
shutil.rmtree(OUT)
os.mkdir(OUT)
pop = Popen([GAP, '-q', '-o', MEMORY, 'generate.g'], cwd = ROOT, stdin=PIPE, stdout=PIPE, stderr=STDOUT,encoding='utf8')
pop.communicate() for FILE in [f for f in os.listdir(OUT) if os.path.isfile(os.path.join(OUT, f))] :
shutil.copyfile(OUT+'/'+FILE, '../../tst/files/gen/'+FILE)
Messung V0.5
¤ Dauer der Verarbeitung: 0.11 Sekunden
(vorverarbeitet)
¤
Die Informationen auf dieser Webseite wurden
nach bestem Wissen sorgfältig zusammengestellt. Es wird jedoch weder Vollständigkeit, noch Richtigkeit,
noch Qualität der bereit gestellten Informationen zugesichert.
Bemerkung:
Die farbliche Syntaxdarstellung und die Messung sind noch experimentell.