answered 2024-01-11 18:32:05 +0100
Fundamental groups are only defined if you specify a base point. Given your setup:
S_based = S.set_base_point(a) S_based.fundamental_group() # will now work
The documentation is here.