Affine_Arithmetic_Auxiliarities

Executable_Euclidean_Space

Affine_Form

Floatarith_Expression

Straight_Line_Program

Affine_Approximation

Counterclockwise

Counterclockwise_Vector

Counterclockwise_2D_Strict

Polygon

Counterclockwise_2D_Arbitrary

Intersection

Affine_Code

Optimize_Integer

Optimize_Float

Print

Float_Real

Ex_Affine_Approximation

Ex_Ineqs

Ex_Inter

Affine_Arithmetic