Skip to content

Instantly share code, notes, and snippets.

View stakemori's full-sized avatar

Sho Takemori stakemori

6 followers · 1 following
  • Japan
View GitHub Profile
@stakemori
stakemori / structure_sqrt2.csv
Created February 15, 2018 12:40
i parity Weights of generators Weights of relations
1 even [6, 8, 10] [12]
1 odd [5, 7]
2 even [4, 6]
2 odd [3, 7]
3 even [4, 6, 8] [10]
3 odd [3, 5]
4 even [2, 4]
4 odd [5, 5, 7] [11]
5 even [4, 6, 6] [12]
@stakemori
stakemori / extra_blank_lines.patch
Created January 14, 2017 02:41
diff --git a/src/sage/repl/interpreter.py b/src/sage/repl/interpreter.py
index 6c6dfd7..e7cc68c 100644
--- a/src/sage/repl/interpreter.py
+++ b/src/sage/repl/interpreter.py
@@ -102,12 +102,17 @@ Check that Cython source code appears in tracebacks::
#*****************************************************************************
+from __future__ import print_function
import os
@stakemori
stakemori / Dockerfile
Created December 15, 2016 12:02
FROM ubuntu:16.04
RUN apt-get update && \
apt-get install -y build-essential m4 git python-pip gdb
# Create a user
RUN mkdir /home/docker && \
groupadd -g 1000 dev && \
useradd -g dev -G sudo -s /bin/bash docker && \
echo 'docker:docker' | chpasswd && \
chown -R docker /home/docker
@stakemori
stakemori / error_msg.txt
Created December 15, 2016 12:00
[dochtml] /lib/x86_64-linux-gnu/libc.so.6(__libc_start_main+0xf0)[0x7f48dee9c830]
[dochtml] python(_start+0x29)[0x400769]
[dochtml] ------------------------------------------------------------------------
[dochtml] Attaching gdb to process id 16575.
[dochtml]
[dochtml] Saved trace to /home/docker/.sage/crash_logs/crash_QXFkJu.log
[dochtml] ------------------------------------------------------------------------
[dochtml] Unhandled SIGSEGV: A segmentation fault occurred.
[dochtml] This probably occurred because a *compiled* module has a bug
[dochtml] in it and is not properly wrapped with sig_on(), sig_off().
@stakemori
stakemori / degree2_install_script.py
Created December 11, 2016 02:37
import os
def install_degree2_package():
cmd = '''mkdir ~/sage_packages
cd ~/sage_packages
mv ~/degree2-master.zip .
unzip degree2-master.zip
mv degree2-master degree2
touch ~/.sage/init.sage
cat ~/sage_packages/degree2/config/example_config.sage >> ~/.sage/init.sage
@stakemori
stakemori / charpolys_degree2.py
Created November 30, 2016 02:56
from degree2.all import CuspFormsDegree2
def compute_charpolys(k):
'''
Assuming the charstestic polynomial of T(2) on S_k(Sp(4, Z))
is square free over Q,
return a pair of polynomials (pl1, pl2) s.t.
pl1 is the characteristic polynomial of T(2)
pl2 is the characteristic polynomial of T_1(4).
@stakemori
stakemori / annotation contains a newline
Created May 24, 2016 11:12
import itertools
from sage.rings.all import Integer, PolynomialRing, QuadraticField
from sage.matrix.all import matrix
from sage.misc.all import cached_function
from sage.modules.all import vector
def conj(x):
return x.map_coefficients(lambda c: c.conjugate())
@stakemori
stakemori / start_cleaner_modified.py
Last active February 21, 2016 09:51
def start_cleaner_modified():
"""
Start ``sage-cleaner`` in a new process group.
"""
pid = os.fork()
if not pid:
os.setpgid(os.getpid(), os.getpid())
# Redirect stdin, stdout, stderr to /dev/null
with open(os.devnull, "r+") as f:
@stakemori
stakemori / gist:8c3e1f6e3f73f5db3a7a
Created September 11, 2015 03:57
corrupted buffer
# -*- coding: utf-8 -*-
cl# -*- coding: utf-8 -*-
@stakemori
stakemori / test-revert-buffer.el
Created September 10, 2015 13:18
#20440 reproducible code
(require 'cl-lib)
(defun my/test-revert-buffer ()
(let ((file (make-temp-file "test-revert-buffer" nil ".py"))
(file-content1 "# -*- coding: utf-8 -*-
'''
Foo.
'''