Can I efficiently verify if given h is the class number of a quadratic field?
Computing the class number is not tractable.
I tried pari's Qfb and did some experiments with Lidia, but I must be missing something.
What I tried is for random a compute ah but I don't get the identity and in Lidia I can't check if it is principal.
