This file contains 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
#!/bin/bash | |
apt update -y | |
apt upgrade -y | |
apt install curl -y | |
apt install tar -y | |
apt install htop -y | |
yum install curl | |
yum install tar | |
yum install epel-release | |
yum install htop |
This file contains 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
#!/bin/bash | |
apt update -y | |
apt upgrade -y | |
apt install curl -y | |
apt install tar -y | |
apt install htop -y | |
yum install curl | |
yum install tar | |
yum install epel-release | |
yum install htop |
This file contains 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
major=2 | |
main=28 | |
patch=$1 | |
main() { | |
set -e | |
version="${major}.${main}-${patch}" | |
source_dir="www/magma/${version}/linux" | |
db_dir="www/magma/databases" | |
db_files="Atlas.tar.gz data3to8.tar.gz RepRat.tar.gz Trn32IdData.tar.gz TrnGps32.tar.gz" | |
tmp_dir=$(mktemp -d) |
This file contains 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
glibtoolize: Consider adding 'AC_CONFIG_MACRO_DIRS([m4])' to configure.ac, | |
glibtoolize: and rerunning glibtoolize and aclocal. | |
glibtoolize: Consider adding '-I m4' to ACLOCAL_AMFLAGS in Makefile.am. | |
checking build system type... kabylake-apple-darwin21.6.0 | |
checking host system type... x86_64-pc-linux-gnu | |
checking how to print strings... printf | |
checking for x86_64-pc-linux-gnu-gcc... no | |
checking for gcc... gcc | |
checking whether the C compiler works... yes | |
checking for C compiler default output file name... a.out |
This file has been truncated, but you can view the full file.
This file contains 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
execve("/usr/local/bin/magma", ["magma", "-b", "dr.m"], 0x7ffef921b0b0 /* 30 vars */) = 0 | |
brk(NULL) = 0x5616a927b000 | |
arch_prctl(0x3001 /* ARCH_??? */, 0x7ffea26a9280) = -1 EINVAL (Invalid argument) | |
access("/etc/ld.so.preload", R_OK) = -1 ENOENT (No such file or directory) | |
openat(AT_FDCWD, "/etc/ld.so.cache", O_RDONLY|O_CLOEXEC) = 3 | |
fstat(3, {st_mode=S_IFREG|0644, st_size=61470, ...}) = 0 | |
mmap(NULL, 61470, PROT_READ, MAP_PRIVATE, 3, 0) = 0x7f29437f0000 | |
close(3) = 0 | |
openat(AT_FDCWD, "/lib/x86_64-linux-gnu/libc.so.6", O_RDONLY|O_CLOEXEC) = 3 | |
read(3, "\177ELF\2\1\1\3\0\0\0\0\0\0\0\0\3\0>\0\1\0\0\0\300A\2\0\0\0\0\0"..., 832) = 832 |
This file contains 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
diff --git a/sos_cv.tex b/sos_cv.tex | |
index 1c79cf5..6d40f14 100644 | |
--- a/sos_cv.tex | |
+++ b/sos_cv.tex | |
@@ -1,110 +1,152 @@ | |
-\documentclass{article} | |
- | |
-\usepackage[margin=1in]{geometry} | |
+\documentclass[12pt]{article} | |
+ |
This file contains 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
10:33:10.135 Browser is supported. load-91651baadb61a52fd5a9.js:2:176856 | |
10:33:10.419 GET | |
https://chatelet.mit.edu/favicon.ico | |
10:33:10.493 XHRGET | |
https://chatelet.mit.edu/customize | |
10:33:11.353 GET | |
https://chatelet.mit.edu/webapp/favicon.ico | |
[HTTP/1.1 200 OK 0ms] |
This file contains 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
L<nu> := NumberField(PolynomialRing(Rationals())![-1,-1,1]); | |
sigma := InfinitePlaces(L)[2]; | |
R<x,y> := PolynomialRing(L, 2); | |
f := x^6 + 1/1628857959735486349961080391830471217915946290727897036023621745675138708868353798951203558353175162435463239380690099126511922048518151628852812521988509597945591607709820370716188290818*(-542408078294515535220827139572326432750541018047101605937544020321824834961935983007257719157210288106304876707200529890905026275353163812401173896631794710462269403386890592578125000*nu + 9759410210076552760162389122197190275726675735661709686853610219348767948327374875605999530079934945901823567735612966273093447524939780987989216217556943851772614698267038443238712890625)*x^5*y + 1/814428979867743174980540195915235608957973145363948518011810872837569354434176899475601779176587581217731619690345049563255961024259075814426406260994254798972795803854910185358094145409*(-542408078294515535220827139572325669773932684953195596316655383474460012874601115560725013761238551130008312957029084208 |
This file contains 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
23.2.a.a:[11] | |
29.2.a.a:[7] | |
31.2.a.a:[5] | |
35.2.a.b:[2] | |
39.2.a.b:[2,7] | |
43.2.a.b:[7] | |
51.2.a.b:[2] | |
55.2.a.b:[2] | |
62.2.a.b:[2,3] | |
63.2.a.b:[2,3] |
This file contains 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
29.2.a.a:[7] | |
31.2.a.a:[5] | |
35.2.a.b:[2] | |
39.2.a.b:[2,7] | |
43.2.a.b:[7] | |
51.2.a.b:[2] | |
65.2.a.b:[2,7] | |
65.2.a.c:[2,3] | |
67.2.a.c:[11] | |
23.2.a.a:[11] |
NewerOlder