I speed up more extensively adda and multa in doing computation in base 10000 instead of 10. Here is code
global base
set base 10000
# Add two numbers.
proc adda {xs ys} {
global base
set rs {}
set carry 0
if {[llength $xs]>[llength $ys]} {
set len [llength $ys]
set flag 0
} else {
set len [llength $xs]
set flag 1
}
set pos 0
foreach x $xs y $ys {
if {$pos>=$len} {
if {$flag} {set x 0} else {set y 0}
}
set n [expr {$x+$y+$carry}]
set carry [expr {$n / $base}]
lappend rs [expr {$n % $base}]
incr pos ;# who stole this line? restored 11/00 MM
}
if {$carry} {lappend rs $carry}
return $rs
}
proc multi {xs a} {
global base
set rs {}
#puts "multi : xs=$xs"
if { $a == $base } {
set rs $xs
set rs [ linsert $rs 0 0 ]
#puts "multi: rs=$rs"
return $rs
}
set carry 0
foreach x $xs {
set n [expr {$x*$a+$carry}]
set carry [expr {$n / $base}]
lappend rs [expr {$n % $base}]
}
if {$carry} {lappend rs $carry}
return $rs
}
proc multa {xs ys} {
global base
set rs {}
set d $ys
foreach x $xs {
set n [multi $d $x]
set rs [adda $rs $n ]
set d [multi $d $base ]
}
return $rs
}
# Convert an integer to a (list-formatted) number.
proc tolist {n} {
global base
set rs {}
if {[catch {incr n 0}]} {
set k 0
set nn {}
set rs {}
set l [string length $n ]
incr l -1
for { set i $l } { $i >= 0 } { incr i -1 } {
set digit [ string index $n $i ]
incr k
set nn "$digit$nn"
if { $k == 4} {
set k 0
lappend rs $nn
#puts -nonewline " $nn"
set nn {}
}
}
if { $nn != {} } {
lappend rs $nn
#puts -nonewline " $nn"
}
#puts ""
} else {
while {$n > 0} {
lappend rs [expr {$n%$base}]
set n [expr {$n/$base}]
}
}
#puts "tolist rs= $rs"
return $rs
}
# Convert a (list-formatted) number to a human-readable form.
# Will be an integer (modulo type-shimmering) if representable.
proc fromlist {xs} {
set r {}
foreach x $xs {
if { $x == 0 } {
set r "0000$r"
} else {
set r $x$r
}
}
if {![string length $r]} {set r 0}
return $r
}
# DEMO CODE: Factorial. Try calculating [fact 40] for a 48-digit number
proc fact {n} {
set this 1
for {set i 1} {$i <= $n} {incr i} {
set this [multa $this [tolist $i]]
}
return [fromlist $this]
}
# DEMO CODE: Fibonacci Sequence. Doesn't grow anything like as fast as factorial (in fact, two-term recurrences such as Fibonacci grow at quadratic rates),
# but still grows beyond 32-bit integers quite easily.
proc fib {n} {
set this 1
set last 0
for {set i 1} {$i<$n} {incr i} {
set new [adda $this $last]
set last $this
set this $new
}
return [fromlist $this]
}JJD
Here are a few procedures I put together to perform arbitrary precision arithmetic. If you are using these a lot, perhaps you should consider the mpexpr extension [L1 ] instead.
The basic representation I use is a list of decimal digits (easy to convert to and from human-readable form) stored least-significant digit first (so the code handles the magnitude of the numbers implicitly.)
This all comes from a discussion I was having in email relating to some messages online about calculating factorials. I've decided to put the procs here so I can find them again. Feel free to optimise them, add in relevant links, more examples, other representations, etc.
DKF
WHOA! Donal, am I missing something here?
% tolist 75676576576576576567575 can't use floating-point value as operand of "%" %
-PSE
That's not an integer, is it? It's just a string of digits... Oh well, I've fixed the code below now, so your example should now work. - DKF
HOW is that not an integer?
inýý·teýý·ger (nt-jr)
n. Mathematics
1.A member of the set of positive whole numbers (1, 2, 3, . . .),
negative whole numbers (-1, -2, -3, . . .),
and zero (0).
2.A complete unit or entity.BTW, I fixed your missing bracket problem down there... things are quite spiffy now. How would we ever get along without our own knight-of-the-lambda-calculus? Thanks Donal! -PSE
Hah! Dictionary definitions are for wimps! It cannot be parsed by Tcl_GetInt(), so obviously it cannot be an integer. This is confirmed by the use of the [string is integer 75676576576576576567575] test, which naturally fails.
(And cheers for fixing any missing bracket problems.)
DKF
All of the words in the dictionary cannot express my gratitude that I do not have to sit across the table from you at the Monday morning status meeting... -PSE
My status meetings are usually on Friday afternoons, and I have the advantage of working with people with heavy admin and/or teaching loads, so any work I choose to do is definitely appreciated. And I drink coffee that is substantially stronger than Starbucks makes theirs...
Now, I've got a compiler spec. that I really ought to get written for as soon as possible. So I do hope you'll forgive me if I leave this pleasant little discussion for now and get on with a little work. -DKF
So should I, but I like this place ;-) how 'bout
proc string_is_dictionary_integer {s} {regexp {^-?[0-9]+$} $s} ;#RSproc K {x y} {set x};# For a speedup
# Add two numbers.
proc adda {xs ys} {
set rs {}
set carry 0
if {[llength $xs]>[llength $ys]} {
set len [llength $ys]
set flag 0
} else {
set len [llength $xs]
set flag 1
}
set pos 0
foreach x $xs y $ys {
if {$pos>=$len} {
if {$flag} {set x 0} else {set y 0}
}
set n [expr {$x+$y+$carry}]
set carry [expr {$n / 10}]
lappend rs [expr {$n % 10}]
incr pos ;# who stole this line? restored 11/00 MM
}
if {$carry} {lappend rs $carry}
return $rs
}
# Multiply two numbers.
proc multa {xs ys} {
set rs 0
foreach x $xs {
for {} {$x>0} {incr x -1} {
set rs [adda [K $rs [set rs {}]] $ys]
}
set ys [linsert [K $ys [set ys {}]] 0 0]
}
return $rs
}
# Convert an integer to a (list-formatted) number.
proc tolist {n} {
set rs {}
if {[catch {incr n 0}]} {
foreach digit [split $n {}] {
set rs [linsert [K $rs [set rs {}]] 0 $digit]
}
} else {
while {$n > 0} {
lappend rs [expr {$n%10}]
set n [expr {$n/10}]
}
}
return $rs
}
# Convert a (list-formatted) number to a human-readable form.
# Will be an integer (modulo type-shimmering) if representable.
proc fromlist {xs} {
set r {}
foreach x $xs {
set r $x$r
}
if {![string length $r]} {set r 0}
return $r
}
# DEMO CODE: Factorial. Try calculating [fact 40] for a 48-digit number
proc fact {n} {
set this 1
for {set i 1} {$i <= $n} {incr i} {
set this [multa [K $this [set this {}]] [tolist $i]]
}
return [fromlist $this]
}
# DEMO CODE: Fibonacci Sequence. Doesn't grow anything like as fast as factorial,
# but still grows beyond 32-bit integers quite easily.
proc fib {n} {
set this 1
set last 0
for {set i 1} {$i<$n} {incr i} {
set new [adda $this $last]
set last $this
set this $new
}
return [fromlist $this]
}Another link: http://homepages.ihug.co.nz/~webscool/integer.html - RS
See math::bignum from tcllib. It is pure-Tcl. And in Tcl 8.5, default integers are now Bignums as described in TIP #237.
See mkTulip at http://mkextensions.sourceforge.net/ .
Also perhaps checkout Decimal Arithmetic Package for tcl 8.5
Check out Bignums Fast and Dirty and arbint and mpexpr.
[Maybe write here a bit about arithmetic based on Schönhage and Strassen, and also Priest's '91 paper on "Algorithms for Arbitrary Precision Floating Point Arithmetic". Is this the right place?]