Nuprl Definition : factors
factors(n) == if (n =z 1) then {} else factorization(n) fi
Definitions occuring in Statement :
factorization: factorization(n),
empty-bag: {},
ifthenelse: if b then t else f fi ,
eq_int: (i =z j),
natural_number: $n
Definitions occuring in definition :
ifthenelse: if b then t else f fi ,
eq_int: (i =z j),
natural_number: $n,
empty-bag: {},
factorization: factorization(n)
FDL editor aliases :
factors
Latex:
factors(n) == if (n =\msubz{} 1) then \{\} else factorization(n) fi
Date html generated:
2016_05_15-PM-04_03_04
Last ObjectModification:
2015_09_23-AM-07_46_12
Theory : general
Home
Index