math.intervals: rename "inf,a" words to be "inf,b".

diff --git a/basis/compiler/cfg/intrinsics/fixnum/fixnum.factor b/basis/compiler/cfg/intrinsics/fixnum/fixnum.factor
index 66691de328f11e7e9198b371f0812faa24d7b463..0ddd2e62d8b4dd16b24dc7228c21f7a9af77630f 100644 (file)
--- a/basis/compiler/cfg/intrinsics/fixnum/fixnum.factor
+++ b/basis/compiler/cfg/intrinsics/fixnum/fixnum.factor
@@ -34,7 +34,7 @@ IN: compiler.cfg.intrinsics.fixnum
 : emit-fixnum-shift-fast ( block #call -- block' )
     node-input-infos second interval>> {
         { [ dup 0 [a,inf] interval-subset? ] [ drop emit-fixnum-left-shift ] }
-        { [ dup 0 [-inf,a] interval-subset? ] [ drop emit-fixnum-right-shift ] }
+        { [ dup 0 [-inf,b] interval-subset? ] [ drop emit-fixnum-right-shift ] }
         [ drop emit-fixnum-shift-general ]
     } cond ;
 

diff --git a/basis/math/intervals/intervals-docs.factor b/basis/math/intervals/intervals-docs.factor
index 89ae7791145a9b628732ad1f4dab9bab2cca5241..f2357e77a2f9ff5f9cf2f55e588d3dce32e259d4 100644 (file)
--- a/basis/math/intervals/intervals-docs.factor
+++ b/basis/math/intervals/intervals-docs.factor
@@ -13,8 +13,8 @@ ARTICLE: "math-intervals-new" "Creating intervals"
 { $subsections [a,a] }
 "Open-ended interval constructors:"
 { $subsections
-    [-inf,a]
-    [-inf,a)
+    [-inf,b]
+    [-inf,b)
     [a,inf]
     (a,inf]
 }
@@ -121,8 +121,8 @@ HELP: <interval>
         { $link (a,b] }
         { $link [a,inf] }
         { $link (a,inf] }
-        { $link [-inf,a) }
-        { $link [-inf,a] }
+        { $link [-inf,b) }
+        { $link [-inf,b] }
     }
 } ;
 
@@ -155,13 +155,13 @@ HELP: [0,b)
 { $description "Creates a new interval that includes lower endpoint 0 and excludes the upper endpoint." } ;
 
 
-HELP: [-inf,a]
-{ $values { "a" real } { "interval" interval } }
-{ $description "Creates a new interval containing all real numbers less than or equal to " { $snippet "a" } ", together with negative infinity." } ;
+HELP: [-inf,b]
+{ $values { "b" real } { "interval" interval } }
+{ $description "Creates a new interval containing all real numbers less than or equal to " { $snippet "b" } ", together with negative infinity." } ;
 
-HELP: [-inf,a)
-{ $values { "a" real } { "interval" interval } }
-{ $description "Creates a new interval containing all real numbers less than " { $snippet "a" } ", together with negative infinity." } ;
+HELP: [-inf,b)
+{ $values { "b" real } { "interval" interval } }
+{ $description "Creates a new interval containing all real numbers less than " { $snippet "b" } ", together with negative infinity." } ;
 
 HELP: [a,inf]
 { $values { "a" real } { "interval" interval } }

diff --git a/basis/math/intervals/intervals-tests.factor b/basis/math/intervals/intervals-tests.factor
index b4f6b8d83d75670df908cc0cb42ef60c17fdf8c9..bca52e2a92db2d5ddab7ce86753363a76b5f826c 100644 (file)
--- a/basis/math/intervals/intervals-tests.factor
+++ b/basis/math/intervals/intervals-tests.factor
@@ -425,7 +425,7 @@ ${ -256 255 [a,b] } [ -128 128 [a,b] dup interval-bitor ] unit-test
 
 { full-interval } [ full-interval -128 127 [a,b] interval-bitor ] unit-test
 ${ 0 [a,inf] } [ 0 [a,inf] dup interval-bitor ] unit-test
-{ full-interval } [ 0 [-inf,a] dup interval-bitor ] unit-test
+{ full-interval } [ 0 [-inf,b] dup interval-bitor ] unit-test
 ${ 4 [a,inf] } [ 4 [a,inf] 3 [a,inf] interval-bitor ] unit-test
 
 ! Interval bitxor
@@ -438,6 +438,6 @@ ${ 0 127 [a,b] } [ -128 -1 [a,b] dup interval-bitxor ] unit-test
 
 { full-interval } [ full-interval -128 127 [a,b] interval-bitxor ] unit-test
 ${ 0 [a,inf] } [ 0 [a,inf] dup interval-bitxor ] unit-test
-${ 0 [a,inf] } [ -1 [-inf,a] dup interval-bitxor ] unit-test
+${ 0 [a,inf] } [ -1 [-inf,b] dup interval-bitxor ] unit-test
 ${ 0 [a,inf] } [ 4 [a,inf] 3 [a,inf] interval-bitxor ] unit-test
 { full-interval } [ 4 [a,inf] -3 [a,inf] interval-bitxor ] unit-test

diff --git a/basis/math/intervals/intervals.factor b/basis/math/intervals/intervals.factor
index 60e933f5304c97ba20133193b64dd7573d12245c..4b3c8f956cf3ce9ec21976cd71059fc2826c6dd3 100644 (file)
--- a/basis/math/intervals/intervals.factor
+++ b/basis/math/intervals/intervals.factor
@@ -52,9 +52,9 @@ M: full-interval to>> drop { 1/0. t } ;
 : [a,a] ( a -- interval )
     closed-point dup <interval> ; foldable
 
-: [-inf,a] ( a -- interval ) -1/0. swap [a,b] ; inline
+: [-inf,b] ( b -- interval ) -1/0. swap [a,b] ; inline
 
-: [-inf,a) ( a -- interval ) -1/0. swap [a,b) ; inline
+: [-inf,b) ( b -- interval ) -1/0. swap [a,b) ; inline
 
 : [a,inf] ( a -- interval ) 1/0. [a,b] ; inline
 
@@ -255,8 +255,8 @@ M: interval interval-length
         { [ over empty-interval? ] [ drop ] }
         { [ dup empty-interval? ] [ nip ] }
         { [ 2dup [ full-interval? ] both? ] [ drop ] }
-        { [ over full-interval? ] [ nip to>> first [-inf,a] ] }
-        { [ dup full-interval? ] [ drop to>> first [-inf,a] ] }
+        { [ over full-interval? ] [ nip to>> first [-inf,b] ] }
+        { [ dup full-interval? ] [ drop to>> first [-inf,b] ] }
         [ [ interval-closure ] bi@ [ min ] interval-op nan-not-ok ]
     } cond ;
 
@@ -483,12 +483,12 @@ M: interval interval-log2
 
 : assume< ( i1 i2 -- i3 )
     dup special-interval? [ drop ] [
-        to>> first [-inf,a) interval-intersect
+        to>> first [-inf,b) interval-intersect
     ] if ;
 
 : assume<= ( i1 i2 -- i3 )
     dup special-interval? [ drop ] [
-        to>> first [-inf,a] interval-intersect
+        to>> first [-inf,b] interval-intersect
     ] if ;
 
 : assume> ( i1 i2 -- i3 )