ideas-math-types-1.0: Common types for mathematical domain reasoners (Index - :)

ideas-math-types-1.0: Common types for mathematical domain reasoners

A
B
C
D
E
F
G
I
J
L
M
N
O
P
R
S
T
U
V
W
Z
:
.
<
>
^
|
All

Index - :

:&&:	Domain.Logic.Formula
:*:	Domain.Math.Expr.Data, Domain.Math.Expr
:+:	Domain.Math.Expr.Data, Domain.Math.Expr
:-:	Domain.Math.Expr.Data, Domain.Math.Expr
:->:	Domain.Logic.Formula
:/:	Domain.Math.Expr.Data, Domain.Math.Expr
:<->:	Domain.Logic.Formula
:<:	Domain.Math.Data.Relation
:<=:	Domain.Math.Data.Relation
:==:
1 (Data Constructor)	Domain.Algebra.Law
2 (Data Constructor)	Domain.Math.Data.Relation
:>:	Domain.Math.Data.Relation
:>=:	Domain.Math.Data.Relation
:\|\|:	Domain.Logic.Formula