f27080498d
Remove bignum>float VM primitive, and use bignum/f to implement >float on bignums instead, for a slight accuracy gain. Also, bignum/f now has a more efficient post-scaling algorithm to break the circular dependency on bignum>float
2010-11-24 22:41:15 -08:00
0c840a7965
math.integers: bignum/f rounding was wrong (reported by Joe Groff)
2010-11-13 16:02:12 -08:00
65dcd56b0b
math.integers: fix 0 0 bignum/f (reported by Joe Groff)
2010-11-12 19:49:18 -08:00
1985705413
compiler: now that FFI has been deconcatenatized, we no longer need the special ##unary-float-function and ##binary-float-function fastpaths
2010-08-13 23:59:19 -07:00
1196087991
math: declare quotation stack effects on each-integer, times, find-integer, all-integers?
2010-05-13 14:30:19 -07:00
23b3535053
Fix typo in between? stack effect docs
2010-05-05 18:16:54 -05:00
288090d993
math.parser: expose a format-float primitive for use by formatting vocabulary
2010-04-13 21:21:28 -07:00
18f3df9d4a
more help-lint
2010-03-09 21:02:43 -08:00
85f30987e2
spray some polymorphic stack effects on kernel, math, and sequences
2010-03-05 00:21:10 -08:00
949f658928
Fix a couple of typos in complex number docs
2010-02-22 17:39:30 -06:00
db663548f9
math: typo in rem docs
2010-02-19 11:23:20 +01:00
1c9a95122a
math.integers: remove a -rot usage
2010-02-10 15:44:49 +13:00
0f651c8506
math.parser: support leading + on significand and exponent so string>number can be a proper superset of C strto* functions
2010-02-07 14:21:59 -08:00
ce1ff01851
math.parser: add unit tests to ensure that "1e2" parses as 100.0 in decimal and as integer 1E2 in bases >= 15 (it does now)
2010-02-07 13:09:59 -08:00
90ea5796f4
math.parser: fix digit> bug found by Blei
2010-02-07 13:04:20 -08:00
4e766a0a12
math.parser: clean up and merge new-math-parser branch
2010-02-08 01:39:18 +13:00
afee6ccfcd
Merge branch 'new-math-parser' of git://factorcode.org/git/factor into new-math-parser
2010-02-07 23:28:18 +13:00
5ed0bc72aa
Merge git://github.com/littledan/Factor into littledan
2010-01-31 02:54:58 +13:00
e45816cf9b
math: docs fix
2010-01-30 21:14:41 +13:00
52f2ac2bb9
Tests for propagation additions; making fixnum-bit? inline
2010-01-25 20:15:17 -06:00
d3590ea210
Merge branch 'master' of git://factorcode.org/git/factor
...
Conflicts:
basis/compiler/tree/propagation/transforms/transforms.factor
2010-01-20 00:15:55 -06:00
aa1651032d
Adding compiler transforms in propagation
2010-01-20 00:10:49 -06:00
7f7e1e4e1d
Help lint fixes for iota
2010-01-15 17:04:14 +13:00
4cce9259e1
math.parser: fix docs -- maximum radix is 16 not 36
2010-01-15 08:36:40 +13:00
4c71d71907
random is generic now -- iota random -> random
2010-01-14 12:48:57 -06:00
df4fb4a3ee
Removing integers-as-sequences
2010-01-15 07:15:33 +13:00
47a5e96547
Rework min and max so that behavior with floats and NaNs is consistent between generic arithmetic and open-coded float intrinsics
2010-01-13 22:20:16 +13:00
0612bc6177
Factor source files should not be executable
2009-11-21 17:50:43 -06:00
a46671e3ad
math.integers: fix help lint on 32-bit
2009-11-06 04:52:52 -06:00
a089163a40
math: fix test failures on 32-bit
2009-11-06 04:50:41 -06:00
61a3e4e814
new, faster one-pass number parser
2009-11-01 01:59:12 -05:00
60aecace7d
remove dangling PRIVATE> from math.parser
2009-11-01 00:42:25 -05:00
d4a207662e
might want to accurately divide large negative fixnums too
2009-10-31 12:10:29 -05:00
a7011fe087
use bignum/f to get accurate division of fixnums >= 2^53 on 64-bit platforms
2009-10-31 12:06:56 -05:00
70ffa003ec
eliminate roll/-roll from core
2009-10-30 13:36:15 -05:00
1476cdb974
reverse-here -> reverse!
2009-10-28 14:40:15 -05:00
ad18098a4f
add some math.parser hints that slightly improve number parsing performance
2009-10-26 17:48:05 -05:00
28f5347e71
tighten some screws in math.parser
2009-10-22 20:48:46 -05:00
943bde59f9
speed up dec>float a little
2009-10-22 18:55:32 -05:00
1a7b4d7c63
inline the trivial words in math.parser
2009-10-22 17:26:22 -05:00
405e5d015b
docs: change $subsection to $subsections
2009-10-02 12:15:48 -04:00
0836e79e66
Fix conflict
2009-09-23 20:52:04 -05:00
e1efb189a4
math and math.vectors: improved documentation
2009-09-23 03:08:45 -05:00
bea4aa7662
docs: updated some docs to use new markup
2009-09-22 15:22:34 -04:00
f459c24e45
oops, float>hex didn't preserve leading zeroes in mantissa
2009-09-20 16:48:42 -05:00
238f600da2
document number-base prettyprinter variable. add more docs about hex float syntax
2009-09-18 15:11:01 -05:00
8c14af3f6c
add a number-base configuration variable to prettyprint.config. set to 2 to print BIN:, 8 to print OCT:, 10 to print decimal, 16 to print HEX:
2009-09-14 15:03:05 -05:00
32b95c2cdf
math: add unordered comparison operators u< u<= u> u>= which behave exactly like < <= > >= except no floating point exceptions are set if one or both inputs are NaNs; also add efficient intrinsic for unordered? predicate, and fix propagation type functions for abs, absq, and bitnot
2009-09-12 22:20:13 -05:00
f890f39d7c
math.parser: fix example
2009-09-12 21:45:57 -05:00
aad68418d2
math, syntax: document hexadecimal float literal syntax
2009-09-12 21:18:17 -05:00
018677319c
math, syntax: fix help lint
2009-09-12 21:07:31 -04:00
1337f82ce6
math.order: better docs
2009-09-12 16:33:42 -05:00
11f984e734
math.floats: fix abs on floats; -0.0 abs should be 0.0 not -0.0
2009-09-12 16:24:07 -05:00
3c55e7fe0c
Add NAN: literal syntax for NANs with a payload
2009-09-12 15:06:15 -05:00
0ed5822ed9
HEX: X.XXXpEEE hexadecimal float literal syntax
2009-09-11 20:11:29 -05:00
14f412b404
add an "unordered?" predicate to math, with a dumb implementation for now
2009-09-10 23:45:18 -04:00
1bc97b4624
add unit tests for comparisons against nan
2009-09-03 17:27:06 -05:00
1106fb10f1
let's not forget about hex literals
2009-09-01 21:28:23 -05:00
1a04bc1124
require numeric literals to begin and end with a digit/decimal point so that stuff like "," and "1," don't parse as numbers
2009-09-01 21:14:26 -05:00
ec70e1d714
More minor documentation tweaks
2009-08-30 06:32:20 -05:00
2bb6293217
compiler: add fixnum-min/max intrinsics; ~10% speedup on benchmark.yuv-to-rgb
2009-08-28 19:02:59 -05:00
d957ae4e44
Performance improvements to make struct-arrays benchmark faster
...
- improved optimization of ##unbox-any-c-ptr on ##box-displaced-alien; convert it to ##unbox-c-ptr where possible using class info stored in the ##bda instruction
- make fcos, fsin, etc inline again; everything in math.libm inline again, except for fsqrt which is an intrinsic
- convert min and max on floats to float-min and float-max
- make min and max not inline, so that the above can work
- struct-arrays: rice a bit so that more fixnums come up
2009-08-28 05:21:16 -05:00
79cdc45339
math: move float methods to math.floats
2009-08-20 03:55:19 -05:00
15a7148de0
Merge branch 'master' of git://factorcode.org/git/factor
2009-08-19 15:48:07 -05:00
8120bdebea
Merge branch 'master' of git://factorcode.org/git/factor
2009-08-18 00:02:29 -05:00
62cd1d280c
Fixing docs typo in math.floats
2009-08-18 00:02:19 -05:00
030b1b816c
Add inline declarations for various assorted methods
2009-08-17 22:32:21 -05:00
24d9a8635c
Merge branch 'struct-classes' of git://factorcode.org/git/factor
2009-08-17 21:26:19 -05:00
7c92ab1ea5
move if-zero etc to math, remove 1-/1+ from math
2009-08-14 14:27:23 -05:00
6fe7fe72c7
Merge branch 'master' of git://factorcode.org/git/factor
2009-08-14 10:55:05 -04:00
686b3e348e
use ERROR: in several places instead of throwing strings
2009-08-11 23:09:02 -05:00
15ae8fb673
fix sgn docs
2009-08-11 18:15:24 -05:00
14ef1649d4
add if-zero/when-zero/unless-zero to core/ and update usages
2009-08-11 17:59:40 -05:00
f8405e9c55
A number of documentation fixes.
...
* Short-circuit combinators now show correct stack effect for quots
* Groups and Clumps unchecked examples corrected, made runnable in listener
* Class operations had duplicate link to class-types
* Protocol slots readability fixed
* Tuple word property for "tuple-layout" corrected to "layout"
* cond>quot sentence started in lowercase
* Method precedence code example missing stack effect for GENERIC:, M: integer explain changed to detail an integer
* Motivation for default streams readability
* Default input and output streams duplicate readln link removed from output stream words section
* Looping combinators do description clarified
* Make philosophy missing space
* Linear order protocol duplicate after? link removed
* Parsing words readability fix
* Copied note regarding with-compilation-unit from define to define-declared and define-inline
2009-08-10 23:34:25 -07:00
0376cf0f9d
allow commas in numeric literals
2009-08-10 19:33:27 -04:00
f034be3c9e
nitpick
2009-07-24 21:04:49 -05:00
01a0bf7c36
add more links to floating point words in docs
2009-07-24 18:11:51 -05:00
4ee1f68e30
Documentation fixes
2009-07-18 06:32:57 -05:00
a54c78007b
add a clamp word to math.order, use clamp word throughout libraries
2009-05-24 21:35:50 -05:00
c5d440700d
0.0 neg ought to be -0.0
2009-05-21 18:49:22 -05:00
7584b30755
"math" help-lint
2009-05-09 20:23:56 -05:00
4ee4357e75
Fix negative zero smashing with bootstrap
2009-05-09 18:17:30 -05:00
9021062795
fp-nan? was defined incorrectly. while i'm here, let's add some more float manipulation words
2009-05-09 09:49:31 -05:00
8e3e67fad4
Fix test failures
2009-05-04 13:10:56 -05:00
b4088373b7
Merge branch 'master' of git://factorcode.org/git/factor
2009-05-04 05:16:47 -05:00
a63ad6a7a5
Remove cruddy string encoding/decoding code from VM
2009-05-02 13:45:38 -05:00
0ad6d1fb7b
add a few usages of iota, remove most 1+ and 1- from core
2009-05-01 19:58:24 -05:00
fc4894fbdf
Replace ratio and complex built-in types with tuples defined in the library. This frees up two lo-tags, so move array and quotation over to these tags and update compiler for new tags
2009-04-30 00:27:35 -05:00
1c68b389cc
Document special float values
2009-04-14 15:05:10 -05:00
cb6f59ff5b
Fix unit test failure in math.parser
2009-04-13 20:25:55 -05:00
0ffd43e2e3
1.0/0.0 => 1/0.
2009-04-13 19:48:08 -05:00
0fda643ab1
Optimizing string>number
2009-04-11 20:30:51 -05:00
99b8400e56
Documentation updates
2009-04-06 03:00:46 -05:00
8385e9d9f5
Fixing compile errors, test failures and help lint failures
2009-03-23 17:12:41 -05:00
25a877e50b
Merge OneEyed's patch
2009-02-28 17:06:55 -06:00
cd53c2bd37
produce and produce-as: don't need third quotation either
2009-02-28 15:31:34 -06:00
78ce670101
Merge branch 'for-slava' of git://git.rfc1149.net/factor
2009-02-28 14:42:56 -06:00
45dae72f4a
Merge branch 'master' into new_ui
2009-02-26 23:31:36 -06:00
a083832ab4
fix typo in math docs
2009-02-26 18:10:11 -06:00
91d0c4ed1f
Fix conflict
2009-02-22 20:02:13 -06:00
127f9b3578
Add unit tests for bignum bug
2009-02-22 19:41:47 -06:00
087d931c36
Remove the tail argument from do/until/while
2009-02-18 02:41:14 +01:00
421ee726b8
Merge branch 'master' into new_ui
2009-02-16 21:22:12 -06:00
6b25e99470
Add summary for heaps more vocabs
2009-02-16 21:05:13 -06:00
0684a9b7b0
Merge branch 'master' into new_ui
2009-02-09 18:16:14 -06:00
35b526cc7a
Docs for lists, consolidating list functionality in lists, minor API changes
2009-02-09 14:29:09 -06:00
1bbabcd5e1
Remove some usages of slip combinators from the core
2009-02-05 03:29:59 -06:00
669548e62e
Clean up some usages of tuck, and add Joe's curried cleave/spread/apply combinators to kernel vocabulary
2009-02-02 13:43:54 -06:00
a9ef525aed
Help lint fixes for stricter help lint
2009-01-27 04:12:37 -06:00
92f9338978
Smart quotes
2009-01-26 23:20:27 -06:00
66f5694462
document more core/ words
2009-01-17 22:15:57 -06:00
ca2f01e0d0
Updating non-core libraries for monotonic? change
2009-01-16 17:02:54 -06:00
076b2d0893
add >=< word to math.order
2009-01-08 16:06:01 -06:00
058ba127cb
Cleaning up more -rot usages
2008-12-22 05:41:01 -06:00
c5160d76e9
Merge qualified, alias, symbols, constants into core
2008-12-17 18:10:01 -06:00
0021cde743
Fix more compile errors
2008-12-15 22:21:56 -06:00
53db40ba13
Add more stack declarations
2008-12-13 05:06:28 -06:00
b154b21aaa
Add new until combinator, and a new do word which acts like a modifier: do while, do until for loops which iterate at least once
2008-12-08 23:37:18 -06:00
73b3cd6367
Use eq? instead of number= since we only ever have a fixnum here
2008-12-08 13:59:59 -06:00
e4f8448eb1
Fix some problems with arithmetic type inference, exposed by recent changes to log2 word
...
- declared input type for bignum-shift was stricter than the runtime behavior, leading to bad propagation of type info if shift count was a bignum
- types inferred for type functions which used number-valued/integer-valued/real-valued were not always precise, eg bignum bignum bitxor => integer
- add interval-log2, type function for (log2)
- remove math-class-min, it was useless
2008-12-07 19:44:49 -06:00
8a8f0c925c
Use BSR instruction to implement fixnum-log2 intrinsic
2008-12-06 15:31:17 -06:00
fa146b248a
Remove obsolete info; 1+ and 1- are identical to 1 + and 1 - in reality
2008-12-05 02:11:50 -06:00
13781ee48c
Merge branch 'master' of git://factorcode.org/git/factor
2008-12-04 00:42:34 -05:00
ca73c06194
Fix documentation example for floats
2008-12-04 00:36:11 -05:00
0e14f767ee
core: swap 3append -> glue
2008-12-03 19:12:48 -06:00
267ab0aa4d
Implement /i on floats
2008-11-29 12:21:26 -06:00
a4d9cdfeb3
Refactor all usages of >r/r> in core to use dip, 2dip, 3dip
...
Non-optimizing compiler now special-cases dip, 2dip, 3dip following a
literal quotation: this allows us to break the dip/slip meta-circle
without explicit calls to >r/r>
2008-11-23 02:44:56 -06:00
3d8f432856
Clarify math.bitwise -vs- bitwise-arithmetic docs
2008-11-19 19:23:11 -06:00
9bf63b1613
New $quotation markup element
2008-11-16 09:03:30 -06:00
cc7ab11881
Add more unit tests
2008-11-07 20:34:04 -06:00
c19f2257f4
Fix permission bits
2008-10-02 08:34:49 -05:00
21c621d464
Fix erg's ratio bug
2008-09-30 18:28:11 -05:00
f5acf7e3d6
Rice
2008-09-27 17:54:44 -05:00
e211260e47
Tweak unit test
2008-09-20 18:52:39 -05:00
3d7ed0f122
document ?1+ for the lulz
2008-09-17 00:21:11 -05:00
0c8e2584b4
Fixing unit tests for make, fry changes
2008-09-11 00:20:06 -05:00
44f53de164
Move make to its own vocabulary, remove fry _ feature
2008-09-10 20:07:00 -05:00
73086e1a61
add fp-infinity?, docs, and tests
2008-09-03 01:35:03 -05:00
bb8fcf245f
fix math docs
2008-09-02 15:17:18 -05:00
110a5e5162
Change equality semantics
2008-09-02 02:02:05 -05:00
cead05c5d2
Workaround Windows libc bug (?)
2008-08-22 00:32:37 -05:00
95657e5742
Remove some funny retain stack usage
2008-08-18 20:13:24 -05:00
f279015b85
Minor fixes
2008-08-06 04:46:30 -05:00
d66f887736
Create basis vocab root
2008-07-28 22:03:13 -05:00
ed7ad146d8
Fix NaN handling in math.intervals
2008-07-28 06:31:11 -05:00
c6915b1023
Working on tuple slot propagation
2008-07-25 02:07:45 -05:00
ef1e8ee8f6
More interval debugging
2008-07-23 20:11:43 -05:00
5d7cb635ad
Add empty interval handling
2008-07-22 21:04:22 -05:00
b42c845d48
Update intervals docs
2008-07-22 04:44:21 -05:00
af09eae727
Add some more interval operations
2008-07-22 01:27:39 -05:00
f1268db79a
Fix test
2008-07-21 20:48:30 -05:00
35bd2abc71
Fix more math.parser stuff
2008-07-20 04:05:09 -05:00
89d3c0c616
Fix negative zero
2008-07-20 00:56:25 -05:00
ac2bf0b87d
Adding inline recursive declarations
2008-07-18 19:22:59 -05:00
0bb85a1ef9
Fix obscure corner case; -include='compiler math'
2008-07-06 18:21:34 -05:00
9c603c164c
Fix intervals bug
2008-07-04 18:18:00 -05:00
77c4d97785
Some unit test fixes
2008-06-30 03:57:00 -05:00
f7b7001f39
BOA constructors now check types
2008-06-30 01:44:58 -05:00
b36e06d0d6
Builtinn types now use new slot accessors; tuple slot type declaration work in progress
2008-06-28 02:36:20 -05:00
685d53e264
Add gather word; faster 'implementors' using inverted index
2008-06-12 05:49:46 -05:00
5a3581acbc
Documentation updates
2008-06-11 20:27:54 -05:00
29fa4a8a54
assoc-find is no longer generic
2008-06-09 05:22:21 -05:00
9dd5c9919f
Mandatory stack effect annotations
2008-06-08 15:32:55 -05:00
91ef98cc70
math.parser fix
2008-05-05 18:09:44 -05:00
75fb15ee4c
Split stdio up into input-stream/output-stream, pipes work in progress
2008-05-05 02:19:25 -05:00
d1a3b64569
Fix class sorting again
2008-05-02 17:36:31 -05:00
5a29b2e273
Class linearization
2008-05-02 02:51:38 -05:00
d2fe9f6abb
Fix unit tests
2008-04-29 06:01:01 -05:00
ee46527023
Fix tests
2008-04-29 03:59:41 -05:00
5901107f66
Bootstrap fix
2008-04-29 01:49:06 -05:00
08af497255
Fix /f for large integers
2008-04-28 21:26:31 -05:00
1dbc37e0cd
Merge branch 'master' of git://factorcode.org/git/factor
2008-04-28 15:18:07 -05:00
594d57d5cc
fix docs
2008-04-28 15:17:47 -05:00
1f7be9945b
Cleanup erg's cleanup
2008-04-28 14:52:03 -05:00
09c21f077b
add invert-comparison word
2008-04-27 23:23:51 -05:00
32814ffce5
<=> outputs +lt+ +eq+ +gt+
2008-04-27 18:57:46 -05:00
b4f7619655
add math.order
2008-04-27 17:03:21 -05:00
15402ed1b4
core changes:
...
index* -> index-from
last-index* -> last-index-from
1 tail -> rest
1 tail-slice -> rest-slice
subset -> filter
prepose
find* -> find-from
find-last* -> find-last-from
before, after generic, < for integers
make between? work for timestamps
2008-04-25 23:12:44 -05:00
f48d5091c9
Faster inline allocators
2008-04-19 04:52:34 -05:00
2d2b3ec904
Partial dispatch on integer operations
2008-04-18 16:51:09 -05:00
390afacac8
Better modular arithmetic optmizer
2008-04-17 12:22:24 -05:00
aaf48cebf5
New utility word
2008-04-13 03:52:40 -05:00
bced4022e5
updating usages of cond/case
2008-04-11 12:53:22 -05:00
1e538ccd03
more docs
2008-04-03 22:16:37 -05:00
e75222d039
More add and add* cleanups
2008-03-31 19:24:48 -06:00
c22af5c7a6
Rename 2apply to bi@
2008-03-29 20:36:58 -05:00
32526206f1
Help fixes
2008-03-11 19:51:58 -05:00
7ad74eb320
Various fixes
2008-03-08 02:51:26 -06:00
7ffd9c95ba
Fixing interval comparison
2008-03-07 21:27:00 -06:00
e98cd1fd59
New convention for unit tests
2008-03-01 17:00:45 -05:00
3bf3c3ee5a
New sorting comparison operators
2008-02-26 17:33:48 -06:00
727f91409d
Split off concurrency.mailboxes, add timeout support to promises, locks, mailboxes, semaphores, count-downs
2008-02-21 23:47:06 -06:00
2ecd1ba127
Improve ratio syntax
2008-02-10 01:40:17 -06:00
52b5c5a068
Reorganize compiler tests
2008-02-08 01:48:51 -06:00
78abc143d6
Load fix
2008-02-07 01:01:14 -06:00
2541c62e29
Fix code for math.parser changes
2008-02-06 21:15:47 -06:00
f3c8bd266b
Improved syntax for ratios
2008-02-06 20:05:03 -06:00
be2c8b13d7
Rename unit-test-fails to must-fail and add must-fail-with to replace [ t ] [ [ ... ] catch ... ] unit-test idiom
2008-02-06 13:47:19 -06:00
a05c18152b
flags now works with numbers
2008-02-02 07:05:15 -06:00
16e206b3b8
Add flags to math.bitfields
2008-02-02 06:58:28 -06:00
Slava Pestov
Joe Groff
Doug Coleman
Philipp Brüschweiler
Daniel Ehrenberg
Keith Lazuka
Slava Pestov
Slava Pestov
Daniel Ehrenberg
Joe Groff
Brad Christensen
Doug Coleman
Samuel Tardieu
Daniel Ehrenberg
U-SLAVA-DFB8FF805\Slava
Aaron Schaefer
unknown
Eduardo Cavazos
Slava Pestov
sheeple