Nuprl Definition : ml-shadow-vec
ml-shadow-vec(i;as;bs) ==
ml-list-delete(ml-int-vec-add(ml-int-vec-mul(ml-select(i;as);bs);ml-int-vec-mul(-ml-select(i;bs);as));i)
Definitions occuring in Statement :
ml-list-delete: ml-list-delete(as;i),
ml-int-vec-add: ml-int-vec-add(as;bs),
ml-int-vec-mul: ml-int-vec-mul(a;as),
ml-select: ml-select(n;L),
minus: -n
Definitions occuring in definition :
ml-list-delete: ml-list-delete(as;i),
ml-int-vec-add: ml-int-vec-add(as;bs),
ml-int-vec-mul: ml-int-vec-mul(a;as),
minus: -n
FDL editor aliases :
ml-shadow-vec
Latex:
ml-shadow-vec(i;as;bs) ==
ml-list-delete(ml-int-vec-add(ml-int-vec-mul(ml-select(i;as);bs);ml-int-vec-mul(-...;as));i)
Date html generated:
2017_09_29-PM-05_57_24
Last ObjectModification:
2017_05_19-PM-06_28_45
Theory : omega
Home
Index