第87天圣人节:圣人和LMFDB中的p-adics(2017年7月17日至22日)
地点:佛蒙特大学,位于弗吉尼亚州伯灵顿。
地铁列车时刻表
活动将于7月17日星期一上午开始,7月22日星期六下午结束。研讨会将主要以项目为中心,尽管会有一些会谈。
第一天,麦肯齐·韦斯特将主持一些活动,帮助初学者认识圣人。如果您是新手,想了解更多信息以及准备方法,请向下滚动至为研讨会做准备如下所示。
以下所有活动均在大学高地南133室,除非另有说明。
7月17日,星期一
- 9:45:欢迎,公告
- 10:00:David Roe,《圣人中的p-adics简介》
- 11:00:约翰·琼斯,LMFDB简介
- 2:00:每日股东大会
- 以下:麦肯齐·韦斯特(Mckenzie West),与圣人(Sage)一起定位,北高地大学(University Heights North)119
7月18日,星期二
10:00:威廉·斯坦因,圣人的状态
- 10:20:William Stein,Sage中的模块化形式代码
- 11:00:每日股东大会
7月19日,星期三
- 10:00:Tristan Vaccon:p-adic矩阵的特征多项式
- 11:00:每日股东大会
7月20日,星期四
- 10:00:Ben Hutz:Sage中的动力系统
- 11:00:每日股东大会
7月21日,星期五
- 10:00:Marc Masdeu:以正确的方式分发Sage/Python代码
- 11:00:每日股东大会
7月22日,星期六
位置图
这里有一个校园地图大学高地用绿色圈起来。宿舍的登记位置也用箭头表示。报到地点在大学高地北,但我们所有的宿舍以及我们将要见面的主房间(大学高地南133)都在大学高地南。
我们的房间是
- 南部大学高地133
- 大学高地北119
- 大学高地北016
- 生活学习楼B B132
- 生活和学习共享空间302
公共休息室里有电源板、白纸、纸架和记号笔。
项目
欢迎向我们的项目列表
请将“sd87”作为关键字添加到您本周处理的所有票据中,以便它们显示在以下列表中:sd87门票
参与者
查看我们的与会者名单.
住宿和旅行
如果您仍然需要有关住宿和旅行安排的信息,看这里。退房时间是7月23日星期日上午11点,前台的电话是802-656-5550。
你可以使用这个谷歌文档共享出租车。
报销
报销指示将在会议第一天发出。如果你是不如果您是美国公民或绿卡持有者,请携带您的护照和任何签证文书(I-94、签证印章等),以便您在这里时我们可以进行扫描。
校园互联网
佛蒙特大学提供程序在校园里。要在UVM上访问网络,请在旅行前花几分钟时间设置好笔记本电脑,而您是在家里的大学校园里。如果您没有eduroam,请联系Christelle Vincent以接收UVM网络的访客登录。
k8s服务器
William为我们提供了一台服务器,供我们在研讨会期间使用,它有48个CPU和256 GB的RAM。它正在运行CoCalc,因此您可以从浏览器访问它。
创建帐户
您应该创建一个帐户在这里。您需要一个已通过电子邮件发送给参与者的秘密令牌(如果找不到,请询问某人)。一旦你有了账户,就必须有人将你加入Sage Days 87项目;任何已经参与项目的人都可以从项目设置页面执行此操作。此时,您将能够访问位于的服务器k8s.sagemath.org网站.
吉特
如果你要进行Sage开发,你需要设置一个知道你是谁的终端(因为我们从浏览器登录时都使用同一个用户)。这样我们就可以在服务器上共享Sage安装。要进行设置,请打开终端(~/Terms/Admin.term为此目的而存在)并运行脚本设置用户(_U)。这将询问您一些问题(姓名、电子邮件、trac帐户信息)并为您创建终端(~/Terms/$TRAC_USERNAME.term)。它还将创建一个特定于您的ssh密钥,您应该将其上传到trac公司如果您曾经与git交互,则应该使用此终端(或下面描述的ssh方法)。特别是,请不要在任何Sage安装上设置git配置。
注意,默认情况下,它会将trac密码以纯文本形式存储在服务器上的文件中。如果您不想这样做,只需对“store-trac password”问题回答“No”,您就会在每次ssh会话开始时被要求输入密码。
SSH(SSH)
添加公钥后从您的笔记本电脑(由生成ssh-密钥然后从中复制~/.ssh/id_rsa.pub例如)至~/.ssh/授权密钥 在浏览器中,您将能够使用以下命令将SSH连接到项目中。
ssh标准[电子邮件保护]第2222页
在你输入的开始~/.ssh/授权密钥你应该加上命令=“.init_user roed”例如。您可以查看其他键以获取示例。
Sage装置
您可以在几分钟内创建一个新的Sage安装,如下所示(将BLAH替换为您的安装名称,例如您的trac用户名):
cd~/Src/./new_sage空白
现在圣人-BLAH您可以处理票据。如果您认为您将进行大量开发,请随意创建自己的安装(用trac用户名标记);如果你经验不足,你可以作为团队的一部分分享一个。
建筑和大产量
避免在终端中发送大量输出,因为这会降低每个人的整个项目速度(没有充分实现适当的输出截断)。
相反,请这样做
./sage-b>输出2>&1
而不仅仅是向终端发送大量输出。您可以通过键入来检查输出
尾部输出
或者,如果您知道tmux,请使用control+b,然后使用c创建一个新会话,并将大输出会话留在另一个会话中。你可以用control+b然后n来回切换。
如果您已经按照上述方式设置了终端,那么
生成build
在sage文件夹中,将为您执行重定向,并自动使用多个线程(以便构建速度更快)。
Jupyter笔记本
[威廉·斯坦因编辑]
我们的定制Sages可从Jupyter笔记本中获得。只需复制/projects/da1818ed-996d-4de6-acc6-361415b7725d/.local/share/jupyter/kernels/sageroed(旁边)并编辑kernel.json以指向您的安装。请参见https://github.com/sagemathinc/cocalc/issues/2201
多路复用器
当前的CoCalc终端实现在调整大小时插入奇怪的控制字符时存在一些错误。修复方法是在打开并登录到个人终端后键入tmux,或者只使用SSH。
当地餐饮选择
查看地图Christelle成功了!一些人晚餐会吃外卖。
为研讨会做准备
在研讨会的第一天,麦肯齐·韦斯特将引导一些活动,帮助新手与Sage建立关系。请继续关注更多细节。在研讨会之前,我们建议下载和安装Sage最新版本的源代码,打开一个Sage trac公司帐户并完成代码学院Python和Git上的模块。
如果您从未做过任何LMFDB开发工作,并且可能想开始--到目前为止,研讨会是最好的起点。起点是最近在您自己的笔记本电脑上安装Sage,您可以在上面运行LMFDB网站软件,只需稍作设置。以下是操作方法:https://github.com/LMFDB/LMFDB/blob/master/GettingStarted.md
对于这个研讨会,我们有专用的只读服务器,简化了一些步骤。如果将一个名为蒙古配置其内容如下:
[数据库]端口=27017主机=只读.lmfdb.xyz
sage-python start-lmfdb.py--调试