rnoh-htat has quit [Client Quit]
debona|r has joined #ocaml
smkl__ has joined #ocaml
smkl_ has quit [Read error: 110 (Connection timed out)]
yauz_ has joined #ocaml
yauz has quit [Read error: 113 (No route to host)]
rnoh-htat has joined #ocaml
rnoh-htat has quit [Client Quit]
smkl___ has joined #ocaml
monochrom has joined #ocaml
cjohnson has joined #ocaml
smkl__ has quit [Read error: 110 (Connection timed out)]
cj has joined #ocaml
Xolution has quit [Read error: 60 (Operation timed out)]
mrsolo has joined #ocaml
cjohnson has quit [Read error: 110 (Connection timed out)]
cjohnson has joined #ocaml
mrsolo has quit [Read error: 113 (No route to host)]
cjohnson has quit [Connection timed out]
cjohnson has joined #ocaml
cj has quit [Read error: 110 (Connection timed out)]
cj has joined #ocaml
Herrchen has joined #ocaml
cj has quit [Read error: 110 (Connection timed out)]
cj has joined #ocaml
cjohnson has quit [Read error: 104 (Connection reset by peer)]
Herrchen_ has quit [Read error: 110 (Connection timed out)]
smkl___ is now known as smkl
mary has joined #ocaml
monochrom has quit ["Don't talk to those who talk to themselves."]
debona|r has left #ocaml []
skittle has joined #ocaml
vezenchio has joined #ocaml
mrsolo has joined #ocaml
smkl has quit [Read error: 110 (Connection timed out)]
kosmikus|away is now known as kosmikus
mrsolo_ has joined #ocaml
mrsolo has quit [Read error: 54 (Connection reset by peer)]
smkl_ has joined #ocaml
shawn_ has joined #ocaml
shawn has quit [Read error: 110 (Connection timed out)]
smimou has joined #ocaml
cj has quit [Read error: 54 (Connection reset by peer)]
Herrchen has quit ["bbl"]
Submarine has joined #ocaml
smkl_ has quit [Read error: 60 (Operation timed out)]
kinners has joined #ocaml
smkl_ has joined #ocaml
skittle has quit [Remote closed the connection]
skittle has joined #ocaml
kinners has quit [Read error: 110 (Connection timed out)]
ChipsterBis has joined #ocaml
ChipsterBis has left #ocaml []
bk_ has quit ["Leaving IRC - dircproxy 1.1.0"]
bk_ has joined #ocaml
pac_away has joined #ocaml
smkl has joined #ocaml
smkl_ has quit [Read error: 110 (Connection timed out)]
Submarine has left #ocaml []
jourdechance has quit [Read error: 54 (Connection reset by peer)]
jourdechance has joined #ocaml
pac_away has left #ocaml []
bk_ has quit ["Leaving IRC - dircproxy 1.1.0"]
bk_ has joined #ocaml
cjohnson has joined #ocaml
monochrom has joined #ocaml
leolio has joined #ocaml
Xolution has joined #ocaml
leolio has quit [Read error: 104 (Connection reset by peer)]
cjohnson has quit [Read error: 60 (Operation timed out)]
leolio has joined #ocaml
leolio has quit [Read error: 104 (Connection reset by peer)]
kosmikus is now known as kosmikus|away
cj has joined #ocaml
CosmicRay has joined #ocaml
maihem has joined #ocaml
judge has quit [Read error: 110 (Connection timed out)]
Xolution has quit [Read error: 60 (Operation timed out)]
smkl_ has joined #ocaml
smkl has quit [Read error: 110 (Connection timed out)]
jason__ has joined #ocaml
smkl_ is now known as smkl
skittle has quit [Read error: 110 (Connection timed out)]
bk_ has quit ["Leaving IRC - dircproxy 1.1.0"]
maihem has quit ["Read error: 54 (Connection reset by chocolate)"]
palomer` has quit [Remote closed the connection]
vezenchio has quit ["I thought what I'd do was, I'd pretend I was one of those deaf-mutes ^_^"]
vezenchio has joined #ocaml
lus|wats has joined #ocaml
lus|wats has quit [Client Quit]
mattam_ has joined #ocaml
hallucinogenic has joined #ocaml
hallucinogenic has left #ocaml []
mattam has quit [Read error: 110 (Connection timed out)]
vezenchio has quit ["I thought what I'd do was, I'd pretend I was one of those deaf-mutes ^_^"]
leolio has joined #ocaml
eydaimon has joined #ocaml
laurent_ has joined #ocaml
CosmicRay has quit ["Client exiting"]
leolio has quit [Read error: 110 (Connection timed out)]
laurent_ is now known as leolio
smkl_ has joined #ocaml
smkl has quit [Read error: 110 (Connection timed out)]
Submarine has joined #ocaml
smimou has quit ["?"]
<
jourdechance>
what's the approximate complexity of div_big_int ? (it's not really a question about ocaml ...)
not_me2 has quit [Read error: 104 (Connection reset by peer)]
<
jourdechance>
the complexity is not a constant but a function of inputs
<
jourdechance>
i don't think it's a stupid question
<
monochrom>
number of bits ^ 3 IIRC.
<
monochrom>
Or maybe 4.
<
jourdechance>
IIRC ?
Submarine has left #ocaml []
<
jourdechance>
what does it mean ?
<
jason__>
What are you trying to figure out here?
<
jason__>
Why are you interested in its 'complexity'?
<
jason__>
Perhaps the number of ASM instructions the function produces?
<
jourdechance>
yes, it's true
<
jason__>
What do you mean by "Complexity"?
<
Smerdyakov>
People usually mean "time complexity," jason__.
karryall has quit ["tcho"]
<
jason__>
Benchmark then?
<
jourdechance>
i want to know the number of multiplication and addition of digits of a great number
<
Smerdyakov>
An asymptotic characterization of the running time of an algorithm as a function of input size
<
jourdechance>
(sorry for my "poor" english)
<
jourdechance>
exactly
<
jason__>
I can imagine a very 'simple' function taking a great deal of time for input given to it.
<
jason__>
Just while true
<
jourdechance>
this is not an algorithm
<
Smerdyakov>
jason__, like it or not, this is the standard computer science terminology.
<
jourdechance>
i mean the complexity of the algorithm use by the function div_big_int
<
Smerdyakov>
Well, yes; that's why I said it.
<
jason__>
You're always the one combating the use of the term 'polymorphism' in the way it's commonly defined in Computer Science ;)
<
mattam_>
Smerdy is ?
mattam_ is now known as mattam
leolio has quit [Read error: 60 (Operation timed out)]
Demitar has quit ["Bubbles..."]
not_me2 has joined #ocaml
not_me2 has quit [Read error: 104 (Connection reset by peer)]
not_me2 has joined #ocaml