Nuprl Definition : ipolynomial-term

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

Definitions occuring in Statement :  imonomial-term: imonomial-term(m) itermAdd: left "+" right itermConstant: "const" null: null(as) list_accum: list_accum ifthenelse: if then else fi  spread: spread def natural_number: $n
Definitions occuring in definition :  ifthenelse: if then else 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

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:
                    with  starting  value:

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

Theory : omega

Home Index