Knot groups, Casson-Whitney unknotting and Suciu's ribbon 2-knots in SageMath/GAP - Ruppik, Benjamin Matthias (2021)