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 :
ifthenelse: if b then t else f fi ,
eq_int: (i =z j),
natural_number: $n,
null: null(as)
FDL editor aliases :
poly-zero
Latex:
poly-zero(n;p) == if (n =\msubz{} 0) then (p =\msubz{} 0) else null(p) fi
Date html generated:
2017_09_29-PM-05_59_46
Last ObjectModification:
2017_04_26-PM-02_04_24
Theory : integer!polynomials
Home
Index