progs/mandelbrot.scala
author Christian Urban <christian.urban@kcl.ac.uk>
Thu, 06 Jun 2024 22:18:15 +0100
changeset 490 4778fefecd0c
parent 481 e03a0100ec46
permissions -rw-r--r--
updated
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
187
4d300409f2fe updated
Christian Urban <urbanc@in.tum.de>
parents: 186
diff changeset
     1
// Mandelbrot pictures
309
b192bc772613 updated
Christian Urban <urbanc@in.tum.de>
parents: 266
diff changeset
     2
//=====================
266
ca48ac1d3c3e updated to 2.13
Christian Urban <urbanc@in.tum.de>
parents: 265
diff changeset
     3
//
187
4d300409f2fe updated
Christian Urban <urbanc@in.tum.de>
parents: 186
diff changeset
     4
//   see https://en.wikipedia.org/wiki/Mandelbrot_set
490
4778fefecd0c updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 481
diff changeset
     5
//
470
86a456f8cb92 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 464
diff changeset
     6
// needs to be called with
490
4778fefecd0c updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 481
diff changeset
     7
//
4778fefecd0c updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 481
diff changeset
     8
//   scala-cli --extra-jars scala-parallel-collections_3-1.0.4.jar
471
135bf034ac30 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 470
diff changeset
     9
//
490
4778fefecd0c updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 481
diff changeset
    10
// the jar-file is uploaded to KEATS
4778fefecd0c updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 481
diff changeset
    11
//
464
73ced118f73d updated to scala 3
Christian Urban <christian.urban@kcl.ac.uk>
parents: 444
diff changeset
    12
//
490
4778fefecd0c updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 481
diff changeset
    13
// !! UPDATE ON TIMING: On my faster Mac-M1 machine 
4778fefecd0c updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 481
diff changeset
    14
// !! the times for the first example are ca. 4 secs for 
4778fefecd0c updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 481
diff changeset
    15
// !! the sequential version and around 0.7 secs for the 
4778fefecd0c updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 481
diff changeset
    16
// !! par-version.
464
73ced118f73d updated to scala 3
Christian Urban <christian.urban@kcl.ac.uk>
parents: 444
diff changeset
    17
187
4d300409f2fe updated
Christian Urban <urbanc@in.tum.de>
parents: 186
diff changeset
    18
490
4778fefecd0c updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 481
diff changeset
    19
import javax.swing.{JFrame, JPanel, WindowConstants}
4778fefecd0c updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 481
diff changeset
    20
import java.awt.{Color, Dimension, Graphics, Graphics2D}
124
c45d3cd9a749 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    21
import java.awt.image.BufferedImage
490
4778fefecd0c updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 481
diff changeset
    22
4778fefecd0c updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 481
diff changeset
    23
import scala.language.implicitConversions
4778fefecd0c updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 481
diff changeset
    24
import scala.collection.parallel.CollectionConverters.*
265
59779ce322a6 updated
Christian Urban <urbanc@in.tum.de>
parents: 195
diff changeset
    25
124
c45d3cd9a749 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    26
// complex numbers
490
4778fefecd0c updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 481
diff changeset
    27
// represents the complex number re + im * i
4778fefecd0c updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 481
diff changeset
    28
case class Complex(val re: Double, val im: Double) {
4778fefecd0c updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 481
diff changeset
    29
  
186
f211d9cb856e updated
Christian Urban <urbanc@in.tum.de>
parents: 174
diff changeset
    30
  def +(that: Complex) = Complex(this.re + that.re, this.im + that.im)
f211d9cb856e updated
Christian Urban <urbanc@in.tum.de>
parents: 174
diff changeset
    31
  def -(that: Complex) = Complex(this.re - that.re, this.im - that.im)
f211d9cb856e updated
Christian Urban <urbanc@in.tum.de>
parents: 174
diff changeset
    32
  def *(that: Complex) = Complex(this.re * that.re - this.im * that.im,
f211d9cb856e updated
Christian Urban <urbanc@in.tum.de>
parents: 174
diff changeset
    33
                                 this.re * that.im + that.re * this.im)
f211d9cb856e updated
Christian Urban <urbanc@in.tum.de>
parents: 174
diff changeset
    34
  def *(that: Double) = Complex(this.re * that, this.im * that)
f211d9cb856e updated
Christian Urban <urbanc@in.tum.de>
parents: 174
diff changeset
    35
  def abs() = Math.sqrt(this.re * this.re + this.im * this.im)
124
c45d3cd9a749 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    36
}
c45d3cd9a749 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    37
490
4778fefecd0c updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 481
diff changeset
    38
// to allow the usual mathmo notation n + m * i
186
f211d9cb856e updated
Christian Urban <urbanc@in.tum.de>
parents: 174
diff changeset
    39
object i extends Complex(0, 1)
464
73ced118f73d updated to scala 3
Christian Urban <christian.urban@kcl.ac.uk>
parents: 444
diff changeset
    40
73ced118f73d updated to scala 3
Christian Urban <christian.urban@kcl.ac.uk>
parents: 444
diff changeset
    41
// implicit conversion from Doubles to Complex
73ced118f73d updated to scala 3
Christian Urban <christian.urban@kcl.ac.uk>
parents: 444
diff changeset
    42
given Conversion[Double, Complex] = Complex(_, 0)
186
f211d9cb856e updated
Christian Urban <urbanc@in.tum.de>
parents: 174
diff changeset
    43
f211d9cb856e updated
Christian Urban <urbanc@in.tum.de>
parents: 174
diff changeset
    44
// some customn colours for the "sliding effect"
124
c45d3cd9a749 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    45
val colours = List(
490
4778fefecd0c updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 481
diff changeset
    46
  Color(66, 30, 15),    Color(25, 7, 26),
4778fefecd0c updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 481
diff changeset
    47
  Color(9, 1, 47),      Color(4, 4, 73),
4778fefecd0c updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 481
diff changeset
    48
  Color(0, 7, 100),     Color(12, 44, 138),
4778fefecd0c updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 481
diff changeset
    49
  Color(24, 82, 177),   Color(57, 125, 209),
4778fefecd0c updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 481
diff changeset
    50
  Color(134, 181, 229), Color(211, 236, 248),
4778fefecd0c updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 481
diff changeset
    51
  Color(241, 233, 191), Color(248, 201, 95),
4778fefecd0c updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 481
diff changeset
    52
  Color(255, 170, 0),   Color(204, 128, 0),
4778fefecd0c updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 481
diff changeset
    53
  Color(153, 87, 0),    Color(106, 52, 3))
124
c45d3cd9a749 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    54
266
ca48ac1d3c3e updated to 2.13
Christian Urban <urbanc@in.tum.de>
parents: 265
diff changeset
    55
// the viewer panel with an image canvas
124
c45d3cd9a749 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    56
class Viewer(width: Int, height: Int) extends JPanel {
490
4778fefecd0c updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 481
diff changeset
    57
  val canvas = BufferedImage(width, height, BufferedImage.TYPE_INT_ARGB)
4778fefecd0c updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 481
diff changeset
    58
4778fefecd0c updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 481
diff changeset
    59
  override def paintComponent(g: Graphics) =
186
f211d9cb856e updated
Christian Urban <urbanc@in.tum.de>
parents: 174
diff changeset
    60
    g.asInstanceOf[Graphics2D].drawImage(canvas, null, null)
490
4778fefecd0c updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 481
diff changeset
    61
4778fefecd0c updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 481
diff changeset
    62
  override def getPreferredSize() =
4778fefecd0c updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 481
diff changeset
    63
    Dimension(width, height)
124
c45d3cd9a749 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    64
186
f211d9cb856e updated
Christian Urban <urbanc@in.tum.de>
parents: 174
diff changeset
    65
  def clearCanvas(color: Color) = {
490
4778fefecd0c updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 481
diff changeset
    66
    for (x <- 0 to width - 1; y <- 0 to height - 1)
186
f211d9cb856e updated
Christian Urban <urbanc@in.tum.de>
parents: 174
diff changeset
    67
      canvas.setRGB(x, y, color.getRGB())
f211d9cb856e updated
Christian Urban <urbanc@in.tum.de>
parents: 174
diff changeset
    68
    repaint()
490
4778fefecd0c updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 481
diff changeset
    69
  }
124
c45d3cd9a749 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    70
}
c45d3cd9a749 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    71
266
ca48ac1d3c3e updated to 2.13
Christian Urban <urbanc@in.tum.de>
parents: 265
diff changeset
    72
// initialising the viewer panel
186
f211d9cb856e updated
Christian Urban <urbanc@in.tum.de>
parents: 174
diff changeset
    73
def openViewer(width: Int, height: Int) : Viewer = {
490
4778fefecd0c updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 481
diff changeset
    74
  val frame = JFrame("XYPlane")
4778fefecd0c updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 481
diff changeset
    75
  val viewer = Viewer(width, height)
186
f211d9cb856e updated
Christian Urban <urbanc@in.tum.de>
parents: 174
diff changeset
    76
  frame.add(viewer)
f211d9cb856e updated
Christian Urban <urbanc@in.tum.de>
parents: 174
diff changeset
    77
  frame.pack()
f211d9cb856e updated
Christian Urban <urbanc@in.tum.de>
parents: 174
diff changeset
    78
  frame.setVisible(true)
f211d9cb856e updated
Christian Urban <urbanc@in.tum.de>
parents: 174
diff changeset
    79
  frame.setResizable(false)
f211d9cb856e updated
Christian Urban <urbanc@in.tum.de>
parents: 174
diff changeset
    80
  frame.setDefaultCloseOperation(WindowConstants.EXIT_ON_CLOSE)
f211d9cb856e updated
Christian Urban <urbanc@in.tum.de>
parents: 174
diff changeset
    81
  viewer
124
c45d3cd9a749 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    82
}
c45d3cd9a749 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    83
266
ca48ac1d3c3e updated to 2.13
Christian Urban <urbanc@in.tum.de>
parents: 265
diff changeset
    84
// some hardcoded parameters
186
f211d9cb856e updated
Christian Urban <urbanc@in.tum.de>
parents: 174
diff changeset
    85
val W = 900   // width
f211d9cb856e updated
Christian Urban <urbanc@in.tum.de>
parents: 174
diff changeset
    86
val H = 800   // height
124
c45d3cd9a749 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    87
val black = Color.black
c45d3cd9a749 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    88
val viewer = openViewer(W, H)
c45d3cd9a749 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    89
266
ca48ac1d3c3e updated to 2.13
Christian Urban <urbanc@in.tum.de>
parents: 265
diff changeset
    90
// draw a pixel on the canvas
490
4778fefecd0c updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 481
diff changeset
    91
def pixel(x: Int, y: Int, color: Color) =
124
c45d3cd9a749 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    92
  viewer.canvas.setRGB(x, y, color.getRGB())
186
f211d9cb856e updated
Christian Urban <urbanc@in.tum.de>
parents: 174
diff changeset
    93
124
c45d3cd9a749 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    94
490
4778fefecd0c updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 481
diff changeset
    95
// calculates the number of iterations using lazy lists (streams)
186
f211d9cb856e updated
Christian Urban <urbanc@in.tum.de>
parents: 174
diff changeset
    96
//   the iteration goes on for a maximum of max steps,
f211d9cb856e updated
Christian Urban <urbanc@in.tum.de>
parents: 174
diff changeset
    97
//   but might leave early when the pred is satisfied
f211d9cb856e updated
Christian Urban <urbanc@in.tum.de>
parents: 174
diff changeset
    98
def iterations(c: Complex, max: Int) : Int = {
490
4778fefecd0c updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 481
diff changeset
    99
  def next(z: Complex) = z * z + c
353
bb6074814a73 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 329
diff changeset
   100
  def pred(z: Complex) = z.abs() < 2    // exit condition
266
ca48ac1d3c3e updated to 2.13
Christian Urban <urbanc@in.tum.de>
parents: 265
diff changeset
   101
  LazyList.iterate(0.0 * i, max)(next).takeWhile(pred).size
186
f211d9cb856e updated
Christian Urban <urbanc@in.tum.de>
parents: 174
diff changeset
   102
}
f211d9cb856e updated
Christian Urban <urbanc@in.tum.de>
parents: 174
diff changeset
   103
490
4778fefecd0c updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 481
diff changeset
   104
// main function
4778fefecd0c updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 481
diff changeset
   105
//    start and end are the upper-left and lower-right corners,
187
4d300409f2fe updated
Christian Urban <urbanc@in.tum.de>
parents: 186
diff changeset
   106
//    max is the number of maximum iterations
186
f211d9cb856e updated
Christian Urban <urbanc@in.tum.de>
parents: 174
diff changeset
   107
def mandelbrot(start: Complex, end: Complex, max: Int) : Unit = {
124
c45d3cd9a749 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   108
  viewer.clearCanvas(black)
490
4778fefecd0c updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 481
diff changeset
   109
4778fefecd0c updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 481
diff changeset
   110
  // deltas for each grid step
186
f211d9cb856e updated
Christian Urban <urbanc@in.tum.de>
parents: 174
diff changeset
   111
  val d_x = (end.re - start.re) / W
f211d9cb856e updated
Christian Urban <urbanc@in.tum.de>
parents: 174
diff changeset
   112
  val d_y = (end.im - start.im) / H
490
4778fefecd0c updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 481
diff changeset
   113
481
e03a0100ec46 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 471
diff changeset
   114
  for (y <- (0 until H).par) {
e03a0100ec46 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 471
diff changeset
   115
    for (x <- (0 until W).par) {
490
4778fefecd0c updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 481
diff changeset
   116
4778fefecd0c updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 481
diff changeset
   117
     val c = start + x * d_x + y * d_y * i
4778fefecd0c updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 481
diff changeset
   118
     val iters = iterations(c, max)
464
73ced118f73d updated to scala 3
Christian Urban <christian.urban@kcl.ac.uk>
parents: 444
diff changeset
   119
     val colour = 
490
4778fefecd0c updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 481
diff changeset
   120
        if (iters == max) black
4778fefecd0c updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 481
diff changeset
   121
        else colours(iters % 16)
124
c45d3cd9a749 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   122
464
73ced118f73d updated to scala 3
Christian Urban <christian.urban@kcl.ac.uk>
parents: 444
diff changeset
   123
     pixel(x, y, colour)
143
11396c17cd8b updated
Christian Urban <urbanc@in.tum.de>
parents: 137
diff changeset
   124
    }
11396c17cd8b updated
Christian Urban <urbanc@in.tum.de>
parents: 137
diff changeset
   125
    viewer.updateUI()
490
4778fefecd0c updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 481
diff changeset
   126
  }
124
c45d3cd9a749 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   127
}
c45d3cd9a749 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   128
187
4d300409f2fe updated
Christian Urban <urbanc@in.tum.de>
parents: 186
diff changeset
   129
124
c45d3cd9a749 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   130
// Examples
c45d3cd9a749 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   131
//==========
c45d3cd9a749 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   132
c45d3cd9a749 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   133
//for measuring time
c45d3cd9a749 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   134
def time_needed[T](code: => T) = {
c45d3cd9a749 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   135
  val start = System.nanoTime()
c45d3cd9a749 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   136
  code
c45d3cd9a749 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   137
  val end = System.nanoTime()
c45d3cd9a749 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   138
  (end - start) / 1.0e9
c45d3cd9a749 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   139
}
c45d3cd9a749 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   140
c45d3cd9a749 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   141
353
bb6074814a73 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 329
diff changeset
   142
124
c45d3cd9a749 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   143
// example 1
186
f211d9cb856e updated
Christian Urban <urbanc@in.tum.de>
parents: 174
diff changeset
   144
val exa1 = -2.0 + -1.5 * i
f211d9cb856e updated
Christian Urban <urbanc@in.tum.de>
parents: 174
diff changeset
   145
val exa2 =  1.0 +  1.5 * i
124
c45d3cd9a749 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   146
309
b192bc772613 updated
Christian Urban <urbanc@in.tum.de>
parents: 266
diff changeset
   147
println(s"${time_needed(mandelbrot(exa1, exa2, 1000))} secs")
124
c45d3cd9a749 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   148
136
Christian Urban <urbanc@in.tum.de>
parents: 124
diff changeset
   149
// example 2
186
f211d9cb856e updated
Christian Urban <urbanc@in.tum.de>
parents: 174
diff changeset
   150
val exb1 = -0.37465401 + 0.659227668 * i
f211d9cb856e updated
Christian Urban <urbanc@in.tum.de>
parents: 174
diff changeset
   151
val exb2 = -0.37332410 + 0.66020767 * i
124
c45d3cd9a749 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   152
186
f211d9cb856e updated
Christian Urban <urbanc@in.tum.de>
parents: 174
diff changeset
   153
//time_needed(mandelbrot(exb1, exb2, 1000))
124
c45d3cd9a749 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   154
c45d3cd9a749 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   155
// example 3
186
f211d9cb856e updated
Christian Urban <urbanc@in.tum.de>
parents: 174
diff changeset
   156
val exc1 = 0.435396403 + 0.367981352 * i
f211d9cb856e updated
Christian Urban <urbanc@in.tum.de>
parents: 174
diff changeset
   157
val exc2 = 0.451687191 + 0.380210061 * i
124
c45d3cd9a749 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   158
166
780c40aaad27 updated
Christian Urban <urbanc@in.tum.de>
parents: 143
diff changeset
   159
//time_needed(mandelbrot(exc1, exc2, 1000))
124
c45d3cd9a749 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   160
266
ca48ac1d3c3e updated to 2.13
Christian Urban <urbanc@in.tum.de>
parents: 265
diff changeset
   161
ca48ac1d3c3e updated to 2.13
Christian Urban <urbanc@in.tum.de>
parents: 265
diff changeset
   162
124
c45d3cd9a749 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   163
// some more computations with example 3
186
f211d9cb856e updated
Christian Urban <urbanc@in.tum.de>
parents: 174
diff changeset
   164
124
c45d3cd9a749 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   165
val delta = (exc2 - exc1) * 0.0333
c45d3cd9a749 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   166
471
135bf034ac30 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 470
diff changeset
   167
println(s"${time_needed(
490
4778fefecd0c updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 481
diff changeset
   168
  for (n <- (0 to 25))
4778fefecd0c updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 481
diff changeset
   169
     mandelbrot(exc1 + delta * n,
4778fefecd0c updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 481
diff changeset
   170
                exc2 - delta * n, 1000))} secs")
266
ca48ac1d3c3e updated to 2.13
Christian Urban <urbanc@in.tum.de>
parents: 265
diff changeset
   171
124
c45d3cd9a749 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   172
c45d3cd9a749 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   173
191
f78b18c4c886 updated
Christian Urban <urbanc@in.tum.de>
parents: 189
diff changeset
   174
// Larry Paulson's example
f78b18c4c886 updated
Christian Urban <urbanc@in.tum.de>
parents: 189
diff changeset
   175
val exl1 = -0.74364990 + 0.13188170 * i
f78b18c4c886 updated
Christian Urban <urbanc@in.tum.de>
parents: 189
diff changeset
   176
val exl2 = -0.74291189 + 0.13261971 * i
189
ff815ca0bbcf updated
Christian Urban <urbanc@in.tum.de>
parents: 187
diff changeset
   177
309
b192bc772613 updated
Christian Urban <urbanc@in.tum.de>
parents: 266
diff changeset
   178
//println(s"${time_needed(mandelbrot(exl1, exl2, 1000))} secs")
189
ff815ca0bbcf updated
Christian Urban <urbanc@in.tum.de>
parents: 187
diff changeset
   179
191
f78b18c4c886 updated
Christian Urban <urbanc@in.tum.de>
parents: 189
diff changeset
   180
f78b18c4c886 updated
Christian Urban <urbanc@in.tum.de>
parents: 189
diff changeset
   181
// example by Jorgen Villadsen
f78b18c4c886 updated
Christian Urban <urbanc@in.tum.de>
parents: 189
diff changeset
   182
val exj1 = 0.10284 - 0.63275 * i
f78b18c4c886 updated
Christian Urban <urbanc@in.tum.de>
parents: 189
diff changeset
   183
val exj2 = 0.11084 - 0.64075 * i
f78b18c4c886 updated
Christian Urban <urbanc@in.tum.de>
parents: 189
diff changeset
   184
195
fc3ac7b70a06 updated
Christian Urban <urbanc@in.tum.de>
parents: 191
diff changeset
   185
//time_needed(mandelbrot(exj1, exj2, 1000))
394
839ad118e467 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 354
diff changeset
   186
839ad118e467 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 354
diff changeset
   187
839ad118e467 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 354
diff changeset
   188
// another example
839ad118e467 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 354
diff changeset
   189
val exA = 0.3439274 + 0.6516478 * i
839ad118e467 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 354
diff changeset
   190
val exB = 0.3654477 + 0.6301795 * i
839ad118e467 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 354
diff changeset
   191
839ad118e467 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents: 354
diff changeset
   192
//time_needed(mandelbrot(exA, exB, 1000))