steve
/
factor
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

Fix for math.parser syntax change

db4
sheeple 2009-04-13 14:47:39 -05:00
parent cb6f59ff5b
commit a4e62dfdba
3 changed files with 7 additions and 7 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
basis/compiler/tree/propagation/recursive/recursive.factor
View File

@ -28,8 +28,8 @@ IN: compiler.tree.propagation.recursive
{ {
{ [ 2dup interval-subset? ] [ empty-interval ] } { [ 2dup interval-subset? ] [ empty-interval ] }
{ [ over empty-interval eq? ] [ empty-interval ] } { [ over empty-interval eq? ] [ empty-interval ] }
{ [ 2dup interval>= t eq? ] [ 1./0. [a,a] ] } { [ 2dup interval>= t eq? ] [ 1/0. [a,a] ] }
{ [ 2dup interval<= t eq? ] [ -1./0. [a,a] ] } { [ 2dup interval<= t eq? ] [ -1/0. [a,a] ] }
[ [-inf,inf] ] [ [-inf,inf] ]
} cond interval-union nip ; } cond interval-union nip ;

2
basis/math/functions/functions.factor
View File

@ -81,7 +81,7 @@ PRIVATE>
2dup [ real? ] both? [ drop 0 >= ] [ 2drop f ] if ; inline 2dup [ real? ] both? [ drop 0 >= ] [ 2drop f ] if ; inline
: 0^ ( x -- z ) : 0^ ( x -- z )
dup zero? [ drop 0./0. ] [ 0 < 1./0. 0 ? ] if ; inline dup zero? [ drop 0/0. ] [ 0 < 1/0. 0 ? ] if ; inline
: (^mod) ( n x y -- z ) : (^mod) ( n x y -- z )
make-bits 1 [ make-bits 1 [

8
basis/math/intervals/intervals.factor
View File

@ -40,13 +40,13 @@ TUPLE: interval { from read-only } { to read-only } ;
: [a,a] ( a -- interval ) : [a,a] ( a -- interval )
closed-point dup <interval> ; foldable closed-point dup <interval> ; foldable
: [-inf,a] ( a -- interval ) -1./0. swap [a,b] ; inline : [-inf,a] ( a -- interval ) -1/0. swap [a,b] ; inline
: [-inf,a) ( a -- interval ) -1./0. swap [a,b) ; inline : [-inf,a) ( a -- interval ) -1/0. swap [a,b) ; inline
: [a,inf] ( a -- interval ) 1./0. [a,b] ; inline : [a,inf] ( a -- interval ) 1/0. [a,b] ; inline
: (a,inf] ( a -- interval ) 1./0. (a,b] ; inline : (a,inf] ( a -- interval ) 1/0. (a,b] ; inline
: [-inf,inf] ( -- interval ) full-interval ; inline : [-inf,inf] ( -- interval ) full-interval ; inline