interval-division-op ( i1 i2 quot -- i3 )

Vocabulary

math.intervals

Inputs

i1	an object
i2	an object
quot	an object

Outputs

i3

an object

Definition

USING: combinators kernel ;

IN: math.intervals

: interval-division-op ( i1 i2 quot -- i3 )
    {
        {
            [ 0 pick interval-closure interval-contains? ]
            [ 3drop [-inf,inf] ]
        }
        {
            [ pick interval-zero? ]
            [ call 0 [a,a] interval-union ]
        }
        [ call ]
    } cond ; inline