This topological representation readily maps to its mathematics through the powerful Maple engine and uses several simplification tools to remove redundant equations and reduce input to a minimal equation set that will accurately represent the system.
The Fuchsianity of the minimal equation for S, and the rationality of its exponents, follow by combining the results by Katz, Honda and Chudnovsky cited above.