ForHosting KIT · Mathématiques

Nombre de classes quadratique imaginaire

Saisissez un d sans facteur carré et obtenez le nombre de classes exact de Q(√−d) : pour 23, le discriminant vaut −23 et le nombre de classes 3 ; pour 1, les rationnels de Gauss, il vaut 1. Gratuit dans votre navigateur.

  • Gratuit
  • Fonctionne dans votre navigateur
  • Sans inscription
  • Vos données restent sur votre appareil
Utilisez-le depuis WebAPIE-mailTelegramApp bientôt
Si vous saisissez
D
23
Vous obtenez
Discriminant
-23
Nombre de classes
3

Ce calculateur reçoit un entier positif sans facteur carré d et détermine le nombre de classes de Q(sqrt(-d)). Il choisit le discriminant fondamental, puis compte de façon déterministe les formes quadratiques binaires primitives, positives et réduites. Le résultat exact indique le discriminant retenu, afin que vous puissiez vérifier exercices, tables et expériences sans base de données distante.

Du radicande au discriminant du corps

L’entrée d définit Q(sqrt(-d)), mais le discriminant n’est pas toujours -d. Si d vaut 3 modulo 4, il est -d; dans les autres cas sans facteur carré, il vaut -4d. Cette distinction évite de compter un ordre plutôt que l’anneau entier.

Le calculateur applique la règle et affiche le discriminant. d doit être positif et aucun carré premier ne doit le diviser : 5 convient, mais 12 non, car 4 le divise. Ce contrôle garantit une description canonique du corps. La borne publiée assure par ailleurs une exécution rapide et prévisible dans votre navigateur.

Pourquoi les formes réduites donnent le résultat

Pour un discriminant fondamental négatif D, les classes d’idéaux correspondent aux classes de formes primitives positives ax^2+bxy+cy^2 telles que b^2-4ac=D. Chaque classe possède un représentant réduit. L’algorithme énumère a et b dans des bornes finies, déduit c et conserve |b|<=a<=c.

Aux frontières |b|=a ou a=c, seul b non négatif est retenu afin d’éviter les doublons; gcd(a,b,c)=1 impose la primitivité. La borne a<=sqrt(|D|/3) garantit l’arrêt. Le comptage est donc exact, sans approximation, hasard, table externe ni heuristique.

Vérifier un exercice

Contrôlez une énumération manuelle de formes positives réduites.

Construire une petite table

Traitez des radicandes sans facteur carré et conservez discriminant et total exact.

Tester une autre méthode

Comparez un programme fondé sur les idéaux, des formules ou une autre convention.

Quelles entrées sont admises ?

Un entier positif sans facteur carré d entre 1 et 1,000,000,000.

Pourquoi d doit-il être sans facteur carré ?

Il décrit ainsi le corps canoniquement et détermine son discriminant fondamental.

Quel discriminant est utilisé ?

-d si d vaut 3 modulo 4, sinon -4d.

Que compte le calculateur ?

Les formes quadratiques binaires entières primitives, positives et réduites du discriminant fondamental.

Le résultat est-il approximatif ?

Non, l’énumération finie repose sur des opérations entières exactes.

Tout sur cette page est disponible par programmation. Cette section s'adresse aux équipes qui veulent l'intégrer à leurs systèmes ; les autres peuvent simplement utiliser l'outil ci-dessus.

POSThttps://api.kit.forhosting.com/numth/class-number-imaginary

Authentification par jeton Bearer : un seul POST met la tâche en file d’attente, et le résultat vous parvient par webhook ou lien signé.

curl -X POST https://api.kit.forhosting.com/numth/class-number-imaginary \
  -H "Authorization: Bearer $KIT_KEY" \
  -H "Content-Type: application/json" \
  -d '{"d":23}'
{
  "d": 23
}
{
  "task_id": "tsk_a1b2c3d4e5f6a1b2c3d4e5f6",
  "type": "numth.class_number_imaginary",
  "status": "queued",
  "_links": {
    "result": "/tasks/tsk_…/result"
  }
}

L’API est asynchrone : chaque appel renvoie un task_id immédiatement, puis vous interrogez l’état à raison d’une requête par seconde.

par requête$0.002

Le prix est publié, sans tokens ni crédits. Une tâche qui échoue n’est pas facturée.

max_d1000000000
HTTPCodeSignification
401unauthorizedClé API absente ou invalide : vérifiez l’en-tête Authorization.
402insufficient_balanceSolde insuffisant : rechargez votre compte pour lancer cette tâche.
404unknown_typeType de tâche inconnu : vérifiez le champ type de votre requête.
429rate_limitedTrop de requêtes : ralentissez la cadence, puis réessayez.

Lire et contrôler la réponse

La valeur un signifie que tout idéal fractionnaire est principal; une valeur supérieure mesure l’absence de générateurs principaux, pas l’échec de la factorisation unique des idéaux. Cette énumération transparente vise des entrées modérées plutôt que des calculs de recherche massifs. La réponse fournit d, le discriminant fondamental et class_number. Parmi les contrôles classiques, d=1 donne un et d=23, de discriminant -23, donne trois. Une requête API coûte $0.002; le navigateur exécute localement le même calcul pur. Sans réseau, horloge ni hasard, une entrée identique restitue toujours le même JSON.

Quel est le tarif API ?

Chaque requête coûte $0.002; le calcul dans le navigateur est gratuit.

Consulter la documentation complète du KIT →