Nuprl Definition : pcs-mon-vars

pcs-mon-vars(X) ==
  let eqs,ineqs = X 
  in accumulate (with value vs and list item p):
      polynomial-mon-vars(vs;p)
     over list:
       ineqs
     with starting value:
      accumulate (with value vs and list item p):
       polynomial-mon-vars(vs;p)
      over list:
        eqs
      with starting value:
       [[]]))


Definitions occuring in Statement :  polynomial-mon-vars: polynomial-mon-vars(init;p),  list_accum: list_accum,  cons: [a / b],  nil: [],  spread: spread def
Definitions occuring in definition :  spread: spread def,  list_accum: list_accum,  polynomial-mon-vars: polynomial-mon-vars(init;p),  cons: [a / b],  nil: []
FDL editor aliases :  pcs-mon-vars
Latex:
pcs-mon-vars(X)  ==
    let  eqs,ineqs  =  X 
    in  accumulate  (with  value  vs  and  list  item  p):
            polynomial-mon-vars(vs;p)
          over  list:
              ineqs
          with  starting  value:
            accumulate  (with  value  vs  and  list  item  p):
              polynomial-mon-vars(vs;p)
            over  list:
                eqs
            with  starting  value:
              [[]]))


Date html generated: 2016_05_14-AM-07_10_08
Last ObjectModification: 2015_09_22-PM-05_53_04

Theory : omega


Home Index