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