Friday, 22 April 2011

Computus: Calculating Easter Sunday

Computus is the algorithm used to calculate the date of Easter. Easter Sunday falls on the first Sunday after the full moon following the Spring equinox. For the purpose of the calculation the full moon is defined as day 14 of the lunar month and the Spring equinox as 20th March.

Unfortunately Computus defies any attempt to render it with beautiful code! This C function roughly follows the assembly language so is a little uglier than strictly necessary:

easter(year, month, date)
int year, *month, *date;
{
    int gold,cent,sa,la,epact,a18,da;
    gold = year%19;
    cent = year/100;
    sa = cent-cent/4;
    la = (8*cent+13)/25;
    epact = (19*gold-sa-la+15)%30;
    a18 = (gold+11*epact)/319;
    da = ((cent%4+year%100/4)*2+a18+32-year%4-epact)%7;
    *month = (90+epact+da-a18)/25;
    *date = (*month+19+epact+da-a18)%32;
}

The algorithm is similar to MaybeGauss1 found in J R Stockton's collection of algorithms for Easter Sunday and is valid for the Gregorian calendar well into the fourth millenium. The algorithm can be adapted to calculate a number of other dates:

  • Shrove Tuesday - 47 days before Easter Sunday
  • First Sunday in Lent - 42 days before
  • Palm Sunday - 7 days before
  • Whit Sunday - 49 days after

Finally here's the same algorithm in 8086 assembly language, length 128 bytes. On entry, AX is the year. On exit AL is the day, AH is the month:

easter:
  push cx
  push dx
  push bx
  push bp
  push si
  push di

  mov bp,ax     ; bp = year (1583:3999) 

  mov cx,100
  cwd
  div cx
  push dx
  xchg si,ax    ; si = century - 1

  mov ax,bp
  mov cl,19
  cwd           
  div cx
  mov bx,dx     ; bx = golden number - 1
  xchg ax,dx

  mul cl
  add ax,15
                ; ax in range (15:357)
  mov dx,si
  add ax,si
  shr dx,1
  shr dx,1
  sub ax,dx
  push ax
  mov ax,8
  mul si
  add ax,13
  mov cl,25
  div cx                      
  xchg dx,ax
  pop ax
  sub ax,dx
  mov cl,30
  cwd
  div cx
  mov di,dx

  mov al,11
  mul dx
  add ax,bx
  mov cl,206    ; multiply by 206 and discard the
  mul cx        ; lower 16 bits of the result.
                ; shorter than dividing by 319

  sub di,dx
  xchg ax,si
  and al,3 
  pop dx
  shr dx,1
  shr dx,1
  add ax,dx
  shl ax,1
  and bp,3
  lea bp,[bp+di-32]
  sub ax,bp
  mov cl,7
  cwd
  div cx
  xchg ax,dx
  add ax,di
  mov bp,ax
  add al,90
  mov cl,25
  div cl
  mov ah,al
  add al,19
  add ax,bp
  and al,31

  pop di
  pop si
  pop bp
  pop bx
  pop dx
  pop cx
  ret

5 comments:

  1. What? It's a small function with no loops of conditionals. The function simply flows from beginning to end. Aside from poorly chosen variable names, this is quite elegant and beautiful.

    ReplyDelete
  2. Anonymous, here's a quick explanation of the variables:

    gold - the golden number - 1
    cent - century - 1
    sa - solar cycle adjust
    la - lunar cycle adjust
    epact - epact moon age
    a18 - April 18th correction
    da - day of week adjust

    ReplyDelete
  3. I think you did a pretty good job of making it pretty in C. I think the only thing you could to to improve readability would split some of those up onto multiple lines but that would be wasteful. Good job all around.

    ReplyDelete
  4. I coded this algorithm years ago in C (1986). I can't remember where I got it but I whereever I got it, it was referred to as 'Butcher's Method'.

    Here is my original code: Note that this uses another function to convert the y/m/d to a Julian day number.

    /** Calculates Easter Sunday for given year.
    *
    * @return Julian day number for Easter Sunday.
    *
    * @Param year : Year number.
    *
    * @note I know this works for 1980 on, I can't guarantee before
    * this date. The algorithm I'm using is called Butchers
    * method (I think).
    */
    INT32 TEaster( INT32 year)
    {
    TDATE date;
    INT32 m,n,x,a,b,c,d,e,f,g,h,i,j,k,l,t;

    x = year;
    a = x/100;
    b = x%100;
    c = a>>2;
    d = (a-15)/25;
    e = (a-d)/3;
    f = (a+15-c-e)%30;
    g = (a+4-c)%7;
    h = x%19;
    i = b&3;
    j = b%7;
    k = ((h*19)+f)%30;
    l = (14+a+g+(i<<1)+(j*4)-k)%7;
    t = (21+k+l);
    m = t/31+2;
    n = t%31+1;
    if (n==26 && m==3) n = 19;
    if (n==25 && m==3 && k==28 && h>10) n = 18;

    date.Year = year;
    date.Month = (INT16) m+1;
    date.Day = (INT16) n;

    return TNumDays( &date);
    }

    Tim...

    ReplyDelete
  5. Greetings! for posting such a useful blog. Your weblog is not only informative and also very artistic too. There usually are extremely couple of people who can write not so easy articles that creatively. Keep up the good work !

    ReplyDelete

Note: only a member of this blog may post a comment.