Nuprl Definition : altered-seq2

altered-seq2(d; a; b; x; n) == blended-real(cover-search-right(d;a;b;x);cover-real(bool(d); a; b; x);n)

Definitions occuring in Statement : cover-search-right: cover-search-right(d;a;b;x), decdr-to-bool: bool(d), blended-real: blended-real(k;x;y), cover-real: cover-real(d; a; b; cb)
Definitions occuring in definition : decdr-to-bool: bool(d), cover-real: cover-real(d; a; b; cb), cover-search-right: cover-search-right(d;a;b;x), blended-real: blended-real(k;x;y)

Latex:
altered-seq2(d; a; b; x; n) == blended-real(cover-search-right(d;a;b;x);cover-real(bool(d); a; b; x);n) Date html generated: 2017_10_03-AM-10_17_39 Last ObjectModification: 2017_09_20-PM-07_03_07 Theory : reals Home Index