Nuprl Definition : negate-poly-constraints

negate-poly-constraints(Xs) ==
  if null(Xs)
  then [<[], []>]
  else let x,more = Xs 
       in accumulate (with value sofar and list item X):
           and-poly-constraints(sofar;negate-poly-constraint(X))
          over list:
            more
          with starting value:
           negate-poly-constraint(x))
  fi 


Definitions occuring in Statement :  negate-poly-constraint: negate-poly-constraint(X),  and-poly-constraints: and-poly-constraints(Xs;Ys),  null: null(as),  list_accum: list_accum,  cons: [a / b],  nil: [],  ifthenelse: if b then t else f fi ,  spread: spread def,  pair: <a, b>
Definitions occuring in definition :  ifthenelse: if b then t else f fi ,  null: null(as),  cons: [a / b],  pair: <a, b>,  nil: [],  spread: spread def,  list_accum: list_accum,  and-poly-constraints: and-poly-constraints(Xs;Ys),  negate-poly-constraint: negate-poly-constraint(X)
FDL editor aliases :  negate-poly-constraints
Latex:
negate-poly-constraints(Xs)  ==
    if  null(Xs)
    then  [<[],  []>]
    else  let  x,more  =  Xs 
              in  accumulate  (with  value  sofar  and  list  item  X):
                      and-poly-constraints(sofar;negate-poly-constraint(X))
                    over  list:
                        more
                    with  starting  value:
                      negate-poly-constraint(x))
    fi 


Date html generated: 2016_05_14-AM-07_09_19
Last ObjectModification: 2015_09_22-PM-05_52_59

Theory : omega


Home Index