encode-universal-time signals error
Consider the date 1899-12-31 23:00:00-01:00. This is 1900-01-01 00:00:00 GMT.
But (encode-universal-time 0 0 23 31 12 1899 1)
signals an error that 1899 is not an (integer 1900)
. I don't think it should. This is a valid universal time.
This shows up in a very recent maxima test.