Data

Tools

Indexes

Applications

Experiments

Open Source Science

knot-theory

Code related to low-dimensional topology

https://github.com/ben300694/knot-theory

Science Score: 67.0%

This score indicates how likely this project is to be science-related based on various indicators:

  • ✓
    CITATION.cff file
    Found CITATION.cff file
  • ✓
    codemeta.json file
    Found codemeta.json file
  • ✓
    .zenodo.json file
    Found .zenodo.json file
  • ✓
    DOI references
    Found 2 DOI reference(s) in README
  • ✓
    Academic publication links
    Links to: arxiv.org
  • ○
    Academic email domains
  • ○
    Institutional organization owner
  • ○
    JOSS paper metadata
  • ○
    Scientific vocabulary similarity
    Low similarity (11.6%) to scientific vocabulary

Keywords

algebraic-topology group-theory topology
Last synced: 6 months ago · JSON representation ·

Repository

Code related to low-dimensional topology

Basic Info
  • Host: GitHub
  • Owner: ben300694
  • License: mit
  • Language: Mathematica
  • Default Branch: main
  • Homepage:
  • Size: 878 KB
Statistics
  • Stars: 5
  • Watchers: 1
  • Forks: 0
  • Open Issues: 0
  • Releases: 0
Topics
algebraic-topology group-theory topology
Created about 7 years ago · Last pushed 10 months ago
Metadata Files
Readme License Citation

README.md

knot-theory

SageMath and GAP code related to low-dimensional topology

In particular, we study the Casson-Whitney unknotting number via lower bounds from the fundamental group of the complement.

This is applied to Suciu's infinite family of ribbon 2-knots with the trefoil knot group.

Requirements

  • SageMath version >= 9.0

Instructions

From the main git directory start sage

  • attach('src/suciu_ribbon_knots.sage') to load the file with Suciu's examples
  • attach('src/bridge_trisection.sage') to load the file with the functions for triplane diagrams, this will look for the data files in /data

Using SageMath from docker image

Docker repository for SageMath

Start SageMath command line: sudo docker run -it sagemath/sagemath:latest

Start SageMath in Jupyter Notebook: sudo docker run -p8888:8888 sagemath/sagemath:latest sage-jupyter

Using Sage's GAP interface

GAP finitely presented groups through SageMath: (https://doc.sagemath.org/html/en/reference/groups/sage/groups/finitely_presented.html)

Projective Special Linear Group: (https://groupprops.subwiki.org/wiki/Projectivespeciallinear_group:PSL(2,Z))

Logging Sage output and keeping processes running over ssh

(https://askubuntu.com/questions/8653/how-to-keep-processes-running-after-ending-ssh-session) Start tmux

Start process in the tmux session:

(https://doc.sagemath.org/html/en/tutorial/interactive_shell.html) In SageMath, activate logging with logstart -o -t Trefoil4commutator

Options: -o to also log output, -t for timestamps, can give any other name instead of 'Trefoil4commutator'

Leave/detach the tmux session by typing Ctrl + B and then D

(In tmux, Ctrl + B is the control key, while D is the command key for detaching a session)

You can now safely log off from the remote machine, your process will keep running inside tmux. When you come back again and want to check the status of your process you can use tmux attach to attach to your tmux session.

If you want to have multiple sessions running side-by-side, you should name each session using Ctrl + B and $. Alternative from the terminal tmux rename-session -t 5 brown_band_commutator where 5 is the old name and brown_band_commutator new.

You can get a list of the currently running sessions using tmux list-sessions or tmux ls, now attach to a running session with command tmux attach-session -t <session-name>

Owner

  • Name: Benjamin Matthias Ruppik
  • Login: ben300694
  • Kind: user
  • Location: Düsseldorf, Germany
  • Company: Heinrich Heine University, Düsseldorf

Topological Data Analysis for Natural Language Processing @ HHU Düsseldorf; previously PhD in Low-dimensional topology @ Max Planck Institute for Mathematics

Citation (CITATION.cff) 

cff-version: 1.2.0
message: "If you use this software, please cite it as below."
authors:
  - family-names: Ruppik
    given-names: Benjamin Matthias
    orcid: https://orcid.org/0000-0001-9035-9217
title: "Knot groups, Casson-Whitney unknotting and Suciu's ribbon 2-knots in SageMath/GAP"
version: 1.0.0
date-released: 2021-10-01

GitHub Events

Total
  • Watch event: 1
  • Delete event: 2
  • Push event: 3
  • Pull request event: 1
  • Pull request review event: 1
  • Create event: 2
Last Year
  • Watch event: 1
  • Delete event: 2
  • Push event: 3
  • Pull request event: 1
  • Pull request review event: 1
  • Create event: 2