mathesaurus/mathesaurus.rnc at zmughal · eclectic-extractions/mathesaurus · 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
default namespace = ""
namespace rdf = "http://www.w3.org/1999/02/22-rdf-syntax-ns#"
namespace dc = "http://purl.org/dc/elements/1.1/"
namespace cc = "http://web.resource.org/cc/"

start =
  element mathesaurus {
    element modified { text },
    element rdf:RDF {
      element dc:title { text },
      element dc:date { text },
      element dc:creator { text },
      element dc:contributor { text }*,
      element dc:description { text },
      element dc:type {
        attribute rdf:resource { xsd:anyURI }
      },
      element cc:license {
        attribute rdf:resource { xsd:anyURI }, text?
      }
    },
    section+
  }
section =
   element section {
      element title { text },
      group?, section*
   }

group =
   element group {
      element command {
         element description { text }?,
         element generic { code }?,
         languages,
         element latex { text }?,
         element output {
            code,
            attribute from { text }
         }*
      }+
   }

languages =
   element matlab { code }?
 & element Octave { code }?
 & element scilab { code }?
 & element freemat { code }?
 & element R { code }?
 & element Python { code }?
 & element gnuplot { code }?
 & element IDL { code }?
 & element GDL { code }?
 & element PDL { code }?
# & element GAUSS { code }?
# & element Yorick { code }?
# & element O-Matrix { code }?
# & element Lush { code }?
# & element Algae { code }?
# & element Aplus { code }?
 & element mathematica { code }?
 & element maple { code }?
 & element axiom { code }?
 & element maxima { code }?
 & element mupad { code }?
 & element derive { code }?
 & element reduce { code }?
# & element yacas { code }?
 & element bc { code }?

code =
   codeattr,
   ( text
    | ( (element cmd {
           codeattr,
           text }
        | element alt {
           codeattr,
           text })+,
       element plot {
          attribute file { xsd:anyURI },
          attribute width { text }?
       }?
    )
    | empty
   )
codeattr =
   attribute package { text }?,
   attribute form { "functional" }?