Discussion :

[Sophie_26]

Bonjour.
Les programmes que je veux faire sont la multiplication et la division entière appliquées à des entiers infinis qui sont représentés par des séquences d'entiers à 4chiffres.
Il faut que en applicant mes programmes sur ces séquences d'entiers je retrouve le même résultat que quand je fais l'opération avec les entiers infinis à la main ou à la calculette....
C'est la prise de tête depuis une semaine.... quelqu'un peut-il m'aider ?

[gorgonite]

caml win n'existe pas...

OCaml ou CamlLight ?

ensuite, montres-nous le type qui définit tes entiers infinis, et les fonctions que tu as commencées, et expliques-nous où ça coince

à partir de là, on pourra t'aider

au passage connais-tu le module Num d'OCaml ?

[Sophie_26]

oui, c'est Caml Light 0.74

type int_inf == int list ;;
par exemple l'entier infini 1234567890 sera traité par le programme sous cette forme: [12;3456;7890] et 213000476530067 sous [213;4;7653;67].
La division entière 1234567890/213000476530067 = 5 à la calculette.
Le programme doit me trouver le même résultat en utlisant les séquences d'entiers. pour des séquences du type ([e],[f]) c'est simple c'est e/f... Mais quand y a plusieurs éléments je sais pas comment faire...
idem pour la multiplication.
(c'est clair comme ça ? )

[gorgonite]

je en comprends pas comment tu détermines la représentation des nombres...

pas ailleurs, j'aurais plutot fait une liste contenant les chiffres du nombre à représenté... ensuite, il faut voir les entiers comme des polynomes (1234 = 1*10^4 + 2*10^3 + 3*10^1 + 4*10^0) et appliqué la multiplication de Hörner

enfin je dis cela... mais tu fais comme tu le sens

[Sophie_26]

ben en fait (c'est des consignes pour un devoir) c'est nous qui donnons la séquence...
quand on fait une aplication on écrit Mult([12;3456;7890],[213;4;7653;67]), y a pas de programme pour transformer l'entier en séquence...

j'ai fait déjà l'addition par exemple...

Code :

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

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
let rec (Add : int_inf * int_inf  -> int_inf ) = function
([],[]) -> []
| ([],s) -> s
| (s,[]) -> s
| ([e],[f]) -> if (e+f)>=10000 
		then [1;e+f-10000] 
		else [e+f]
| (s,[f]) -> if (dernier(s)+f)>=10000 
			then ajd(ajd(debut(debut(s)),dernier(debut(s))+1),dernier(s)+f-10000) 
			else ajd(debut(s),dernier(s)+f)
| ([e],s) -> if (dernier(s)+e)>=10000 
			then ajd(ajd(debut(debut(s)),dernier(debut(s))+1),dernier(s)+e-10000) 
			else ajd(debut(s),dernier(s)+e)
| (s1,s2) -> if (dernier(s1)+dernier(s2))>=10000 
				then ajd(Add(ajd(debut(debut(s1)),(dernier(debut(s1))+1)),debut(s2)),(dernier(s1)+dernier(s2)-10000))
				else ajd(Add(debut(s1),debut(s2)),(dernier(s1)+ dernier(s2)));;

et ça donne:

#Add([12;3456;7890],[213;4;7653;67]);;
- : int_inf = [213; 17; 1109; 7957]
#

[gorgonite]

je ne comprends pas la logique d'une telle représentation... je vais donc avoir du mal à t'aider