00:07:07 -!- Modius [~Modius@cpe-24-28-30-165.austin.res.rr.com] has quit [Ping timeout: 265 seconds]
00:54:08 -!- bfulgham [~brent@wsip-72-215-191-226.sb.sd.cox.net] has left #ccl
01:07:34 jajcloz [~jaj@pool-108-7-68-199.bstnma.fios.verizon.net] has joined #ccl
02:37:05 -!- rme [rme@clozure-7EDAA9D3.chi01.dsl-w.verizon.net] has quit [Quit: rme]
02:37:05 -!- rme [~rme@pool-70-106-137-119.chi01.dsl-w.verizon.net] has quit [Quit: rme]
07:38:33 jdz [~jdz@193.206.22.97] has joined #ccl
09:07:03 tfb [~tfb@92.40.71.27.sub.mbb.three.co.uk] has joined #ccl
09:08:00 -!- roffe [~roffe@adsl-149-197.romerikebb.no] has quit [Quit: roffe]
11:41:07 -!- tfb [~tfb@92.40.71.27.sub.mbb.three.co.uk] has quit [Ping timeout: 252 seconds]
13:08:20 bzzbzz [~franco@modemcable240.34-83-70.mc.videotron.ca] has joined #ccl
13:28:29 rme [~rme@pool-70-106-137-119.chi01.dsl-w.verizon.net] has joined #ccl
15:27:28 -!- rme [rme@clozure-7EDAA9D3.chi01.dsl-w.verizon.net] has quit [Quit: rme]
15:27:28 -!- rme [~rme@pool-70-106-137-119.chi01.dsl-w.verizon.net] has quit [Quit: rme]
15:38:07 rme [~rme@pool-70-106-137-119.chi01.dsl-w.verizon.net] has joined #ccl
15:50:32 -!- jdz [~jdz@193.206.22.97] has quit [Quit: Leaving]
17:19:41 <clop> are there any ccl functions for extracting slices from a bignum in particularly efficient ways?  i.e., if so that we could extract the bottom 60 bits, then the next 60 bits, etc., as fixnums, without having to build new bignums?
17:21:16 anRch [~markmilli@63.112.62.27] has joined #ccl
17:23:12 <rme> clop: bignums are represented as "vectors" of 32-bit "digits".  You can use ccl:uvref to get at the digits.
17:23:51 <rme> the "digits" go from least significant to most significant.
17:24:42 <clop> rme, thanks!
17:35:40 <clop> this seems really fast -- is there something like a uv-length function, too?
17:36:18 <rme> Yes, ccl:uvsize.
17:36:46 <clop> sweet, thanks!
18:57:13 milanj [~milanj_@109-93-32-212.dynamic.isp.telekom.rs] has joined #ccl
19:05:28 -!- anRch [~markmilli@63.112.62.27] has quit [Quit: anRch]
21:39:25 -!- jajcloz [~jaj@pool-108-7-68-199.bstnma.fios.verizon.net] has quit [Quit: jajcloz]
23:23:11 Phoodus [foo@174-17-246-43.phnx.qwest.net] has joined #ccl