cellml-validation/models_1_0/valid/4.2.3_4.6_mathml_functions_trig_redundant.cellml at main · MichaelClerx/cellml-validation · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
<?xml version="1.0" encoding="UTF-8"?>
<!-- CellML Test Suite. https://github.com/MichaelClerx/cellml-validation -->
<!-- CellML 1.0, 4.2.3: The MathML "CellML subset"
Redundant trigonometric functions: sec, csc, cot, arcsec, arccsc, arccot -->
<model name="mathml_functions_trig_redundant"
       xmlns="http://www.cellml.org/cellml/1.0#"
       xmlns:cellml="http://www.cellml.org/cellml/1.0#">
  <component name="A">
    <variable name="sec" units="dimensionless" />
    <variable name="csc" units="dimensionless" />
    <variable name="cot" units="dimensionless" />
    <variable name="arcsec" units="dimensionless" />
    <variable name="arccsc" units="dimensionless" />
    <variable name="arccot" units="dimensionless" />
    <math xmlns="http://www.w3.org/1998/Math/MathML">
      <apply>
        <eq/>
        <ci>sec</ci>
        <apply>
          <sec />
          <apply>
            <plus />
            <cn cellml:units="dimensionless">1.2</cn>
            <cn cellml:units="dimensionless">3.4</cn>
          </apply>
        </apply>
      </apply>
      <apply>
        <eq/>
        <ci>csc</ci>
        <apply>
          <csc />
          <apply>
            <times />
            <cn cellml:units="dimensionless">3</cn>
            <cn cellml:units="dimensionless">3.01</cn>
          </apply>
        </apply>
      </apply>
      <apply>
        <eq/>
        <ci>cot</ci>
        <apply>
          <cot />
          <apply>
            <times />
            <cn cellml:units="dimensionless">-1.2</cn>
            <cn cellml:units="dimensionless">-5.123</cn>
          </apply>
        </apply>
      </apply>
      <apply>
        <eq/>
        <ci>arcsec</ci>
        <apply>
          <arcsec />
          <apply>
            <divide />
            <cn cellml:units="dimensionless">1</cn>
            <cn cellml:units="dimensionless">2</cn>
          </apply>
        </apply>
      </apply>
      <apply>
        <eq/>
        <ci>arccsc</ci>
        <apply>
          <arccsc />
          <apply>
            <divide />
            <cn cellml:units="dimensionless">1</cn>
            <cn cellml:units="dimensionless">2</cn>
          </apply>
        </apply>
      </apply>
      <apply>
        <eq/>
        <ci>arccot</ci>
        <apply>
          <arccot />
          <apply>
            <times />
            <cn cellml:units="dimensionless">-1</cn>
            <cn cellml:units="dimensionless">-1</cn>
          </apply>
        </apply>
      </apply>
    </math>
  </component>
</model>