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

ideas-math-types-1.1: 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 - C

catLogic	Domain.Logic.Formula
catOrList	Domain.Math.Data.OrList
Clipboard	Domain.Math.Expr.Clipboard, Domain.Math.Expr
closed	Domain.Math.Data.Interval
CoBoolean	Domain.Algebra.Boolean, Domain.Logic.Formula
coefficient	Domain.Math.Data.Polynomial
CoField	Domain.Algebra.Field
CoGroup	Domain.Algebra.Group
commutative	Domain.Algebra.GroupLaws
commutativeFor	Domain.Algebra.GroupLaws
commutativeMonoidLaws	Domain.Algebra.GroupLaws
commutativeRingLaws	Domain.Algebra.FieldLaws
CoMonoid	Domain.Algebra.Group
CoMonoidZero	Domain.Algebra.Group
complement	Domain.Algebra.Boolean, Domain.Logic.Formula, Domain.Math.Data.Interval
complementAndLaws	Domain.Algebra.BooleanLaws
complementFalse	Domain.Algebra.BooleanLaws
complementOrLaws	Domain.Algebra.BooleanLaws
complementTrue	Domain.Algebra.BooleanLaws
con
1 (Function)	Domain.Math.Data.SquareRoot
2 (Function)	Domain.Math.Data.Polynomial
conjunctions	Domain.Algebra.Boolean, Domain.Logic.Formula
constructor	Domain.Math.Data.Relation
coprime	Domain.Math.Data.Primes
CoRing	Domain.Algebra.Field
CoSemiRing	Domain.Algebra.Field
coshSymbol	Domain.Math.Expr.Symbols, Domain.Math.Expr
cosSymbol	Domain.Math.Expr.Symbols, Domain.Math.Expr
countEquivalences	Domain.Logic.Formula