\addtolength \textwidth 0 m m \addtolength \hoffset - 0 m m \addtolength \textheight 0 m m \addtolength \voffset - 0 m m \global \long \global \long \global \long \global \long \global \long \global \long \global \long \global \long \global \long \global \long \global \long \global \long \global \long \global \long \global \long \global \long \global \long \global \long \global \long \global \long \global \long \global \long \global \long \global \long \global \long \global \long \global \long \global \long \global \long \global \long \global \long \global \long \global \long \global \long \global \long \global \long \global \long \global \long \global \long \global \long \global \long \global \long \global \long \global \long \global \long \global \long \global \long \global \long \global \long \global \long \global \long \global \long \global \long \global \long \global \long \global \long \global \long \global \long \global \long \global \long \global \long \global \long \global \long \global \long \global \long \global \long \global \long \global \long \global \long \global \long \global \long \global \long \global \long \global \long \global \long \global \long \global \long \global \long \global \long \global \long \global \long \global \long \global \long \global \long \global \long \global \long \global \long \global \long \global \long \global \long \global \long \global \long \global \long \global \long \global \long \global \long \global \long \global \long \global \long \global \long \global \long \global \long \global \long \global \long

4 – Proj | AmpTester

Assume known an ample class $a_{0} \in S$ . Then a class $v \in S$ is ample if and only if the three following conditions all hold.

Condition AC1
$⟨ v, v ⟩_{S} > 0 and ⟨ v, a_{0} ⟩_{S} > 0$

Condition AC2
${r \in S ∣ ⟨ v, r ⟩_{S} = 0, ⟨ r, r ⟩_{S} = - 2} = \emptyset$
Checked with ShiChecker

Condition AC3
${r \in S ∣ ⟨ v, r ⟩_{S} < 0, ⟨ a_{0}, r ⟩_{S} > 0, ⟨ r, r ⟩_{S} = - 2} = \emptyset$
Checked with ShiBooster