progs/fun2/mand2.fun
author Christian Urban <christian.urban@kcl.ac.uk>
Fri, 17 Oct 2025 11:20:49 +0100
changeset 1009 7fd1997bd14c
parent 854 c9e2568d4729
permissions -rw-r--r--
updated
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
854
c9e2568d4729 testcases
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
     1
// Mandelbrot program (with character constants)
c9e2568d4729 testcases
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
     2
c9e2568d4729 testcases
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
     3
val Ymin: Double = -1.3;
c9e2568d4729 testcases
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
     4
val Ymax: Double =  1.3;
c9e2568d4729 testcases
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
     5
val Ystep: Double = 0.05;  //0.025;
c9e2568d4729 testcases
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
     6
c9e2568d4729 testcases
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
     7
val Xmin: Double = -2.1;
c9e2568d4729 testcases
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
     8
val Xmax: Double =  1.1;
c9e2568d4729 testcases
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
     9
val Xstep: Double = 0.02;  //0.01;
c9e2568d4729 testcases
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    10
c9e2568d4729 testcases
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    11
val Maxiters: Int = 1000;
c9e2568d4729 testcases
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    12
c9e2568d4729 testcases
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    13
def m_iter(m: Int, x: Double, y: Double,
c9e2568d4729 testcases
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    14
                   zr: Double, zi: Double) : Void = {
c9e2568d4729 testcases
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    15
  if Maxiters <= m
c9e2568d4729 testcases
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    16
  then print_char(' ') 
c9e2568d4729 testcases
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    17
  else {
c9e2568d4729 testcases
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    18
    if 4.0 <= zi*zi+zr*zr then print_char('0' + (m % 10)) 
c9e2568d4729 testcases
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    19
    else m_iter(m + 1, x, y, x+zr*zr-zi*zi, 2.0*zr*zi+y) 
c9e2568d4729 testcases
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    20
  }
c9e2568d4729 testcases
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    21
};
c9e2568d4729 testcases
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    22
c9e2568d4729 testcases
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    23
def x_iter(x: Double, y: Double) : Void = {
c9e2568d4729 testcases
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    24
  if x <= Xmax
c9e2568d4729 testcases
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    25
  then { m_iter(0, x, y, 0.0, 0.0) ; x_iter(x + Xstep, y) }
c9e2568d4729 testcases
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    26
  else skip()
c9e2568d4729 testcases
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    27
};
c9e2568d4729 testcases
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    28
c9e2568d4729 testcases
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    29
def y_iter(y: Double) : Void = {
c9e2568d4729 testcases
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    30
  if y <= Ymax
c9e2568d4729 testcases
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    31
  then { x_iter(Xmin, y) ; print_char('\n') ; y_iter(y + Ystep) }
c9e2568d4729 testcases
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    32
  else skip() 
c9e2568d4729 testcases
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    33
};    
c9e2568d4729 testcases
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    34
c9e2568d4729 testcases
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    35
c9e2568d4729 testcases
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    36
y_iter(Ymin)