w̃i ( φ β w∈I? E n1 q1 n2 q2 n3 -- w̃i )


Vocabulary
math.parser.private

Inputs
φan object
βan object
w∈I?an object
Ean object
n1an object
q1an object
n2an object
q2an object
n3an object


Outputs
w̃ian object


Definition


:: w̃i ( φ β w∈I? E n1 q1 n2 q2 n3 -- w̃i )
φ -64 2dup 52 - n1 - [ shift ] 2bi@ q1 call β 11 - shift
w∈I? E n2 3 between? q2 call [ n3 + ] unless ; inline