fundamental_group# fundamental_group(k: OrientedPlanarDiagram)# Return a presentation of the fundamental group of the complement of k in S^3.
