Nuprl Definition : imonomial-term

imonomial-term(m) ==
  let c,vs = m
  in accumulate (with value t and list item v):
      t "*" vv
     over list:
       vs
     with starting value:
      "c")

Definitions occuring in Statement : itermMultiply: left "*" right, itermVar: vvar, itermConstant: "const", list_accum: list_accum, spread: spread def
Definitions occuring in definition : spread: spread def, list_accum: list_accum, itermMultiply: left "*" right, itermVar: vvar, itermConstant: "const"
FDL editor aliases : imonomial-term

Latex:
imonomial-term(m) == let c,vs = m in accumulate (with value t and list item v): t "*" vv over list: vs with starting value: "c") Date html generated: 2016_05_14-AM-07_00_32 Last ObjectModification: 2015_09_22-PM-05_51_44 Theory : omega Home Index