Nuprl Definition : exact-reduce-constraints
exact-reduce-constraints(w;j;L) == evalall(map(λv.-(w[j] * v[j]) * w\j + v\j;L))
Definitions occuring in Statement :
int-vec-add: as + bs,
int-vec-mul: a * as,
list-delete: as\i,
select: L[n],
map: map(f;as),
evalall: evalall(t),
lambda: λx.A[x],
multiply: n * m,
minus: -n
Definitions occuring in definition :
evalall: evalall(t),
map: map(f;as),
lambda: λx.A[x],
int-vec-add: as + bs,
int-vec-mul: a * as,
minus: -n,
multiply: n * m,
select: L[n],
list-delete: as\i
FDL editor aliases :
exact-reduce-constraints
Latex:
exact-reduce-constraints(w;j;L) == evalall(map(\mlambda{}v.-(w[j] * v[j]) * w\mbackslash{}j + v\mbackslash{}j;L))
Date html generated:
2016_05_14-AM-07_12_12
Last ObjectModification:
2015_09_22-PM-05_53_18
Theory : omega
Home
Index