Nuprl Definition : rm-zeros

rm-zeros(n;p) ==  rec-case(p) of [] => [] a::as => r.if poly-zero(n;a) then else [a as] fi 

Definitions occuring in Statement :  poly-zero: poly-zero(n;p) list_ind: list_ind cons: [a b] nil: [] ifthenelse: if then else fi 
Definitions occuring in definition :  list_ind: list_ind nil: [] ifthenelse: if then else fi  poly-zero: poly-zero(n;p) cons: [a b]
FDL editor aliases :  rm-zeros

rm-zeros(n;p)  ==    rec-case(p)  of  []  =>  []  |  a::as  =>  r.if  poly-zero(n;a)  then  r  else  [a  /  as]  fi 

Date html generated: 2017_09_29-PM-05_59_50
Last ObjectModification: 2017_04_26-PM-02_04_38

Theory : integer!polynomials

Home Index