Nuprl Definition : poly-zero

poly-zero(n;p) ==  if (n =z 0) then (p =z 0) else null(p) fi 


Definitions occuring in Statement :  null: null(as),  ifthenelse: if b then t else f fi ,  eq_int: (i =z j),  natural_number: $n
Definitions occuring in definition :  null: null(as),  natural_number: $n,  eq_int: (i =z j),  ifthenelse: if b then t else f fi 
FDL editor aliases :  poly-zero poly-zero
Latex:
poly-zero(n;p)  ==    if  (n  =\msubz{}  0)  then  (p  =\msubz{}  0)  else  null(p)  fi 


Date html generated: 2017_04_17-AM-09_01_44
Last ObjectModification: 2017_04_12-PM-10_56_17

Theory : list_1


Home Index