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 :
list_ind: list_ind,
nil: [],
ifthenelse: if b then t else f fi ,
poly-zero: poly-zero(n;p),
cons: [a / b]
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_09_29-PM-05_59_50
Last ObjectModification:
2017_04_26-PM-02_04_38
Theory : integer!polynomials
Home
Index