“…Notice that v(g 4 ) = v(xg 1 ) and v(h 3 ) = v(x 2 z + f 1 ), so we can discard g 4 and h 3 from G 1 in such way that we obtain, by Proposition 12, a minimal Standard Basis (8,8), (10,10), (∞, 21), (∞, 25), (∞, 32), (∞, 34), (∞, 36), (25, ∞), (27, ∞), (29, ∞), (31, ∞), (32, ∞), (34, ∞), (17,17), (19,19)} is the minimal set of generators of the semiring Γ and its conductor is (31, 31).…”