Nuprl Definition : in-complex-boundary
in-complex-boundary(k;f;K) == isOdd(||filter(λc.is-rat-cube-face(k;f;c);K)||)
Definitions occuring in Statement :
is-rat-cube-face: is-rat-cube-face(k;c;d),
isOdd: isOdd(n),
length: ||as||,
filter: filter(P;l),
lambda: λx.A[x]
Definitions occuring in definition :
is-rat-cube-face: is-rat-cube-face(k;c;d),
lambda: λx.A[x],
filter: filter(P;l),
length: ||as||,
isOdd: isOdd(n)
FDL editor aliases :
in-complex-boundary
Latex:
in-complex-boundary(k;f;K) == isOdd(||filter(\mlambda{}c.is-rat-cube-face(k;f;c);K)||)
Date html generated:
2019_10_29-AM-07_58_02
Last ObjectModification:
2019_10_19-AM-11_04_12
Theory : rationals
Home
Index