IdentifiantMot de passe
Loading...
Mot de passe oublié ?Je m'inscris ! (gratuit)
Index du forum

Recherche:

Type: Messages; Utilisateur: martin999999

Recherche: Recherche effectuée en 0,02 secondes.

  1. Votes reçus
    +0 -0
    Réponses
    9
    Affichages
    2 627

    Petite rectification dans le programme dec : ...

    Petite rectification dans le programme dec :
    dans le cas ou hd aux = 1 il faut renvoyer "tl aux" et non "aux" pour ne pas voir apparaître les 1 dans la decomposition en facteurs premiers.

    De...
  2. Votes reçus
    +0 -0
    Réponses
    9
    Affichages
    2 627

    Désolé de ne pas avoir été plus clair ! Ce...

    Désolé de ne pas avoir été plus clair !

    Ce programme sert à décomposer un entier en facteur de deux nombres, pas forcément premier.
    Par contre si le nombre de départ n est premier, le programme...
  3. Votes reçus
    +0 -0
    Réponses
    9
    Affichages
    2 627

    Désolé, mais c'était mon premier post donc je le...

    Désolé, mais c'était mon premier post donc je le saurais pour la prochaine fois
    :)
  4. Votes reçus
    +0 -0
    Réponses
    9
    Affichages
    2 627

    Invariant de boucle entrée/sortie

    Bonjour,
    Je dois prouver mon programme big_fermat :



    let big_fermat n =
    if n egale deux then [| un ; deux |] else
    let x = ref ((deux fois (racine n)) plus un)
    and r = ref (((racine...
Affichage des résultats 1 à 4 sur 4