File: sphere_volume.native

package info (click to toggle)
haskell-texmath 0.12.10.3-1
  • links: PTS, VCS
  • area: main
  • in suites: forky
  • size: 31,408 kB
  • sloc: haskell: 12,870; makefile: 29
file content (126 lines) | stat: -rw-r--r-- 3,468 bytes parent folder | download | duplicates (3)
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
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
[ EIdentifier "S"
, ESymbol Rel "="
, ESymbol Open "{"
, ENumber "0"
, ESymbol Rel "\8804"
, EIdentifier "\981"
, ESymbol Rel "\8804"
, ENumber "2"
, EIdentifier "\960"
, ESymbol Pun ","
, ESpace (2 % 9)
, ENumber "0"
, ESymbol Rel "\8804"
, EIdentifier "\952"
, ESymbol Rel "\8804"
, EIdentifier "\960"
, ESymbol Pun ","
, ESpace (2 % 9)
, ENumber "0"
, ESymbol Rel "\8804"
, EIdentifier "\961"
, ESymbol Rel "\8804"
, EIdentifier "R"
, ESymbol Close "}"
, EArray
    [ AlignRight , AlignLeft ]
    [ [ [ EStyled
            TextNormal
            [ EIdentifier "V"
            , EIdentifier "o"
            , EIdentifier "l"
            , EIdentifier "u"
            , EIdentifier "m"
            , EIdentifier "e"
            ]
        ]
      , [ ESymbol Rel "="
        , EUnder False (ESymbol Op "\8749") (EIdentifier "S")
        , ESpace ((-1) % 6)
        , ESuper (EIdentifier "\961") (ENumber "2")
        , EMathOperator "sin"
        , EIdentifier "\952"
        , ESpace (1 % 6)
        , EStyled TextNormal [ EIdentifier "d" ]
        , EIdentifier "\961"
        , ESpace (1 % 6)
        , EStyled TextNormal [ EIdentifier "d" ]
        , EIdentifier "\952"
        , ESpace (1 % 6)
        , EStyled TextNormal [ EIdentifier "d" ]
        , EIdentifier "\981"
        ]
      ]
    , [ []
      , [ ESymbol Rel "="
        , ESubsup
            (ESymbol Op "\8747")
            (ENumber "0")
            (EGrouped [ ENumber "2" , EIdentifier "\960" ])
        , ESpace ((-1) % 6)
        , EStyled TextNormal [ EIdentifier "d" ]
        , EIdentifier "\981"
        , ESpace (1 % 6)
        , ESubsup (ESymbol Op "\8747") (ENumber "0") (EIdentifier "\960")
        , ESpace ((-1) % 6)
        , EMathOperator "sin"
        , EIdentifier "\952"
        , ESpace (1 % 6)
        , EStyled TextNormal [ EIdentifier "d" ]
        , EIdentifier "\952"
        , ESpace (1 % 6)
        , ESubsup (ESymbol Op "\8747") (ENumber "0") (EIdentifier "R")
        , ESpace ((-1) % 6)
        , ESuper (EIdentifier "\961") (ENumber "2")
        , EStyled TextNormal [ EIdentifier "d" ]
        , EIdentifier "\961"
        ]
      ]
    , [ []
      , [ ESymbol Rel "="
        , EIdentifier "\981"
        , ESubsup
            (EScaled (9 % 5) (ESymbol Open "|"))
            (ENumber "0")
            (EGrouped [ ENumber "2" , EIdentifier "\960" ])
        , ESpace (2 % 9)
        , EDelimited
            "("
            ")"
            [ Right (ESymbol Op "\8722")
            , Right (EMathOperator "cos")
            , Right (EIdentifier "\952")
            ]
        , ESubsup
            (EScaled (9 % 5) (ESymbol Open "|"))
            (ENumber "0")
            (EIdentifier "\960")
        , ESpace (2 % 9)
        , EFraction InlineFrac (ENumber "1") (ENumber "3")
        , ESuper (EIdentifier "\961") (ENumber "3")
        , ESubsup
            (EScaled (9 % 5) (ESymbol Open "|"))
            (ENumber "0")
            (EIdentifier "R")
        ]
      ]
    , [ []
      , [ ESymbol Rel "="
        , ENumber "2"
        , EIdentifier "\960"
        , ESymbol Bin "\215"
        , ENumber "2"
        , ESymbol Bin "\215"
        , EFraction InlineFrac (ENumber "1") (ENumber "3")
        , ESuper (EIdentifier "R") (ENumber "3")
        ]
      ]
    , [ []
      , [ ESymbol Rel "="
        , EFraction InlineFrac (ENumber "4") (ENumber "3")
        , EIdentifier "\960"
        , ESuper (EIdentifier "R") (ENumber "3")
        ]
      ]
    ]
]