norm-system == norm-pair(norm-components;norm-lg(
x.x))
Definitions occuring in Statement :
norm-components: norm-components,
norm-lg: norm-lg(N),
lambda: x.A[x],
norm-pair: norm-pair(Na;Nb)
Definitions :
norm-pair: norm-pair(Na;Nb),
norm-components: norm-components,
norm-lg: norm-lg(N),
lambda: x.A[x]
FDL editor aliases :
norm-system
norm-system == norm-pair(norm-components;norm-lg(\mlambda{}x.x))
Date html generated:
2011_08_16-PM-06_52_25
Last ObjectModification:
2010_09_20-PM-06_21_45
Home
Index