Nuprl Definition : ipolynomial-term

ipolynomial-term(p) ==
  if null(p)
  then "0"
  else let m1,ms = p 
       in accumulate (with value t and list item m):
           t "+" imonomial-term(m)
          over list:
            ms
          with starting value:
           imonomial-term(m1))
  fi 


Definitions occuring in Statement :  imonomial-term: imonomial-term(m),  itermAdd: left "+" right,  itermConstant: "const",  null: null(as),  list_accum: list_accum,  ifthenelse: if b then t else f fi ,  spread: spread def,  natural_number: $n
Definitions occuring in definition :  ifthenelse: if b then t else f fi ,  null: null(as),  itermConstant: "const",  natural_number: $n,  spread: spread def,  list_accum: list_accum,  itermAdd: left "+" right,  imonomial-term: imonomial-term(m)
FDL editor aliases :  ipolynomial-term
Latex:
ipolynomial-term(p)  ==
    if  null(p)
    then  "0"
    else  let  m1,ms  =  p 
              in  accumulate  (with  value  t  and  list  item  m):
                      t  "+"  imonomial-term(m)
                    over  list:
                        ms
                    with  starting  value:
                      imonomial-term(m1))
    fi 


Date html generated: 2016_05_14-AM-07_00_50
Last ObjectModification: 2015_09_22-PM-05_51_45

Theory : omega


Home Index