progs/mandelbrot.scala
author Christian Urban <urbanc@in.tum.de>
Fri, 17 Aug 2018 11:58:55 +0100
changeset 191 f78b18c4c886
parent 189 ff815ca0bbcf
child 195 fc3ac7b70a06
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
4d300409f2fe updated
Christian Urban <urbanc@in.tum.de>
parents: 186
diff changeset
     2
//   see https://en.wikipedia.org/wiki/Mandelbrot_set
4d300409f2fe updated
Christian Urban <urbanc@in.tum.de>
parents: 186
diff changeset
     3
124
c45d3cd9a749 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
     4
import java.awt.Color
c45d3cd9a749 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
     5
import java.awt.Dimension
c45d3cd9a749 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
     6
import java.awt.Graphics
c45d3cd9a749 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
     7
import java.awt.Graphics2D
c45d3cd9a749 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
     8
import java.awt.image.BufferedImage
c45d3cd9a749 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
     9
import javax.swing.JFrame
c45d3cd9a749 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    10
import javax.swing.JPanel
c45d3cd9a749 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    11
import javax.swing.WindowConstants
186
f211d9cb856e updated
Christian Urban <urbanc@in.tum.de>
parents: 174
diff changeset
    12
import scala.language.implicitConversions    
124
c45d3cd9a749 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    13
c45d3cd9a749 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    14
// complex numbers
186
f211d9cb856e updated
Christian Urban <urbanc@in.tum.de>
parents: 174
diff changeset
    15
case class Complex(val re: Double, val im: Double) { 
f211d9cb856e updated
Christian Urban <urbanc@in.tum.de>
parents: 174
diff changeset
    16
  // represents the complex number re + im * i
f211d9cb856e updated
Christian Urban <urbanc@in.tum.de>
parents: 174
diff changeset
    17
  def +(that: Complex) = Complex(this.re + that.re, this.im + that.im)
f211d9cb856e updated
Christian Urban <urbanc@in.tum.de>
parents: 174
diff changeset
    18
  def -(that: Complex) = Complex(this.re - that.re, this.im - that.im)
f211d9cb856e updated
Christian Urban <urbanc@in.tum.de>
parents: 174
diff changeset
    19
  def *(that: Complex) = Complex(this.re * that.re - this.im * that.im,
f211d9cb856e updated
Christian Urban <urbanc@in.tum.de>
parents: 174
diff changeset
    20
                                 this.re * that.im + that.re * this.im)
f211d9cb856e updated
Christian Urban <urbanc@in.tum.de>
parents: 174
diff changeset
    21
  def *(that: Double) = Complex(this.re * that, this.im * that)
f211d9cb856e updated
Christian Urban <urbanc@in.tum.de>
parents: 174
diff changeset
    22
  def abs() = Math.sqrt(this.re * this.re + this.im * this.im)
124
c45d3cd9a749 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    23
}
c45d3cd9a749 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    24
187
4d300409f2fe updated
Christian Urban <urbanc@in.tum.de>
parents: 186
diff changeset
    25
// to allow the notation n + m * i
186
f211d9cb856e updated
Christian Urban <urbanc@in.tum.de>
parents: 174
diff changeset
    26
object i extends Complex(0, 1)
187
4d300409f2fe updated
Christian Urban <urbanc@in.tum.de>
parents: 186
diff changeset
    27
implicit def double2complex(re: Double) = Complex(re, 0)
186
f211d9cb856e updated
Christian Urban <urbanc@in.tum.de>
parents: 174
diff changeset
    28
f211d9cb856e updated
Christian Urban <urbanc@in.tum.de>
parents: 174
diff changeset
    29
f211d9cb856e updated
Christian Urban <urbanc@in.tum.de>
parents: 174
diff changeset
    30
// some customn colours for the "sliding effect"
124
c45d3cd9a749 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    31
val colours = List(
186
f211d9cb856e updated
Christian Urban <urbanc@in.tum.de>
parents: 174
diff changeset
    32
  new Color(66, 30, 15),    new Color(25, 7, 26),
f211d9cb856e updated
Christian Urban <urbanc@in.tum.de>
parents: 174
diff changeset
    33
  new Color(9, 1, 47),      new Color(4, 4, 73),
f211d9cb856e updated
Christian Urban <urbanc@in.tum.de>
parents: 174
diff changeset
    34
  new Color(0, 7, 100),     new Color(12, 44, 138),
f211d9cb856e updated
Christian Urban <urbanc@in.tum.de>
parents: 174
diff changeset
    35
  new Color(24, 82, 177),   new Color(57, 125, 209),
f211d9cb856e updated
Christian Urban <urbanc@in.tum.de>
parents: 174
diff changeset
    36
  new Color(134, 181, 229), new Color(211, 236, 248),
f211d9cb856e updated
Christian Urban <urbanc@in.tum.de>
parents: 174
diff changeset
    37
  new Color(241, 233, 191), new Color(248, 201, 95),
f211d9cb856e updated
Christian Urban <urbanc@in.tum.de>
parents: 174
diff changeset
    38
  new Color(255, 170, 0),   new Color(204, 128, 0),
f211d9cb856e updated
Christian Urban <urbanc@in.tum.de>
parents: 174
diff changeset
    39
  new Color(153, 87, 0),    new Color(106, 52, 3))
124
c45d3cd9a749 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    40
186
f211d9cb856e updated
Christian Urban <urbanc@in.tum.de>
parents: 174
diff changeset
    41
// the viewer panel with a canvas
124
c45d3cd9a749 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    42
class Viewer(width: Int, height: Int) extends JPanel {
186
f211d9cb856e updated
Christian Urban <urbanc@in.tum.de>
parents: 174
diff changeset
    43
  val canvas = new BufferedImage(width, height, BufferedImage.TYPE_INT_ARGB)
f211d9cb856e updated
Christian Urban <urbanc@in.tum.de>
parents: 174
diff changeset
    44
  
f211d9cb856e updated
Christian Urban <urbanc@in.tum.de>
parents: 174
diff changeset
    45
  override def paintComponent(g: Graphics) = 
f211d9cb856e updated
Christian Urban <urbanc@in.tum.de>
parents: 174
diff changeset
    46
    g.asInstanceOf[Graphics2D].drawImage(canvas, null, null)
f211d9cb856e updated
Christian Urban <urbanc@in.tum.de>
parents: 174
diff changeset
    47
  
f211d9cb856e updated
Christian Urban <urbanc@in.tum.de>
parents: 174
diff changeset
    48
  override def getPreferredSize() = 
f211d9cb856e updated
Christian Urban <urbanc@in.tum.de>
parents: 174
diff changeset
    49
    new Dimension(width, height)
124
c45d3cd9a749 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    50
186
f211d9cb856e updated
Christian Urban <urbanc@in.tum.de>
parents: 174
diff changeset
    51
  def clearCanvas(color: Color) = {
f211d9cb856e updated
Christian Urban <urbanc@in.tum.de>
parents: 174
diff changeset
    52
    for (x <- 0 to width - 1; y <- 0 to height - 1) 
f211d9cb856e updated
Christian Urban <urbanc@in.tum.de>
parents: 174
diff changeset
    53
      canvas.setRGB(x, y, color.getRGB())
f211d9cb856e updated
Christian Urban <urbanc@in.tum.de>
parents: 174
diff changeset
    54
    repaint()
f211d9cb856e updated
Christian Urban <urbanc@in.tum.de>
parents: 174
diff changeset
    55
  }  
124
c45d3cd9a749 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    56
}
c45d3cd9a749 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    57
186
f211d9cb856e updated
Christian Urban <urbanc@in.tum.de>
parents: 174
diff changeset
    58
// initialising the viewer
f211d9cb856e updated
Christian Urban <urbanc@in.tum.de>
parents: 174
diff changeset
    59
def openViewer(width: Int, height: Int) : Viewer = {
f211d9cb856e updated
Christian Urban <urbanc@in.tum.de>
parents: 174
diff changeset
    60
  val frame = new JFrame("XYPlane")
f211d9cb856e updated
Christian Urban <urbanc@in.tum.de>
parents: 174
diff changeset
    61
  val viewer = new Viewer(width, height)
f211d9cb856e updated
Christian Urban <urbanc@in.tum.de>
parents: 174
diff changeset
    62
  frame.add(viewer)
f211d9cb856e updated
Christian Urban <urbanc@in.tum.de>
parents: 174
diff changeset
    63
  frame.pack()
f211d9cb856e updated
Christian Urban <urbanc@in.tum.de>
parents: 174
diff changeset
    64
  frame.setVisible(true)
f211d9cb856e updated
Christian Urban <urbanc@in.tum.de>
parents: 174
diff changeset
    65
  frame.setResizable(false)
f211d9cb856e updated
Christian Urban <urbanc@in.tum.de>
parents: 174
diff changeset
    66
  frame.setDefaultCloseOperation(WindowConstants.EXIT_ON_CLOSE)
f211d9cb856e updated
Christian Urban <urbanc@in.tum.de>
parents: 174
diff changeset
    67
  viewer
124
c45d3cd9a749 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    68
}
c45d3cd9a749 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    69
186
f211d9cb856e updated
Christian Urban <urbanc@in.tum.de>
parents: 174
diff changeset
    70
// some hardcoded data
f211d9cb856e updated
Christian Urban <urbanc@in.tum.de>
parents: 174
diff changeset
    71
val W = 900   // width
f211d9cb856e updated
Christian Urban <urbanc@in.tum.de>
parents: 174
diff changeset
    72
val H = 800   // height
124
c45d3cd9a749 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    73
val black = Color.black
c45d3cd9a749 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    74
val viewer = openViewer(W, H)
c45d3cd9a749 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    75
186
f211d9cb856e updated
Christian Urban <urbanc@in.tum.de>
parents: 174
diff changeset
    76
// drawing a pixel on the canvas
124
c45d3cd9a749 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    77
def pixel(x: Int, y: Int, color: Color) = 
c45d3cd9a749 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    78
  viewer.canvas.setRGB(x, y, color.getRGB())
186
f211d9cb856e updated
Christian Urban <urbanc@in.tum.de>
parents: 174
diff changeset
    79
124
c45d3cd9a749 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    80
186
f211d9cb856e updated
Christian Urban <urbanc@in.tum.de>
parents: 174
diff changeset
    81
// calculating the number of iterations using lazy streams
f211d9cb856e updated
Christian Urban <urbanc@in.tum.de>
parents: 174
diff changeset
    82
//   the iteration goes on for a maximum of max steps,
f211d9cb856e updated
Christian Urban <urbanc@in.tum.de>
parents: 174
diff changeset
    83
//   but might leave early when the pred is satisfied
f211d9cb856e updated
Christian Urban <urbanc@in.tum.de>
parents: 174
diff changeset
    84
def iterations(c: Complex, max: Int) : Int = {
f211d9cb856e updated
Christian Urban <urbanc@in.tum.de>
parents: 174
diff changeset
    85
  def next(z: Complex) = z * z + c    
f211d9cb856e updated
Christian Urban <urbanc@in.tum.de>
parents: 174
diff changeset
    86
  def pred(z: Complex) = z.abs < 2    // exit condition
f211d9cb856e updated
Christian Urban <urbanc@in.tum.de>
parents: 174
diff changeset
    87
  Stream.iterate(0.0 * i, max)(next).takeWhile(pred).size
f211d9cb856e updated
Christian Urban <urbanc@in.tum.de>
parents: 174
diff changeset
    88
}
f211d9cb856e updated
Christian Urban <urbanc@in.tum.de>
parents: 174
diff changeset
    89
f211d9cb856e updated
Christian Urban <urbanc@in.tum.de>
parents: 174
diff changeset
    90
// main function 
187
4d300409f2fe updated
Christian Urban <urbanc@in.tum.de>
parents: 186
diff changeset
    91
//    start and end are the upper-left and lower right corners 
4d300409f2fe updated
Christian Urban <urbanc@in.tum.de>
parents: 186
diff changeset
    92
//    max is the number of maximum iterations
186
f211d9cb856e updated
Christian Urban <urbanc@in.tum.de>
parents: 174
diff changeset
    93
def mandelbrot(start: Complex, end: Complex, max: Int) : Unit = {
124
c45d3cd9a749 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    94
  viewer.clearCanvas(black)
186
f211d9cb856e updated
Christian Urban <urbanc@in.tum.de>
parents: 174
diff changeset
    95
  
f211d9cb856e updated
Christian Urban <urbanc@in.tum.de>
parents: 174
diff changeset
    96
  // deltas for each grid step 
f211d9cb856e updated
Christian Urban <urbanc@in.tum.de>
parents: 174
diff changeset
    97
  val d_x = (end.re - start.re) / W
f211d9cb856e updated
Christian Urban <urbanc@in.tum.de>
parents: 174
diff changeset
    98
  val d_y = (end.im - start.im) / H
124
c45d3cd9a749 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
    99
   
191
f78b18c4c886 updated
Christian Urban <urbanc@in.tum.de>
parents: 189
diff changeset
   100
  for (y <- (0 until H).par) {
f78b18c4c886 updated
Christian Urban <urbanc@in.tum.de>
parents: 189
diff changeset
   101
    for (x <- (0 until W).par) {
124
c45d3cd9a749 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   102
    
186
f211d9cb856e updated
Christian Urban <urbanc@in.tum.de>
parents: 174
diff changeset
   103
     val c = start + 
f211d9cb856e updated
Christian Urban <urbanc@in.tum.de>
parents: 174
diff changeset
   104
      (x * d_x + y * d_y * i)
f211d9cb856e updated
Christian Urban <urbanc@in.tum.de>
parents: 174
diff changeset
   105
     val iters = iterations(c, max) 
f211d9cb856e updated
Christian Urban <urbanc@in.tum.de>
parents: 174
diff changeset
   106
     val col = 
f211d9cb856e updated
Christian Urban <urbanc@in.tum.de>
parents: 174
diff changeset
   107
       if (iters == max) black 
f211d9cb856e updated
Christian Urban <urbanc@in.tum.de>
parents: 174
diff changeset
   108
       else colours(iters % 16)
124
c45d3cd9a749 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   109
186
f211d9cb856e updated
Christian Urban <urbanc@in.tum.de>
parents: 174
diff changeset
   110
     pixel(x, y, col)
143
11396c17cd8b updated
Christian Urban <urbanc@in.tum.de>
parents: 137
diff changeset
   111
    }
11396c17cd8b updated
Christian Urban <urbanc@in.tum.de>
parents: 137
diff changeset
   112
    viewer.updateUI()
186
f211d9cb856e updated
Christian Urban <urbanc@in.tum.de>
parents: 174
diff changeset
   113
  }   
124
c45d3cd9a749 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   114
}
c45d3cd9a749 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   115
187
4d300409f2fe updated
Christian Urban <urbanc@in.tum.de>
parents: 186
diff changeset
   116
124
c45d3cd9a749 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   117
// Examples
c45d3cd9a749 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   118
//==========
c45d3cd9a749 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   119
c45d3cd9a749 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   120
//for measuring time
c45d3cd9a749 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   121
def time_needed[T](code: => T) = {
c45d3cd9a749 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   122
  val start = System.nanoTime()
c45d3cd9a749 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   123
  code
c45d3cd9a749 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   124
  val end = System.nanoTime()
c45d3cd9a749 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   125
  (end - start) / 1.0e9
c45d3cd9a749 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   126
}
c45d3cd9a749 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   127
c45d3cd9a749 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   128
c45d3cd9a749 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   129
// example 1
186
f211d9cb856e updated
Christian Urban <urbanc@in.tum.de>
parents: 174
diff changeset
   130
val exa1 = -2.0 + -1.5 * i
f211d9cb856e updated
Christian Urban <urbanc@in.tum.de>
parents: 174
diff changeset
   131
val exa2 =  1.0 +  1.5 * i
124
c45d3cd9a749 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   132
c45d3cd9a749 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   133
time_needed(mandelbrot(exa1, exa2, 1000))
c45d3cd9a749 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   134
136
Christian Urban <urbanc@in.tum.de>
parents: 124
diff changeset
   135
// example 2
186
f211d9cb856e updated
Christian Urban <urbanc@in.tum.de>
parents: 174
diff changeset
   136
val exb1 = -0.37465401 + 0.659227668 * i
f211d9cb856e updated
Christian Urban <urbanc@in.tum.de>
parents: 174
diff changeset
   137
val exb2 = -0.37332410 + 0.66020767 * i
124
c45d3cd9a749 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   138
186
f211d9cb856e updated
Christian Urban <urbanc@in.tum.de>
parents: 174
diff changeset
   139
//time_needed(mandelbrot(exb1, exb2, 1000))
124
c45d3cd9a749 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   140
c45d3cd9a749 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   141
// example 3
186
f211d9cb856e updated
Christian Urban <urbanc@in.tum.de>
parents: 174
diff changeset
   142
val exc1 = 0.435396403 + 0.367981352 * i
f211d9cb856e updated
Christian Urban <urbanc@in.tum.de>
parents: 174
diff changeset
   143
val exc2 = 0.451687191 + 0.380210061 * i
124
c45d3cd9a749 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   144
166
780c40aaad27 updated
Christian Urban <urbanc@in.tum.de>
parents: 143
diff changeset
   145
//time_needed(mandelbrot(exc1, exc2, 1000))
124
c45d3cd9a749 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   146
c45d3cd9a749 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   147
// some more computations with example 3
186
f211d9cb856e updated
Christian Urban <urbanc@in.tum.de>
parents: 174
diff changeset
   148
124
c45d3cd9a749 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   149
val delta = (exc2 - exc1) * 0.0333
c45d3cd9a749 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   150
189
ff815ca0bbcf updated
Christian Urban <urbanc@in.tum.de>
parents: 187
diff changeset
   151
/*
167
349d706586ef updated
Christian Urban <urbanc@in.tum.de>
parents: 166
diff changeset
   152
time_needed(
186
f211d9cb856e updated
Christian Urban <urbanc@in.tum.de>
parents: 174
diff changeset
   153
  for (n <- (0 to 12)) 
f211d9cb856e updated
Christian Urban <urbanc@in.tum.de>
parents: 174
diff changeset
   154
     mandelbrot(exc1 + delta * n, 
f211d9cb856e updated
Christian Urban <urbanc@in.tum.de>
parents: 174
diff changeset
   155
                exc2 - delta * n, 100)) 
189
ff815ca0bbcf updated
Christian Urban <urbanc@in.tum.de>
parents: 187
diff changeset
   156
*/
186
f211d9cb856e updated
Christian Urban <urbanc@in.tum.de>
parents: 174
diff changeset
   157
/*
167
349d706586ef updated
Christian Urban <urbanc@in.tum.de>
parents: 166
diff changeset
   158
time_needed(
186
f211d9cb856e updated
Christian Urban <urbanc@in.tum.de>
parents: 174
diff changeset
   159
  for (n <- (0 to 12)) 
f211d9cb856e updated
Christian Urban <urbanc@in.tum.de>
parents: 174
diff changeset
   160
     mandelbrot(exc1 + delta * n, 
f211d9cb856e updated
Christian Urban <urbanc@in.tum.de>
parents: 174
diff changeset
   161
                exc2 - delta * n, 1000))
f211d9cb856e updated
Christian Urban <urbanc@in.tum.de>
parents: 174
diff changeset
   162
*/
124
c45d3cd9a749 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   163
c45d3cd9a749 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
   164
191
f78b18c4c886 updated
Christian Urban <urbanc@in.tum.de>
parents: 189
diff changeset
   165
// Larry Paulson's example
f78b18c4c886 updated
Christian Urban <urbanc@in.tum.de>
parents: 189
diff changeset
   166
val exl1 = -0.74364990 + 0.13188170 * i
f78b18c4c886 updated
Christian Urban <urbanc@in.tum.de>
parents: 189
diff changeset
   167
val exl2 = -0.74291189 + 0.13261971 * i
189
ff815ca0bbcf updated
Christian Urban <urbanc@in.tum.de>
parents: 187
diff changeset
   168
ff815ca0bbcf updated
Christian Urban <urbanc@in.tum.de>
parents: 187
diff changeset
   169
time_needed(mandelbrot(exl1, exl2, 1000))
ff815ca0bbcf updated
Christian Urban <urbanc@in.tum.de>
parents: 187
diff changeset
   170
191
f78b18c4c886 updated
Christian Urban <urbanc@in.tum.de>
parents: 189
diff changeset
   171
f78b18c4c886 updated
Christian Urban <urbanc@in.tum.de>
parents: 189
diff changeset
   172
// example by Jorgen Villadsen
f78b18c4c886 updated
Christian Urban <urbanc@in.tum.de>
parents: 189
diff changeset
   173
val exj1 = 0.10284 - 0.63275 * i
f78b18c4c886 updated
Christian Urban <urbanc@in.tum.de>
parents: 189
diff changeset
   174
val exj2 = 0.11084 - 0.64075 * i
f78b18c4c886 updated
Christian Urban <urbanc@in.tum.de>
parents: 189
diff changeset
   175
f78b18c4c886 updated
Christian Urban <urbanc@in.tum.de>
parents: 189
diff changeset
   176
time_needed(mandelbrot(exj1, exj2, 1000))