within LieGroups;
package Analysis
  "Coordinate-aware functions for Lyapunov, reachability, and contraction analysis"
end Analysis;