Real affine group (source code)

= Real affine group
{wiki=Affine_group}

The orientation-preserving real affine group acts by $x\mapsto e^ax+b$ and has multiplication $(a,b)(a',b')=(a+a',b+e^ab')$.