Comment author: administrator

Voilà, je propose d'ajouter ça dans le fichier nat_stubs.c:

static int custom_compare_nat(value nat1, value nat2)
[...]

Gros problème: la comparaison ainsi définie sur le type "nat" se
prolonge automatiquement en une comparaison sur les types "big_int",
"ratio" et "num" qui est incorrecte... En effet, la comparaison entre
"big_int" se fait alors lexicographiquement sur des paires
(signe, valeur-absolue), et donc

     <big_int -2>  est inférieur à <big_int -3>

puisque les paires les représentant ont le même signe et des valeurs
absolues en relation "est inférieur à".

Même problème avec les rationnels et donc les nums.

De plus, même l'égalité est fausse dans le cas de rationnels non
normalisés.

La solution actuelle (faire une erreur) est donc préférable.

• Xavier Leroy

Comment author: administrator

Would lead to wrong results of comparison on (negative) big_int, on ratio, and
on num.

Comment author: administrator

On Thu, 7 Nov 2002, Xavier Leroy wrote:

Voilà, je propose d'ajouter ça dans le fichier nat_stubs.c:

static int custom_compare_nat(value nat1, value nat2)
[...]

Gros problème: la comparaison ainsi définie sur le type "nat" se
prolonge automatiquement en une comparaison sur les types "big_int",
"ratio" et "num" qui est incorrecte...

Incorrecte ... ça dépend de ce que l'on veut en faire. Si c'est juste pour
obtenir un ordre total utilisable pour faire des Set.Make et Map.Make,
il n'y a pas de problème (et c'est ce que je veux faire). Je comprends que
ça serait un peu déroutant ...

Il se trouve que j'ai vraiment besoin de cela, parce que je construit des
structures complexes avec quelques big_int aux feuilles, et que ça serait
très lourd et très couteux de devoir refaire la descente recursive pour se
faire soit-même la comparaison.

Je ne trouve pas la licence exacte de la bibliothèque BigNum
(otherlibs/num/README fait référence à bignum/doc qui n'existe pas).
Quelles sont les possibilités pour diffuser une version modifiée
(j'aimerais éviter de devoir demander d'installer tout le source OCaml) ?

(Je pense que tu ne vas pas aimer la suggestion de faire une fonction
dans Arith_status pour activer ou désactiver les fonctions custom que
je propose ...)

La solution actuelle (faire une erreur) est donc préférable.

Je pense que ce serait assez facile d'implémenter une sorte de type
custom pour des valeurs Caml, histoire de pouvoir spécifier une fonction
de hash et de comparaison ... Je trouverais ça bien utile.

-- Alain