On 2017-01-30 03:45 PM, Michael.Deckers. via LEAPSECS wrote:
On 2017-01-30 19:21, Tom Van Baak wrote:
2017-01-01T00:00:36.5 - 36 s = 2016-12-31T23:59:60.5
What kind of arithmetic is that?
Its not arithmetic. Its a YMDhms encoding of a TAI second. The Leap
Second (TAI-UTC) metadata from Bulletin C is describing how the encoding
is to be done. You need to know the Leap Second metadata to do the
conversion from TAI seconds to UTC YMDhms.
2017-01-01T00:00:37.5 - 37 s = 2016-12-31T00:00:00.5
The question was whether 2017-01-01T00:00:36.5 - 37 s
is < 2017-01-01 or >= 2017-01-01.
Its not a mathematical relationship. Its an encoding scheme. You need
the Leap Second metadata -
2017-01-01T00:00:36.5 (TAI) - 36 s [and the fact its a Leap Second] =
2016-12-31T23:59:60.5 (UTC).
-Brooks
Michael Deckers.
_______________________________________________
LEAPSECS mailing list
LEAPSECS@leapsecond.com
https://pairlist6.pair.net/mailman/listinfo/leapsecs
_______________________________________________
LEAPSECS mailing list
LEAPSECS@leapsecond.com
https://pairlist6.pair.net/mailman/listinfo/leapsecs
