Berenstein-Kazhdan potential, F-polynomials, Gross-Hacking-Keel-Kontsevich potential, Newton polytopes, symbolic calculations.