# iau1980.frink

``` // This program reads coefficients for nutation from the file IAU1980.txt // and converts them to a Frink expression for use in the sun.frink library // for astronomical code. // This produces high-accuracy figures for the nutation of the earth. psi =     "   deltapsi = 0.0001 arcsec (" epsilon = "   deltaepsilon = 0.0001 arcsec (" for line = lines["file:IAU1980.txt"] {    [D, M, MP, F, Omega, deltapsi, deltapsiT, deltaepsilon, deltaepsilonT] = split[%r/\t/, line]    coeffPsi = fmtCoeff[deltapsi, deltapsiT]    coeffEpsilon = fmtCoeff[deltaepsilon, deltaepsilonT]    arg = fmt[D, "D"]    arg = arg + fmt[M, "M"]    arg = arg + fmt[MP, "MP"]    arg = arg + fmt[F, "F"]    arg = arg + fmt[Omega, "Omega"]    if (coeffPsi != "")       psi = psi + " + (\$coeffPsi) sin[\$arg]";    if (coeffEpsilon != "")       epsilon = epsilon + " + (\$coeffEpsilon) cos[\$arg]"; } psi = psi + ")" epsilon = epsilon + ")" println[psi] println[epsilon] fmt[x, char] :=  {    x = eval[x]    if (x == 1)       return " + \$char"    if x > 0       return " + \$x \$char"    if x < 0       return " -" + (-x) + " \$char"    return "" } fmtCoeff[t0, t1] :=  {    str = ""    t0 = eval[t0]    t1 = eval[t1]    if (t0 != 0)       str = "\$t0"    if (t1 != 0)       str = str + " + \$t1 T"    return str }```
{"ft_lang_label":"__label__en","ft_lang_prob":0.700842,"math_prob":0.9928174,"size":1467,"snap":"2023-40-2023-50","text_gpt3_token_len":474,"char_repetition_ratio":0.13328776,"word_repetition_ratio":0.030075189,"special_character_ratio":0.36946148,"punctuation_ratio":0.1590909,"nsfw_num_words":0,"has_unicode_error":false,"math_prob_llama3":0.9998442,"pos_list":[0],"im_url_duplicate_count":[null],"WARC_HEADER":"{\"WARC-Type\":\"response\",\"WARC-Date\":\"2023-09-28T17:01:39Z\",\"WARC-Record-ID\":\"<urn:uuid:d496f303-5051-4b69-9f55-b6cd2e8a628b>\",\"Content-Length\":\"5512\",\"Content-Type\":\"application/http; msgtype=response\",\"WARC-Warcinfo-ID\":\"<urn:uuid:0a78d303-2c89-4301-b365-56ae9bba4677>\",\"WARC-Concurrent-To\":\"<urn:uuid:41e26a70-37fe-4789-a598-069c9e1b2db4>\",\"WARC-IP-Address\":\"184.96.140.167\",\"WARC-Target-URI\":\"https://futureboy.us/fsp/colorize.fsp?f=iau1980.frink\",\"WARC-Payload-Digest\":\"sha1:GQ7ZBHHGCXJV5L2AIPB34GPDT5E47YNI\",\"WARC-Block-Digest\":\"sha1:GITNUUX5UTDV66EYDGRGET2BA77LY2EU\",\"WARC-Identified-Payload-Type\":\"text/html\",\"warc_filename\":\"/cc_download/warc_2023/CC-MAIN-2023-40/CC-MAIN-2023-40_segments_1695233510427.16_warc_CC-MAIN-20230928162907-20230928192907-00681.warc.gz\"}"}