duals>nweave ( n -- quot )

Vocabulary

math.dual.private

Inputs

n

an object

Outputs

quot

an object

Definition

USING: accessors generalizations kernel ;

IN: math.dual.private

MACRO: duals>nweave ( n -- quot )
    dup dup dup
    [ [ [ [ epsilon-part>> ] ] ] dip [ napply ] curry compose ]
    3dip [
        [ [ nkeep [ ordinary-part>> ] ] 2curry ] dip
        [ napply ] curry compose
    ] dip [ nweave ] curry compose ;