x b a x b a min A max B det C Pr A gcd A u ̇ 2 u ¯ ε u _ b a a + b term a + b c a + b c a + b c H e 3 x A x 3