Nuprl Definition : poly-int
poly-int(p) == tree_ind(p; tree_leaf(x)⇒ tt; tree_node(l,r)⇒ lz,rz.lz ∧b poly-zero(r))
Definitions occuring in Statement :
poly-zero: poly-zero(p),
tree_ind: tree_ind,
band: p ∧b q,
btrue: tt
Definitions occuring in definition :
tree_ind: tree_ind,
btrue: tt,
band: p ∧b q,
poly-zero: poly-zero(p)
FDL editor aliases :
poly-int
Latex:
poly-int(p) == tree\_ind(p; tree\_leaf(x){}\mRightarrow{} tt; tree\_node(l,r){}\mRightarrow{} lz,rz.lz \mwedge{}\msubb{} poly-zero(r))
Date html generated:
2017_10_01-AM-08_32_09
Last ObjectModification:
2017_05_02-PM-01_45_18
Theory : integer!polynomial!trees
Home
Index