norm-lg(N) ==
norm-list(norm-pair(N;norm-pair(norm-list(
x.x);norm-list(x.x))))
Definitions :
norm-pair: norm-pair(Na;Nb),
norm-list: norm-list(N),
lambda: x.A[x]
FDL editor aliases :
norm-lg
norm-lg(N) == norm-list(norm-pair(N;norm-pair(norm-list(\mlambda{}x.x);norm-list(\mlambda{}x.x))))
Date html generated:
2010_08_27-PM-03_47_43
Last ObjectModification:
2010_05_12-PM-11_38_13
Home
Index