normal-interval ( F E -- f e )

Vocabulary

math.parser.private

Inputs

F	an object
E	an object

Outputs

f	an object
e	an object

Definition

USING: kernel math ;

IN: math.parser.private

:: normal-interval ( F E -- f e )
    F even? :> w∈I? E k :> k k φ :> φ E k β :> β φ β δi
    :> δi F φ β zi :> ( zi zi? ) zi s/r dup δi 2dup >
    [ 2drop f ] [
        number= [
            F φ β xi :> ( xi-odd? xi? ) xi-odd?
            [ w∈I? not xi? or ] unless*
        ] [
            w∈I? not over zero? zi? and and
            [ [ [ 1 - ] [ drop 1000 ] bi* ] when ] keep not
        ] if
    ] if
    [ drop strip-zeroes k - 3 + ] [
        50 + δi 2/ - :> D D 100/mod :> ( t ρ≠0? ) 10 * t + ρ≠0? 
        [
            F φ β yi :> ( yi-odd? yi? ) D 50 - even? yi-odd? eq?
            over odd? yi? and or [ 1 - ] when
        ] unless 2 k -
    ] if ; inline