This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
# -*- coding: utf-8 -*- | |
# vim: set ft=python expandtab : | |
class MyVecSpace(Parent): | |
def __init__(self, base, dim=None): | |
Parent.__init__(self, category=CommutativeAdditiveGroups().Finite()) | |
self._base = base | |
self._dim = dim if dim is not None else 1 | |
def _repr_(self): |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
### https://raw.github.com/github/gitignore/afbff9027d02ccfc680e031f6c295f79ad61662d/C++.gitignore | |
# Prerequisites | |
*.d | |
# Compiled Object files | |
*.slo | |
*.lo | |
*.o | |
*.obj |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
### https://raw.github.com/github/gitignore/f2ce448f2ba7a092da05482ceca99209127c0884/c++.gitignore | |
# Prerequisites | |
*.d | |
# Compiled Object files | |
*.slo | |
*.lo | |
*.o | |
*.obj |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
#!/usr/bin/env bash | |
# vim: set expandtab : | |
# Convert NTL Matrix to JSON. | |
cat - \ | |
| tr "\n" " " \ | |
| sed -e 's/ \]/\]/g' \ | |
-e 's/ *$//g' \ | |
-e 's/ /,/g' \ |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
.DEFAULT_GOAL := do | |
.PHONY: do | |
do: sieving-mem.pdf | |
.PHONY: clean-log | |
clean-log: | |
$(RM) fit-log_* | |
sieving-mem.pdf: sieving-mem.plot sieving-mem.gpdata | |
$(MAKE) clean-log | |
gnuplot $< |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
% -*- coding: utf-8 -*- | |
\clearpage | |
These are debug outputs and must be deleted before submission. | |
\begin{enumerate} | |
\item topsep: \the\topsep | |
\item partopsep: \the\partopsep | |
\item parsep: \the\parsep | |
\item itempsep: \the\itemsep | |
\item leftmargin: \the\leftmargin |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
/.idea/ |
OlderNewer