Here is a list of all typedefs with links to the classes they belong to:

• Interval : Sturm::Sequence< Real >
• Vector : Sturm::Poly< Real >, Sturm::Sequence< Real >