This file is generated from the following refutation as produced by random generation of polynomials: '(1 * x2 + 2 * y2 + 1 * x + 1 * y + 2 * x * y) % 3' (0, 306, 2034, 2049, 3252, 3658, 3659)

The magma definition

def «FinitePoly x² + 2 * y² + x + y + 2 * x * y % 3» : Magma (Fin 3)

Equations

• «FinitePoly x² + 2 * y² + x + y + 2 * x * y % 3» = { op := MemoFinOp.opOfTable 2574 }

The facts

theorem «Facts from FinitePoly x² + 2 * y² + x + y + 2 * x * y % 3» : ∃ (G : Type) (x : Magma G) (_ : Finite G), Equation307 G ∧ Equation2050 G ∧ Equation3660 G ∧ ¬Equation47 G ∧ ¬Equation99 G ∧ ¬Equation151 G ∧ ¬Equation203 G ∧ ¬Equation255 G ∧ ¬Equation411 G ∧ ¬Equation614 G ∧ ¬Equation817 G ∧ ¬Equation1020 G ∧ ¬Equation1223 G ∧ ¬Equation1426 G ∧ ¬Equation1629 G ∧ ¬Equation1832 G ∧ ¬Equation2036 G ∧ ¬Equation2037 G ∧ ¬Equation2038 G ∧ ¬Equation2040 G ∧ ¬Equation2041 G ∧ ¬Equation2043 G ∧ ¬Equation2044 G ∧ ¬Equation2051 G ∧ ¬Equation2053 G ∧ ¬Equation2054 G ∧ ¬Equation2060 G ∧ ¬Equation2061 G ∧ ¬Equation2063 G ∧ ¬Equation2064 G ∧ ¬Equation2087 G ∧ ¬Equation2088 G ∧ ¬Equation2090 G ∧ ¬Equation2091 G ∧ ¬Equation2097 G ∧ ¬Equation2098 G ∧ ¬Equation2100 G ∧ ¬Equation2101 G ∧ ¬Equation2124 G ∧ ¬Equation2125 G ∧ ¬Equation2127 G ∧ ¬Equation2128 G ∧ ¬Equation2134 G ∧ ¬Equation2135 G ∧ ¬Equation2137 G ∧ ¬Equation2238 G ∧ ¬Equation2441 G ∧ ¬Equation2644 G ∧ ⋯