Polarised numerical data

The polarisation and the Mumford slope; the generic surface charge coordinates; the two H-discriminants; the twisted Chern character; and the two supplied inequalities.

The inequalities are not alike. BogomolovGiesekerData is true and merely out of reach here. BMTData is false in general — it fails on the blow-up of ℙ³ at a point — so it can only ever be hypothesised for one threefold at a time. See BMT.lean.