[LEAPSECS] BBC radio Crowd Science

[Brooks Harris]

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 at leapsecond.com
> https://pairlist6.pair.net/mailman/listinfo/leapsecs
>
>