notation for gaussbracket, leading coefficient and extending fractions