Nuprl Definition : and-poly-constraints

and-poly-constraints(Xs;Ys) ==
  accumulate (with value sofar and list item Y):
   accumulate (with value sofar' and list item X):
    [combine-pcs(X;Y) / sofar']
   over list:
     Xs
   with starting value:
    sofar)
  over list:
    Ys
  with starting value:
   [])

Definitions occuring in Statement : combine-pcs: combine-pcs(X;Y), list_accum: list_accum, cons: [a / b], nil: []
Definitions occuring in definition : list_accum: list_accum, cons: [a / b], combine-pcs: combine-pcs(X;Y), nil: []
FDL editor aliases : and-poly-constraints

Latex:
and-poly-constraints(Xs;Ys) == accumulate (with value sofar and list item Y): accumulate (with value sofar' and list item X): [combine-pcs(X;Y) / sofar'] over list: Xs with starting value: sofar) over list: Ys with starting value: []) Date html generated: 2016_05_14-AM-07_08_14 Last ObjectModification: 2015_09_22-PM-05_52_56 Theory : omega Home Index