Nuprl Definition : frs-mesh
frs-mesh(p) == if ||p|| <z 2 then r0 else rmaximum(0;||p|| - 2;i.p[i + 1] - p[i]) fi
Definitions occuring in Statement :
rmaximum: rmaximum(n;m;k.x[k]),
rsub: x - y,
int-to-real: r(n),
select: L[n],
length: ||as||,
ifthenelse: if b then t else f fi ,
lt_int: i <z j,
subtract: n - m,
add: n + m,
natural_number: $n
Definitions occuring in definition :
ifthenelse: if b then t else f fi ,
lt_int: i <z j,
int-to-real: r(n),
rmaximum: rmaximum(n;m;k.x[k]),
subtract: n - m,
length: ||as||,
rsub: x - y,
add: n + m,
natural_number: $n,
select: L[n]
FDL editor aliases :
frs-mesh
frs-mesh
Latex:
frs-mesh(p) == if ||p|| <z 2 then r0 else rmaximum(0;||p|| - 2;i.p[i + 1] - p[i]) fi
Date html generated:
2016_05_18-AM-08_53_58
Last ObjectModification:
2015_09_23-AM-09_08_45
Theory : reals
Home
Index