Add Lie group capabilities to NavState#1613

Draft

varunagrawal wants to merge 16 commits intodevelopfrom NavState-LieGroup

+192-8

Commits on Aug 28, 2023

Commits on Aug 29, 2023

Commits on Sep 1, 2023

Commits on Jan 12, 2024

Commits on Jan 17, 2024

Commits on Oct 27, 2024

Merge branch 'develop' into NavState-LieGroup
varunagrawal
committed

Commits on Dec 11, 2024

Merge branch 'develop' into NavState-LieGroup
dellaert
committed

Commits on Dec 16, 2024