plus | Satchmo.Numeric |
Poly | |
1 (Type/Class) | Satchmo.Polynomial.Numeric |
2 (Data Constructor) | Satchmo.Polynomial.Numeric |
3 (Type/Class) | Satchmo.Polynomial |
4 (Data Constructor) | Satchmo.Polynomial |
polynomial | |
1 (Function) | Satchmo.Polynomial.Numeric |
2 (Function) | Satchmo.Polynomial |
PolynomialN | Satchmo.PolynomialN |
positive | |
1 (Function) | Satchmo.Data |
2 (Function) | Satchmo.BinaryTwosComplement.Op.Fixed, Satchmo.BinaryTwosComplement |
3 (Function) | Satchmo.PolynomialSOS |
power | Satchmo.Relation.Op, Satchmo.Relation |
product | Satchmo.Relation.Op, Satchmo.Relation |
product_components | Satchmo.Binary.Op.Times |