shorter-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

:: shorter-interval ( F E -- f e )
    E k0 :> k0 k0 φ :> φ E k0 β
    :> β F even? :> w∈I? φ β w∈I? E x̃i :> x̃i φ β w∈I? E z̃i
    :> z̃i z̃i 10 /i :> z̃i* x̃i z̃i* 10 * <=
    [ z̃i* strip-zeroes k0 - 1 + ] [
        φ β yru :> yru yru E -77 number=
        [ yru odd? [ 1 - ] when ] [ yru x̃i >= [ 1 + ] unless ]
        if k0 neg
    ] if ; inline