[r6rs-discuss] Comparison procedures' number of arguments

[Marcin 'Qrczak' Kowalczyk]

2008/10/23 Elf <elf at ephemeral.net>:

> the definition of monotonic increase and
> decrease relies on pairwise comparison; a sequence with one element is neither
> increasing nor decreasing.

No, it is both increasing and decreasing. A sequence is increasing if,
for every i, j from the range of its indices such that i<j, a[i]<a[j].
This is true for any sequence of length 0 or 1. This condition is
equivalent to: there exist no numbers i, j from the range of its
indices such that i<j and a[i]>=a[j]. This is obviously true.

-- 
Marcin Kowalczyk
qrczak at knm.org.pl
http://qrnik.knm.org.pl/~qrczak/