Nuprl Definition : polynomial-constraints
polynomial-constraints() == iPolynomial() List × (iPolynomial() List)
Definitions occuring in Statement :
iPolynomial: iPolynomial(),
list: T List,
product: x:A × B[x]
Definitions occuring in definition :
product: x:A × B[x],
list: T List,
iPolynomial: iPolynomial()
FDL editor aliases :
polynomial-constraints
Latex:
polynomial-constraints() == iPolynomial() List \mtimes{} (iPolynomial() List)
Date html generated:
2016_05_14-AM-07_07_49
Last ObjectModification:
2015_09_22-PM-05_52_49
Theory : omega
Home
Index