helm/meta_style/algebra.xml

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