Index - V
validDivisor | Domain.Math.Data.DecimalFraction |
Var | |
1 (Data Constructor) | Domain.Logic.Formula |
2 (Data Constructor) | Domain.Math.Expr.Data, Domain.Math.Expr |
var | Domain.Math.Data.Polynomial |
varsLogic | Domain.Logic.Formula |
ideas-math-types-1.1: Common types for mathematical domain reasoners