1 <!DOCTYPE OpList SYSTEM "operator.dtd">
3 <OpList xmlns:m="http://www.w3.org/1998/Math/MathML">
5 <!-- Unary Operations -->
9 uri = "cic:/Algebra/CSemiGroups/csg_unit.con"
11 <mop tag="ci" helm:xref="$APP-ID">0</mop>
16 uri = "cic:/Algebra/CRings/cr_one.con"
18 <mop tag="ci" helm:xref="$APP-ID">1</mop>
23 uri = "cic:/Algebra/CGroups/cg_inv.con"
30 uri = "cic:/Algebra/CMetricFields/CMetric_Fields/cmf_abs.con"
35 <!-- Binary Operations and Relations -->
38 name = "SETOID EQUALITY"
39 uri = "cic:/Algebra/CSetoids/cs_eq.con"
46 uri = "cic:/Algebra/CSetoids/cs_ap.con"
53 uri = "cic:/Algebra/COrdFields/leEq.con"
60 uri = "cic:/Algebra/COrdFields/cof_less.con"
67 uri = "cic:/Algebra/CRings/cr_plus.con | cic:/Algebra/CSemiGroups/csg_op.con"
74 uri = "cic:/Algebra/CRings/cr_minus.con | cic:/Algebra/CGroups/cg_minus.con"
81 uri = "cic:/Algebra/CRings/cr_mult.con"
88 uri = "cic:/Algebra/CFields/cf_div.con"
95 uri = "cic:/Algebra/CRings/Ring_constructions/nzpro.con"
103 uri = "cic:/Algebra/CRings/exponentiation/nexp.con"
110 uri = "cic:/Algebra/CRings/exponentiation/nexp_op.con | cic:/Algebra/Expon/Zexp_def/zexp.con"
123 uri = "cic:/Algebra/COrdFields/absSmall.con"
138 uri = "cic:/Algebra/CPolynomials/CPoly_CRing_ctd/cpoly_apply_fun.con"
142 <m:csymbol>app</m:csymbol>
150 uri = "cic:/Algebra/COrdFields/OrdField_Cauchy/seqLimit.con"
154 <mop tag="eq" helm:xref="$APP-ID"/>
155 <mapp helm:xref="$OP-ID">
161 <param id="1" bvar="x"/>
169 uri = "cic:/Algebra/CSums/Sums/sum0.con"
172 <m:apply helm:xref="$OP-ID">
182 <param id="2" bvar="x"/>
188 uri = "cic:/Algebra/CSums/Sums/sum.con"
191 <m:apply helm:xref="$OP-ID">
200 <param id="3" bvar="x"/>