Discussion :

[Trap D]

Bonjour

Tout est dans le titre.
Existe-t-il un calcul mathématiques pour connaître la partie entière d'un nombre décimal, c'est sans doute évident, mais sur le moment je ne vois pas
Merci.

[pseudocode]

Par "calcul mathématique" tu entends une formule ?

du genre int(x) = x - (x mod 1)

[Invité]

Bonjour,
Moi, j'essayerais de reconstruire le nombre
N= ... + n3.E3 + n2.E2 + n1.E1 + n0.E0 + les décimales
E étant les puissances de 10.
Donc, la partie entière est la somme des nxEx.
Sinon, en C il y floor(), mais je suppose qui vous le saviez .

[Trap D]

Oui, je cherche une formule.
Le langage que j'utilise (Prolog) connait floor mais la librairie (clpr) n'en veut pas donc j'essaie de trouver quelque chose avec + - * / mais pas mod par exemple car mod ne s'applique qu'aux entiers en Prolog.

[pseudocode]

Oui, je cherche une formule.
Le langage que j'utilise (Prolog) connait floor mais la librairie (clpr) n'en veut pas donc j'essaie de trouver quelque chose avec + - * / mais pas mod par exemple car mod ne s'applique qu'aux entiers en Prolog.

?

Il n'y a pas une fonction genre integer() ou un opérateur de division entière en Prolog ?

[bhamp0]

En division entière, tu as "//" et "div" si je me souviens bien.
Sinon tu dois avoir la fonction "float_integer_part".

[Trap D]

En division entière, tu as "//" et "div" si je me souviens bien.
Sinon tu dois avoir la fonction "float_integer_part".

Exactement ce que je cherchais... sauf que la lib n'en veut pas

[pseudocode]

Exactement ce que je cherchais... sauf que la lib n'en veut pas

Tu peux toujours utilise la définition :

[Trap D]

Tu peux toujours utilise la définition :

Oui, bien sur, mais je voulais un calcul "rapide".

Je vais mettre car je pense qu'il n'y a pas de solution !

[Onimaru]

Salut,
Si j'ai bien compris tu veux une fonction de Real vers integer qui calcule la partie entière de X sans utiliser la librairie de Prolog ?

[Trap D]

Oui, un calcul (je ne peux même pas en faire une fonction, je dois réécrire le calcul à chaque fois), en utilisant uniquement + - / * min, max car j'utilise la lib clpr qui ne veut que ces opérateurs mathématiques

[Onimaru]

Oui, un calcul (je ne peux même pas en faire une fonction, je dois réécrire le calcul à chaque fois), en utilisant uniquement + - / * min, max car j'utilise la lib clpr qui ne veut que ces opérateurs mathématiques

Salut,
Juste pour bien comprendre :
1) Les seuls opérateurs autorisés sont ceux de la table 10 (Non-linear constraints du lien clpr)

2) Tous les nombre dans Prolog sont des réels.

3) pas d'opérateurs de décalage de bits

c'est comme ça je crois?

[Trap D]

Oui c'est exactement cela ! (à part que Prolog connait les integer (de toute taille d'ailleurs)).
Pour bien comprendre voici ce que je veux faire : je voudrais inverser cette formule : X is I + floor(0.5+sqrt(I)) qui permet d'obtenir la suite des nombres qui ne sont pas des carrés :
par exemple avec le code

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
3
4
seq_non_square(N) :-
	forall(between(1,N,I),
	       ( X is I + floor(0.5+sqrt(I)),
	       writeln(X))).

on obtient :

?- seq_non_square(21).
2
3
5
6
7
8
10
11
12
13
14
15
17
18
19
20
21
22
23
24
26
true.

Je voudrais donc un calcul qui me permette de trouver I à partir d'un nombre X en faisant { X = I + floor(0.5+sqrt(I)) } avec la lib clpr !

[Onimaru]

Salut,
Je vois maintenant clair, je vais essayer de le faire.
C'est le genre de problèmes qui m'intéresse

Toutes fois si vous voulez bien me dire où peut on trouver :
*Prolog
*la bibliothèque clpqr
*un ou des cours intéressants sur Prolog

Nb : J'utilise Windows Xp.

J'ai toujours entendu parler de Prolog, je veux maintenant l'essayer.
Merci.

[Trap D]

J'utilise SWI-Prolog. Les bibliothèques clpq et clpr sont incluses.
Tu as quelques cours ici !

[Onimaru]

J'utilise SWI-Prolog. Les bibliothèques clpq et clpr sont incluses.
Tu as quelques cours ici !

Merci, je vais m'y mettre

[Trap D]

Comme certain(s) participant(s) s'intéresse(nt) au problème, je retire le tag peut-être la solution arrivera-t-elle ?

[Onimaru]

Salut,
J'ai une question :
X = I + floor(0.5+sqrt(I))
est ce que ce '0.5' est utilisé dans le but de donner un résultat juste avec floor?

Je renomme les variables :
A + floor(0.5 + sqrt(A)) = B

Pour résoudre cette équation il faut enlever le floor.

J'ai essayé d'avoir la formule inverse dans Maple, voici les résultats :

*avec '0.5' solve(A + 0.5 + sqrt(A) = B, A) :
B + 0.5 * sqrt(-1 + 4 * B)
B - 0.5 * sqrt(-1 + 4 * B)

*sans '0.5' solve(A + sqrt(A) = B, A) :
B + 0.5 + 0.5 * sqrt(1 + 4 * B)
B + 0.5 - 0.5 * sqrt(1 + 4 * B)

Maintenant il reste à savoir quelle formule choisir et où mettre le floor dans la bonne place.

[Onimaru]

finalement voici la formule :
I = X + Floor(1 - 0.5 * Sqrt(1 + 4 * X))
maintenant il reste à l'écrire en Prolog.