Nuprl Definition : rm-zeros
rm-zeros(n;p) == rec-case(p) of [] => [] | a::as => r.if poly-zero(n;a) then r else [a / as] fi
Definitions occuring in Statement :
poly-zero: poly-zero(n;p),
list_ind: list_ind,
cons: [a / b],
nil: [],
ifthenelse: if b then t else f fi
Definitions occuring in definition :
cons: [a / b],
poly-zero: poly-zero(n;p),
ifthenelse: if b then t else f fi ,
nil: [],
list_ind: list_ind
FDL editor aliases :
rm-zeros
Latex:
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_04_17-AM-09_05_52
Last ObjectModification:
2017_04_13-PM-02_03_16
Theory : list_1
Home
Index