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

-- 
You received this message because you are subscribed to the Google Groups 
"FriCAS - computer algebra system" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to [email protected].
To view this discussion on the web visit 
https://groups.google.com/d/msgid/fricas-devel/a6e8e9af-00f8-d8aa-7f5d-209870cad6cf%40hemmecke.org.

Reply via email to