d596e3abe7
math.vectors.simd: fix help rendering
2009-09-08 14:49:27 -05:00
82a8ef7beb
math.vectors.simd: remove useless dependency
2009-09-08 13:55:56 -05:00
aa4307765b
Merge branch 'master' into simd
2009-09-08 13:38:14 -05:00
f5536bdde0
math.vectors.specialization: specialized vector words are now subwords of the generic vector word. This ensures that specializations get compiled correctly in all cases
2009-09-08 13:37:25 -05:00
c707ba5d61
Merge branch 'for-slava' of git://git.rfc1149.net/factor
2009-09-08 13:09:27 -05:00
0c936c14ca
Merge branch 'for-slava' of git://git.rfc1149.net/factor into simd
2009-09-08 13:02:00 -05:00
38c961cf6f
Fixes
2009-09-08 00:13:18 -05:00
bbca00e2ae
Fix conflicts
2009-09-07 23:51:25 -05:00
e3509e7f11
tighten up math.floats.env docs
2009-09-07 10:50:40 -05:00
25b45d6af0
test fp traps
2009-09-06 09:04:46 -05:00
e705470d42
make public words for querying current rounding mode, denormal mode, and trap set
2009-09-06 08:50:54 -05:00
96db254311
unit tests for math.floats.env
2009-09-06 07:50:56 -05:00
36ec53a968
math.floats.env vocab with words to control the floating-point environment
...
add some functions to the VM to grab and set the fpu control register
2009-09-05 19:48:13 -05:00
a054ec3d64
specialized-arrays.direct is no more; instead, every specialized-array.<foo> vocabulary has a <direct-T-array> constructor
2009-09-04 22:01:55 -05:00
e11d1e37f5
math.vectors.simd: allow punning SIMD vectors between types
2009-09-04 02:35:58 -05:00
6494e7a53b
math.vectors.simd: slightly faster 'sum' on 256-bit vectors: add the two components then do horizontal add, instead of doing a horizontal add on each one and adding the results
2009-09-04 02:23:25 -05:00
1fc809b643
math.vectors.simd: docs
2009-09-04 01:22:18 -05:00
6b5e40b2fc
functors: support private words with DEFINES-PRIVATE; use this to make some words generated by math.vectors.simd.functor private
2009-09-04 01:21:59 -05:00
55c449c6e2
math.vectors.simd: define fallbacks for all vector constructors so that code can still work even if SIMD is not available
2009-09-03 21:37:55 -05:00
4d5a4222b6
More SIMD work
...
- Rename SIMD types and register representations: <type>-<count> rather than <count><type>-array
- Make a functor to define 256-bit vector types, use it to define float-8 type
- Make SIMD instructions pure-insns so that they participate in value numbering
2009-09-03 20:58:56 -05:00
bf81cb4259
math.vectors.simd: split off intrinsics into a sub-vocabulary, to avoid loading most of the SIMD code on bootstrap
2009-09-03 03:43:43 -05:00
906a0d212a
Detect SSE version and enable the correct set of SIMD intrinsics
2009-09-03 03:28:38 -05:00
ff8c70dbe0
Initial implementation of SSE vector intrinsics:
...
- cpu.architecture: add SSE vector representations
- compiler.cfg.intrinsics.alien: remove an attempt at optimization that value numbering handles now
- compiler.cfg.representations: support instructions where the representation is set in the 'rep' slot, and support conversions between single and double floats
- alien-float, set-alien-float now use the single float representation, and the conversion is implicit; this fixes a long-standing bug where a register could get clobbered because of how %set-alien-float was defined on x86
- math.vectors.specialization: add support for SIMD specialization (where the vector word's body is replaced by another quotation), also specialize the 'sum' word
- math.vectors.simd: 4float-array, 2double-array, 4double-array types, and specializers for the math.vectors words
2009-09-03 02:33:07 -05:00
e86a76a7d8
math.constants: add single float epsilon value
2009-09-03 02:23:22 -05:00
21a89bab0e
Make "divisors" work with 1 as well
2009-09-02 12:07:23 +02:00
ccb27f81ea
update math.blas for <c-array> change
2009-08-30 22:37:58 -05:00
ec70e1d714
More minor documentation tweaks
2009-08-30 06:32:20 -05:00
7983b5515f
math.functions: some fixes
2009-08-30 06:19:14 -05:00
0db01f6d5f
compiler.cfg.linear-scan now supports partial sync-points where all registers are spilled; taking advantage of this, there are new trigonometric intrinsics which yield a 2x performance boost on benchmark.struct-arrays and a 25% boost on benchmark.partial-sums
2009-08-30 04:52:01 -05:00
2d4ba8de4d
Merge branch 'master' of git://factorcode.org/git/factor
2009-08-30 17:31:30 +09:00
bf15648b4d
Merge branch 'master' of git@github.com:prunedtree/factor
...
Conflicts:
basis/math/matrices/matrices.factor
2009-08-30 17:24:25 +09:00
e5897d52b2
Ensure that random-prime result has the right size
...
As noted by Slava, choosing the next prime following a random number
with a specified number of bits may give a number one more bit long.
2009-08-29 21:42:15 +02: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
0df8aadce2
cpu.x86: use SQRTSD instruction for math.libm:fsqrt word
2009-08-25 23:22:15 -05:00
f82627e736
math.intervals: comment out questionable unit tests
2009-08-22 19:39:32 -05:00
81b72cb5c5
Add some unit tests
2009-08-22 17:15:10 -05:00
770429a629
math.intervals: help lint fix
2009-08-19 16:08:52 -05:00
2bc38bf019
math.intervals: tighter interval arithmetic for intervals with infinities
2009-08-19 02:32:18 -05:00
030b1b816c
Add inline declarations for various assorted methods
2009-08-17 22:32:21 -05:00
7c92ab1ea5
move if-zero etc to math, remove 1-/1+ from math
2009-08-14 14:27:23 -05:00
3f3d57032b
Delete empty unit tests files, remove 1- and 1+, reorder IN: lines in a lot of places, minor refactoring
2009-08-13 19:21:44 -05:00
0df4436711
Merge branch 'master' of git://factorcode.org/git/factor
2009-08-12 03:26:13 -05:00
4ecf5a904a
More accurate wrap-interval in compiler.tree.propagation.info fixes test regression; constructing an interval with endpoints at infinity now outputs full-interval
2009-08-12 03:25:53 -05:00
14e8abd563
even better error handling for division by zero
2009-08-11 22:30:16 -05:00
02becc26fc
add docs for if-zero etc, add docs for 10^
2009-08-11 18:45:01 -05:00
c12d6fe543
Merge branch 'master' of git://factorcode.org/git/factor
2009-08-11 18:16:30 -05:00
4a3d63e00a
use if-zero in a few more places
2009-08-11 18:15:53 -05:00
4fef246ca4
add 10^ to math.functions and update usages
2009-08-11 18:00:24 -05:00
7bfbb0c5ac
math.intervals: fix interval-rem
2009-08-11 16:49:28 -05:00
7e35723db0
compiler.tree.propagation: be more careful with intervals, ensuring that the inferred interval of a value is a subset of the value class's interval. This improves accuracy, for example [ >fixnum 1 + >fixnum most-positive-fixnum <= ] constant-folds to true
2009-08-10 01:16:49 -05:00
d19c403fee
alien.structs: struct-type now has a class slot; fix specialized complex-float/double arrays
2009-08-09 16:10:11 -05:00
1cb0f3370b
math.vectors.specialization: first attempt at some call site splitting for vector ops. Specialized array types generate customized variants of all vector words, if input types are known at compile time, a call to the specialized version is inserted
2009-08-09 03:07:33 -05:00
e400d80d8b
More accurate interval inference for mod, rem, and propagation can now infer intervals in the case where a value might be f. so, [ [ 127 bitand ] [ drop f ] if dup [ 0 >= ] [ not ] if ] now constant-folds down to 't'!
2009-08-08 23:03:45 -05:00
61ea749bb6
More accurate interval-mod and interval-rem
2009-08-08 22:01:12 -05:00
78bbf96a6d
move signed-le> to io.binary, clean up using list for math.bitwise
2009-07-23 15:54:57 -05:00
809b40d497
preserve sequence type in math.matrices:cross
2009-07-07 16:26:50 -05:00
96ec54106b
for the FPS classicists... skew matrix constructor
2009-07-04 19:13:31 -05:00
e39f454aa5
common 3d matrix constructors
2009-07-02 19:05:24 -05:00
612e4b99b0
compiler.cfg.linear-scan.assignment: insert-copy did the wrong thing if the second interval had been split. Fixes compilation of 'trilerp'
2009-06-30 21:07:39 -05:00
4d5392fe56
Add divisors to math.primes.factors
2009-06-29 16:56:00 +02:00
094c82c50b
Short circuit trivial composites
2009-06-24 15:53:50 +02:00
50191588e4
Get rid of vector reallocation by preallocating it
2009-06-24 15:53:46 +02:00
29b5a1dff5
Add extra tests for math.primes
2009-06-24 13:15:13 +02:00
41d804ddbd
Pack primes numbers by slices of 30
...
In any given 30 successive integers greater than 5, there are at most
8 prime numbers. Use this to tightly pack the result of the Eratostene
sieve. This lets us store more prime numbers than before in less space.
2009-06-24 13:15:12 +02:00
037ed45339
give range models a step parameter; use it on sliders so the thumb can step by any interval
2009-06-18 20:57:02 -05:00
76b3e5fea2
win32 support for window-controls
2009-06-18 11:41:34 -05:00
9ffbf32c6f
unit test for m^n
2009-06-12 01:35:25 -07:00
b426f28738
make m^n private
2009-06-12 01:29:34 -07:00
6a67f02f69
fix load error
2009-06-12 02:43:05 -05:00
7134236e46
Merge branch 'master' of git://github.com/prunedtree/factor
...
Conflicts:
basis/compression/inflate/inflate.factor
basis/math/matrices/matrices.factor
2009-06-12 02:33:49 -05:00
a2640672d7
«0.0 1.0 ^» was returning 0 instead of 0.0
2009-06-11 17:47:52 -05:00
989cb7d5df
better implementation of zero-matrix
2009-06-07 20:12:18 -04:00
1c89045f0e
m^n binary exponentiation of matrices
2009-06-04 20:42:29 -07:00
52017e22f3
unbits word in math.bits vocab
2009-06-01 22:39:02 -05:00
e38e805015
math.functions: fix ^ for complex numbers
2009-05-31 23:28:29 -05:00
16b288aac8
remove whitespace
2009-05-25 21:25:56 -05:00
0cb7b408b4
remove clamp-to-range and associated words, update jamshred
2009-05-25 21:24:12 -05:00
407377fc98
rename peek -> last and update all usages
2009-05-25 16:38:33 -05:00
a54c78007b
add a clamp word to math.order, use clamp word throughout libraries
2009-05-24 21:35:50 -05:00
86a1b06034
add a mode word
2009-05-24 15:45:25 -05:00
9685aea6fe
homogeneous coordinates coated in nurbsauce
2009-05-21 20:55:44 -05:00
b73c8a0619
vector bilerp word
2009-05-20 10:26:55 -05:00
c045823182
remove old median, fix docs
2009-05-18 02:41:58 -05:00
54cb1b9686
median used the wrong algorithm. now it runs in O(n) time. add kth-smallest word, used to implement median
2009-05-18 02:16:03 -05:00
66a9416473
Update documentation for stricter vocabulary search path semantics
2009-05-16 00:29:21 -05:00
23e3c55d2f
dont load safe primes in miller rabin tests
2009-05-10 14:08:03 -05:00
e946777fbb
link to prime tests from prime docs
2009-05-10 14:01:21 -05:00
bfb3507456
make a new vocabulary for safe primes
2009-05-10 13:49:40 -05:00
8f51f87a8f
more docs for math.primes, move words out of miller-rabin
2009-05-10 13:47:51 -05:00
18add4b769
add next-odd etc to math.bitwise
2009-05-10 13:42:41 -05:00
0801dbc694
add lucas-lehmer primality test
2009-05-10 12:59:35 -05:00
79265b50d9
update usages of miller-rabin
2009-05-10 12:24:43 -05:00
6b1f60f550
move math.miller-rabin to math.primes.miller-rabin
2009-05-10 12:24:19 -05:00
61fdb6f435
Merge branch 'master' of git://factorcode.org/git/factor
2009-05-10 12:19:39 -05:00
946602b8d7
Merge branch 'master' of git://factorcode.org/git/factor
2009-05-10 10:44:10 -05:00
d90bb0f336
cut perlin-noise time in half
2009-05-10 10:41:50 -05:00
cda3685c4d
Eliminate prettyprinter dependency from UI
2009-05-09 20:24:17 -05:00
3be7034b5e
64-bit add/subtract/multiply
2009-05-09 13:54:42 -05:00
dd9af334a9
send bilerp upstream to spawn
2009-05-09 11:43:04 -05:00
ea85f298d1
math.combinatorics: fix unit test and help lint
2009-05-08 18:00:53 -05:00
5cbaa1d4fd
Merge branch 'master' of git://factorcode.org/git/factor
2009-05-08 16:27:36 -05:00
cc05a90900
Merge branch 'master' of git://factorcode.org/git/factor
2009-05-08 13:13:00 -07:00
9992817c65
input grabbing support
2009-05-08 15:07:15 -05:00
d5a028c507
Merge branch 'master' of git://factorcode.org/git/factor
...
Conflicts:
basis/math/miller-rabin/miller-rabin.factor
2009-05-07 22:20:53 -04:00
5099046f9f
math.miller-rabin: make some utilities not private since math.primes uses them
2009-05-07 20:52:16 -05:00
f465a013d7
Speed up best-hands a bit using reduce and add a test
2009-05-07 21:23:58 -04:00
7f6998a815
Make next-odd public again as it's used elsewhere
2009-05-07 18:33:55 -04:00
f0ceb33906
Merge branch 'master' of git://factorcode.org/git/factor
2009-05-07 16:44:15 -04:00
605068df93
Merge branch 'master' of git://factorcode.org/git/factor
2009-05-07 13:09:45 -05:00
d7b40d72a0
Code cleanups
2009-05-07 12:33:31 -05:00
83e7516666
Use iota where necessary in tests
2009-05-06 21:31:37 -04:00
b84a3158fa
Add docs for combination words
2009-05-06 21:27:04 -04:00
78037d8d05
Use binary-search instead of find-last for combinations
2009-05-06 20:46:41 -04:00
678f603aa5
Clean up combinations a bit
2009-05-06 20:18:21 -04:00
c9b97f3f92
Add tests for combinations
2009-05-06 19:33:58 -04:00
6a19cae302
Document miller-rabin, more unit tests for some corner cases
2009-05-06 16:26:06 -05:00
8b4815c01e
fix miller-rabin
2009-05-06 14:10:29 -05:00
4cb6ecbc3c
Merge branch 'master' of git://factorcode.org/git/factor
2009-05-06 13:23:05 -05:00
fdab677ef5
add 2pi constant
2009-05-06 12:38:14 -05:00
2bb7b287f7
make ^n foldable
2009-05-06 12:36:34 -05:00
75a71c0bd9
fix miller-rabin, safe primes
2009-05-06 12:21:30 -05:00
5a4270f777
fix miller-rabin, it's correct but a little ugly still. bed time
2009-05-06 00:54:14 -05:00
eaeda30bb1
Combinations now map to input sequences directly
2009-05-06 01:17:35 -04:00
d168f76ab0
remove 1-, 1+, use iota somewhere
2009-05-05 23:32:23 -05:00
ffbd19faba
Merge branch 'master' of git://factorcode.org/git/factor
2009-05-05 23:26:58 -05:00
3e16463f28
_finally_ cleaned up miller-rabin. it's passable now
2009-05-05 23:25:26 -05:00
4b64d9a5e5
more vector operations; perlin noise vocab
2009-05-05 22:17:04 -05:00
71022f9940
Add combination support to math.combinatorics
2009-05-05 22:43:07 -04:00
ec1918aaa8
Merge branch 'master' of /cygdrive/z/Documents/Code/others/factor
2009-05-05 18:40:08 -07:00
4ee5815843
math.polynomials: use <repetition> instead of <array>
2009-05-05 18:34:52 -05:00
2a00f10d1a
lerp functions
2009-05-05 13:55:00 -05:00
49674dc8ad
Merge branch 'master' of git://factorcode.org/git/factor
2009-04-30 21:36:54 -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
c3b63821b9
literal syntax for rects
2009-04-29 14:58:55 -05:00
18abc8b9f1
Add q+ and q- to math.quaternions
...
This makes the quaternions library self-contained and more independent
of the underlying representation.
2009-04-27 17:24:39 +02:00
66b4d42e13
math.blas: use gfortran by default on linux-x86-64 since latest ubuntu blas packages are compiled with gfortran abi
2009-04-25 17:03:50 -05:00
77c56e55a3
Oops
2009-04-23 03:57:05 -05:00
c2fe2a4fea
Improve stack checker documentation
2009-04-23 03:48:32 -05:00
3353a777f7
Fixing some unit test failures
2009-04-22 07:05:00 -05:00
05f3f9dcb9
Fixing unit tests for stack effect inference changes
2009-04-20 21:15:19 -05:00
9add08c200
Move math.matrices to basis
2009-04-18 04:09:16 -05:00
364ea217ef
fix more compiler errors
2009-04-17 14:44:08 -05:00
a4e62dfdba
Fix for math.parser syntax change
2009-04-13 14:47:39 -05:00
0ffd43e2e3
1.0/0.0 => 1/0.
2009-04-13 19:48:08 -05:00
41e3e0acb4
Fix alien.fortran for NetBSD x86.64
2009-04-07 18:49:54 -05:00
99b8400e56
Documentation updates
2009-04-06 03:00:46 -05:00
7e0f271cf3
fix typo in docs
2009-04-02 17:00:29 -05:00
ed9a63311c
Fix typo and update a combinator usage in calendar
2009-04-01 22:03:45 -04:00
ca9fb1fcf1
Update usages of divisor? where appropriate
2009-04-01 21:53:18 -04:00
c698a83a12
Add divisor? math function
2009-04-01 19:29:19 -04:00
432ff9b07f
Make math.blas library and ABI choice configurable
2009-04-01 14:52:43 -05:00
e37627fa8f
fix linux64 blas
2009-04-01 04:28:53 -05:00
e5ffc202f2
fix blas ffi on linux64
2009-03-28 14:17:24 -05:00
4f428f6404
Merge branch 'master' of git://factorcode.org/git/factor
2009-03-27 21:57:27 -05:00
92bd390c9b
use a different abi on linux for fortran
2009-03-27 21:57:10 -05:00
6c0986f8b2
Add definition mixin in definitions vocab to replace hard-coded union in ui.tools.operations; add ?execute to kernel to replace dup word? [ execute ] when calls in unicode.breaks and opengl
2009-03-26 21:27:45 -05:00
b771758ff7
fix load errors, help lint
2009-03-26 10:45:52 -05:00
8385e9d9f5
Fixing compile errors, test failures and help lint failures
2009-03-23 17:12:41 -05:00
ea60f8ae93
Changing : foo ; parsing to SYNTAX: foo ;
2009-03-21 01:27:50 -05:00
c468ed8962
integer/integer partial dispatch ops now use both-fixnums?
2009-03-16 00:44:44 -05:00
b6f6e880bf
Make partially dispatched integer ops foldable
2009-03-11 13:57:13 -05:00
df95c2a5b4
Merge branch 'master' into new_ui
2009-03-05 13:59:55 -06:00
b5e08a8e3e
When a factor has been found, check if the remainder is a prime number
...
Performances are greatly increased when a large prime number is involved.
Also, mark some words as flushable, even if it is unlikely that they
will be invoked if their result is discarded.
2009-03-02 19:05:54 +01: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
ce1bc1d6ed
Fixing conflicts from stack checker changes
2009-02-24 01:21:10 -06:00
91d0c4ed1f
Fix conflict
2009-02-22 20:02:13 -06:00
0c090699c2
Merge branch 'master' of git://factorcode.org/git/factor
2009-02-22 19:52:06 -06:00
127f9b3578
Add unit tests for bignum bug
2009-02-22 19:41:47 -06:00
990513db60
use CONSTANT: in basis
2009-02-22 19:13:08 -06:00
70d931d0b2
Creating math.bits
2009-02-20 20:14:54 -06:00
15b5d696c1
Merge branch 'master' into new_ui
2009-02-19 18:25:59 -06:00
4e0db1332c
Merge branch 'master' of git://factorcode.org/git/factor
2009-02-19 18:55:27 -05:00
90b6b38fd1
Changed math.dual to define words as dword instead of overloading generic words on dual numbers.
2009-02-19 18:49:13 -05:00
58e55d4f45
Working on documentation
2009-02-19 16:54:27 -06:00
b4a61114e1
Merge branch 'master' into new_ui
2009-02-19 13:36:32 -06:00
60134eeb98
Documentation fixes
2009-02-19 13:35:53 -06:00
31553f5d50
Clean up math.complex
2009-02-19 00:56:30 -06:00
5e19766330
Fix conflict
2009-02-18 22:20:05 -06:00
6f735fd763
Merge branch 'master' of git://factorcode.org/git/factor
2009-02-18 19:58:55 -05:00
087d931c36
Remove the tail argument from do/until/while
2009-02-18 02:41:14 +01:00
73dfa2ae65
Fix conflict
2009-02-16 21:47:35 -06:00
bff66cd47b
remove empty file
2009-02-16 21:27:32 -06: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
d26ae3d141
new set-rect-bounds word for when you're setting loc and dim at the same time
2009-02-15 23:39:27 -06:00
abe0f4bdf4
math.rectangles.positioning: New popup-rect word
2009-02-15 23:14:47 -06:00
f8ab4be9da
Line gadgets now support min/max rows/cols; this obsoletes limited-scroller
2009-02-15 04:01:57 -06:00
83bf59422b
Merge branch 'master' into new_ui
2009-02-14 00:46:16 -06:00
b638a35fd7
move >signed to math.bitwise
2009-02-14 00:31:17 -06:00
d186f10f52
Don't position popups at negative x co-ordinates
2009-02-13 19:16:37 -06:00
fe55e939f9
Added math.dual and math.derivatives for computing with dual numbers. Also
...
made a few more methods in math.functions generic in order to specialize them
on dual numbers.
2009-02-12 23:13:16 -05:00
52df401f8a
Factor out menu and popup positioning into math.rectangles.positioning, and write tests for it
2009-02-12 21:46:49 -06:00
e068400e54
Merge branch 'master' into new_ui
2009-02-12 02:22:09 -06:00
0bc16d0cf8
documentation ambiguity
2009-02-11 20:11:33 -06:00
633ffaa9dd
play horseshoes in math.blas.vectors tests to deal with excessively accurate x87 math
2009-02-11 14:06:46 -06:00
ab386d01aa
Merge branch 'master' into new_ui
2009-02-10 16:23:14 -06:00
0279270dda
un-unportable the blas stuff
2009-02-10 15:11:39 -06:00
Slava Pestov
Joe Groff
Slava Pestov
Samuel Tardieu
Marc Fauconneau
Slava Pestov
Doug Coleman
Doug Coleman
Daniel Ehrenberg
Doug Coleman
Aaron Schaefer
Slava Pestov
sheeple
Daniel Ehrenberg
Jason Merrill