sizeLess? $ Fraction(Integer)

[Ralf Hemmecke]

Given that the euclidean size is zero in both cases, it's somewhat
strange that

sizeLess?(z, a)

gives true.

Certainly a border case, but according to the docstring

sizeLess?(x, y) tests whether x is strictly smaller than y with
respect to the euclideanSize.

it is wrong.

Opinions? Change docstring or code?

Ralf

(1) -> z: FRAC(INT) := 0; a: Fraction(INT):= 1/2;

Type: Fraction(Integer)
(2) -> euclideanSize z, euclideanSize a

(2) [0, 0]
Type: Tuple(NonNegativeInteger)
(3) -> sizeLess?(z, a)

(3) true
Type: Boolean
(4) -> sizeLess?(a, z)

(4) false