Nuprl Definition : p-digit

p-digit(p;a;n) ==  if (n =z 1) then a 1 else ((a n) - a (n - 1)) ÷ p^n - 1 fi 


Definitions occuring in Statement :  fastexp: i^n,  ifthenelse: if b then t else f fi ,  eq_int: (i =z j),  apply: f a,  divide: n ÷ m,  subtract: n - m,  natural_number: $n
Definitions occuring in definition :  ifthenelse: if b then t else f fi ,  eq_int: (i =z j),  divide: n ÷ m,  apply: f a,  subtract: n - m,  natural_number: $n
FDL editor aliases :  p-digit
Latex:
p-digit(p;a;n)  ==    if  (n  =\msubz{}  1)  then  a  1  else  ((a  n)  -  a  (n  -  1))  \mdiv{}  p\^{}n  -  1  fi 


Date html generated: 2018_05_21-PM-03_21_17
Last ObjectModification: 2018_01_28-PM-01_46_19

Theory : rings_1


Home Index