helm/meta_style/algebra.xml

   1 <!DOCTYPE OpList SYSTEM "operator.dtd">
   2
   3 <OpList xmlns:m="http://www.w3.org/1998/Math/MathML">
   4
   5 <!-- Unary Operations -->
   6
   7 <Operator
   8  name  = "0"
   9  uri   = "cic:/Algebra/CSemiGroups/csg_unit.con"
  10  arity = "1">
  11         <mop tag="ci" helm:xref="$APP-ID">0</mop>
  12 </Operator>
  13
  14 <Operator
  15  name  = "1"
  16  uri   = "cic:/Algebra/CRings/cr_one.con"
  17  arity = "1">
  18         <mop tag="ci" helm:xref="$APP-ID">1</mop>
  19 </Operator>
  20
  21 <Operator
  22  name  = "*****"
  23  uri   = "cic:/Algebra/CGroups/cg_inv.con"
  24  hide  = "1"
  25  arity = "1"
  26  m-tag = "minus"/>
  27
  28 <Operator
  29  name  = "*****"
  30  uri   = "cic:/Algebra/CMetricFields/CMetric_Fields/cmf_abs.con"
  31  hide  = "1"
  32  arity = "2"
  33  m-tag = "abs"/>
  34
  35 <!-- Binary Operations and Relations -->
  36
  37 <Operator
  38  name  = "SETOID EQUALITY"
  39  uri   = "cic:/Algebra/CSetoids/cs_eq.con"
  40  hide  = "1"
  41  arity = "2"
  42  m-tag = "eq"/>
  43
  44 <Operator
  45  name  = "APART"
  46  uri   = "cic:/Algebra/CSetoids/cs_ap.con"
  47  hide  = "1"
  48  arity = "2"
  49  m-tag = "neq"/>
  50
  51 <Operator
  52  name  = "*****"
  53  uri   = "cic:/Algebra/COrdFields/leEq.con"
  54  hide  = "1"
  55  arity = "2"
  56  m-tag = "leq"/>
  57
  58 <Operator
  59  name  = "*****"
  60  uri   = "cic:/Algebra/COrdFields/cof_less.con"
  61  hide  = "1"
  62  arity = "2"
  63  m-tag = "lt"/>
  64
  65 <Operator
  66  name  = "*****"
  67  uri   = "cic:/Algebra/CRings/cr_plus.con | cic:/Algebra/CSemiGroups/csg_op.con"
  68  hide  = "1"
  69  arity = "2"
  70  m-tag = "plus"/>
  71
  72 <Operator
  73  name  = "*****"
  74  uri   = "cic:/Algebra/CRings/cr_minus.con | cic:/Algebra/CGroups/cg_minus.con"
  75  hide  = "1"
  76  arity = "2"
  77  m-tag = "minus"/>
  78
  79 <Operator
  80  name  = "*****"
  81  uri   = "cic:/Algebra/CRings/cr_mult.con"
  82  hide  = "1"
  83  arity = "2"
  84  m-tag = "times"/>
  85
  86 <Operator
  87  name  = "*****"
  88  uri   = "cic:/Algebra/CFields/cf_div.con"
  89  hide  = "1"
  90  arity = "2"
  91  m-tag = "divide"/>
  92
  93 <Operator
  94  name  = "*****"
  95  uri   = "cic:/Algebra/CRings/Ring_constructions/nzpro.con"
  96  cook  = "true"
  97  arity = "2">
  98         <param id="1"/>
  99 </Operator>
 100
 101 <Operator
 102  name  = "*****"
 103  uri   = "cic:/Algebra/CRings/exponentiation/nexp.con"
 104  cook  = "true"
 105  arity = "2"
 106  m-tag = "power"/>
 107
 108 <Operator
 109  name  = "*****"
 110  uri   = "cic:/Algebra/CRings/exponentiation/nexp_op.con | cic:/Algebra/Expon/Zexp_def/zexp.con"
 111  cook  = "true"
 112  arity = "2">
 113         <mapp>
 114                 <mop tag="power"/>
 115                 <param id="2"/>
 116                 <param id="1"/>
 117         </mapp>
 118 </Operator>
 119
 120
 121 <Operator
 122  name  = "*****"
 123  uri   = "cic:/Algebra/COrdFields/absSmall.con"
 124  hide  = "1"
 125  arity = "2">
 126         <mapp>
 127                 <mop tag="lt"/>
 128                 <mapp>
 129                         <mop tag="abs"/>
 130                         <param id="2"/>
 131                 </mapp>
 132                 <param id="1"/>
 133         </mapp>
 134 </Operator>
 135
 136 <Operator
 137  name  = "*****"
 138  uri   = "cic:/Algebra/CPolynomials/CPoly_CRing_ctd/cpoly_apply_fun.con"
 139  cook  = "true"
 140  arity = "2">
 141         <mapp>
 142                 <m:csymbol>app</m:csymbol>
 143                 <param id="1"/>
 144                 <param id="2"/>
 145         </mapp>
 146 </Operator>
 147
 148 <Operator
 149  name  = "********"
 150  uri   = "cic:/Algebra/COrdFields/OrdField_Cauchy/seqLimit.con"
 151  cook  = "true"
 152  arity = "2">
 153         <mapp>
 154                 <mop tag="eq" helm:xref="$APP-ID"/>
 155                 <mapp helm:xref="$OP-ID">
 156                         <mop tag="limit"/>
 157                         <mbvar name="x"/>
 158                         <m:lowlimit>
 159                                 <m:infinity/>
 160                         </m:lowlimit>
 161                         <param id="1" bvar="x"/>
 162                 </mapp>
 163                 <param id="2"/>
 164         </mapp>
 165 </Operator>
 166
 167 <Operator
 168  name  = "********"
 169  uri   = "cic:/Algebra/CSums/Sums/sum0.con"
 170  cook  = "true"
 171  arity = "2">
 172         <m:apply helm:xref="$OP-ID">
 173                 <mop tag="sum"/>
 174                 <mbvar name="x"/>
 175                 <m:condition>
 176                         <m:apply>
 177                                 <m:lt/>
 178                                 <mvar name="x"/>
 179                                 <param id="1"/>
 180                         </m:apply>
 181                 </m:condition>
 182                 <param id="2" bvar="x"/>
 183         </m:apply>
 184 </Operator>
 185
 186 <Operator
 187  name  = "SUM"
 188  uri   = "cic:/Algebra/CSums/Sums/sum.con"
 189  cook  = "true"
 190  arity = "3">
 191         <m:apply helm:xref="$OP-ID">
 192                 <mop tag="sum"/>
 193                 <mbvar name="x"/>
 194                 <m:lowlimit>
 195                         <param id="1"/>
 196                 </m:lowlimit>
 197                 <m:uplimit>
 198                         <param id="2"/>
 199                 </m:uplimit>
 200                 <param id="3" bvar="x"/>
 201         </m:apply>
 202 </Operator>
 203
 204 </OpList>