mml 2.3.2 → 2.3.3
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
- checksums.yaml +4 -4
- data/.rubocop_todo.yml +18 -22
- data/lib/mml/v2/annotation.rb +4 -0
- data/lib/mml/v2/annotation_xml.rb +4 -0
- data/lib/mml/v2/arith.rb +88 -0
- data/lib/mml/v2/ci.rb +4 -0
- data/lib/mml/v2/cn.rb +4 -0
- data/lib/mml/v2/constants.rb +60 -0
- data/lib/mml/v2/csymbol.rb +4 -0
- data/lib/mml/v2/functions.rb +20 -0
- data/lib/mml/v2/logic.rb +28 -0
- data/lib/mml/v2/mfraction.rb +4 -0
- data/lib/mml/v2/mi.rb +4 -0
- data/lib/mml/v2/mn.rb +4 -0
- data/lib/mml/v2/ms.rb +4 -0
- data/lib/mml/v2/relations.rb +36 -0
- data/lib/mml/v2/statistics.rb +24 -0
- data/lib/mml/v2/vector_calculus.rb +16 -0
- data/lib/mml/v3/arith.rb +88 -0
- data/lib/mml/v3/cbytes.rb +4 -0
- data/lib/mml/v3/ci.rb +4 -0
- data/lib/mml/v3/cn.rb +4 -0
- data/lib/mml/v3/constants.rb +60 -0
- data/lib/mml/v3/cs.rb +4 -0
- data/lib/mml/v3/csymbol.rb +4 -0
- data/lib/mml/v3/elementary_functions.rb +108 -0
- data/lib/mml/v3/functions.rb +20 -0
- data/lib/mml/v3/linear_algebra.rb +24 -0
- data/lib/mml/v3/logic.rb +28 -0
- data/lib/mml/v3/maligngroup.rb +4 -0
- data/lib/mml/v3/malignmark.rb +4 -0
- data/lib/mml/v3/mglyph.rb +4 -0
- data/lib/mml/v3/mi.rb +4 -0
- data/lib/mml/v3/mlabeledtr.rb +4 -0
- data/lib/mml/v3/mn.rb +4 -0
- data/lib/mml/v3/mo.rb +4 -0
- data/lib/mml/v3/mprescripts.rb +4 -0
- data/lib/mml/v3/msline.rb +4 -0
- data/lib/mml/v3/mspace.rb +4 -0
- data/lib/mml/v3/mtable.rb +4 -0
- data/lib/mml/v3/mtext.rb +4 -0
- data/lib/mml/v3/mtr.rb +4 -0
- data/lib/mml/v3/none.rb +4 -0
- data/lib/mml/v3/relations.rb +36 -0
- data/lib/mml/v3/sets.rb +44 -0
- data/lib/mml/v3/statistics.rb +24 -0
- data/lib/mml/v3/vector_calculus.rb +16 -0
- data/lib/mml/v4/arith.rb +66 -0
- data/lib/mml/v4/calculus.rb +15 -0
- data/lib/mml/v4/cbytes.rb +3 -0
- data/lib/mml/v4/ci.rb +3 -0
- data/lib/mml/v4/cn.rb +3 -0
- data/lib/mml/v4/constants.rb +45 -0
- data/lib/mml/v4/cs.rb +3 -0
- data/lib/mml/v4/csymbol.rb +3 -0
- data/lib/mml/v4/elementary_functions.rb +81 -0
- data/lib/mml/v4/factorof.rb +3 -0
- data/lib/mml/v4/functions.rb +15 -0
- data/lib/mml/v4/limit.rb +3 -0
- data/lib/mml/v4/linear_algebra.rb +27 -0
- data/lib/mml/v4/logic.rb +21 -0
- data/lib/mml/v4/maligngroup.rb +3 -0
- data/lib/mml/v4/malignmark.rb +3 -0
- data/lib/mml/v4/mglyph.rb +3 -0
- data/lib/mml/v4/mi.rb +4 -0
- data/lib/mml/v4/mlabeledtr.rb +3 -0
- data/lib/mml/v4/mn.rb +4 -0
- data/lib/mml/v4/mo.rb +3 -0
- data/lib/mml/v4/mprescripts.rb +3 -0
- data/lib/mml/v4/msline.rb +3 -0
- data/lib/mml/v4/mspace.rb +3 -0
- data/lib/mml/v4/mtable.rb +3 -0
- data/lib/mml/v4/mtext.rb +3 -0
- data/lib/mml/v4/mtr.rb +3 -0
- data/lib/mml/v4/none.rb +3 -0
- data/lib/mml/v4/relations.rb +24 -0
- data/lib/mml/v4/sets.rb +39 -0
- data/lib/mml/v4/statistics.rb +21 -0
- data/lib/mml/v4/tendsto.rb +3 -0
- data/lib/mml/v4/vector_calculus.rb +12 -0
- data/lib/mml/version.rb +1 -1
- metadata +2 -2
checksums.yaml
CHANGED
|
@@ -1,7 +1,7 @@
|
|
|
1
1
|
---
|
|
2
2
|
SHA256:
|
|
3
|
-
metadata.gz:
|
|
4
|
-
data.tar.gz:
|
|
3
|
+
metadata.gz: e0b9ec9e6024728b8821c8130834a294bc0e526701969087be08434534179868
|
|
4
|
+
data.tar.gz: c93a0ea135689be29e86e3723d1c977de1ca9d3f8588f4d5101a83f597e652bd
|
|
5
5
|
SHA512:
|
|
6
|
-
metadata.gz:
|
|
7
|
-
data.tar.gz:
|
|
6
|
+
metadata.gz: 578be875522b8b3a1a0f4f9624c6586044af103cbe5720ccef2f3752996498b1e94e6470838b5b1b53479dad4bb47d863d5a3e5b19a83e4d9f243c9f43f20352
|
|
7
|
+
data.tar.gz: 5248d6fb8452f8dd7a70520e8566d0666b79b23251214003ee78ea4a1726a45aface0601243d6a9ed421641882c4b4d014116892b9c89f1f4a2980180d572fc6
|
data/.rubocop_todo.yml
CHANGED
|
@@ -1,6 +1,6 @@
|
|
|
1
1
|
# This configuration was generated by
|
|
2
2
|
# `rubocop --auto-gen-config`
|
|
3
|
-
# on 2026-04-
|
|
3
|
+
# on 2026-04-15 01:25:48 UTC using RuboCop version 1.86.0.
|
|
4
4
|
# The point is for the user to remove these configuration records
|
|
5
5
|
# one by one as the offenses are removed from the code base.
|
|
6
6
|
# Note that changes in the inspected code, or installation of new
|
|
@@ -12,22 +12,13 @@
|
|
|
12
12
|
# SupportedStylesAlignWith: either, start_of_block, start_of_line
|
|
13
13
|
Layout/BlockAlignment:
|
|
14
14
|
Exclude:
|
|
15
|
-
- 'spec/
|
|
16
|
-
|
|
17
|
-
# Offense count: 3
|
|
18
|
-
# This cop supports safe autocorrection (--autocorrect).
|
|
19
|
-
# Configuration parameters: AllowForAlignment.
|
|
20
|
-
Layout/CommentIndentation:
|
|
21
|
-
Exclude:
|
|
22
|
-
- 'spec/mml/v4_spec.rb'
|
|
15
|
+
- 'spec/lutaml_default_register_spec.rb'
|
|
23
16
|
|
|
24
|
-
# Offense count:
|
|
17
|
+
# Offense count: 1
|
|
25
18
|
# This cop supports safe autocorrection (--autocorrect).
|
|
26
|
-
|
|
27
|
-
# SupportedStyles: normal, indented_internal_methods
|
|
28
|
-
Layout/IndentationConsistency:
|
|
19
|
+
Layout/BlockEndNewline:
|
|
29
20
|
Exclude:
|
|
30
|
-
- 'spec/
|
|
21
|
+
- 'spec/lutaml_default_register_spec.rb'
|
|
31
22
|
|
|
32
23
|
# Offense count: 2
|
|
33
24
|
# This cop supports safe autocorrection (--autocorrect).
|
|
@@ -35,9 +26,9 @@ Layout/IndentationConsistency:
|
|
|
35
26
|
# SupportedStylesAlignWith: start_of_line, relative_to_receiver
|
|
36
27
|
Layout/IndentationWidth:
|
|
37
28
|
Exclude:
|
|
38
|
-
- 'spec/
|
|
29
|
+
- 'spec/lutaml_default_register_spec.rb'
|
|
39
30
|
|
|
40
|
-
# Offense count:
|
|
31
|
+
# Offense count: 137
|
|
41
32
|
# This cop supports safe autocorrection (--autocorrect).
|
|
42
33
|
# Configuration parameters: Max, AllowHeredoc, AllowURI, AllowQualifiedName, URISchemes, AllowRBSInlineAnnotation, AllowCopDirectives, AllowedPatterns, SplitStrings.
|
|
43
34
|
# URISchemes: http, https
|
|
@@ -90,12 +81,12 @@ Naming/ConstantName:
|
|
|
90
81
|
Exclude:
|
|
91
82
|
- 'lib/mml/v2/namespace.rb'
|
|
92
83
|
|
|
93
|
-
# Offense count:
|
|
84
|
+
# Offense count: 37
|
|
94
85
|
# Configuration parameters: CountAsOne.
|
|
95
86
|
RSpec/ExampleLength:
|
|
96
|
-
Max:
|
|
87
|
+
Max: 13
|
|
97
88
|
|
|
98
|
-
# Offense count:
|
|
89
|
+
# Offense count: 19
|
|
99
90
|
RSpec/MultipleExpectations:
|
|
100
91
|
Max: 3
|
|
101
92
|
|
|
@@ -113,7 +104,12 @@ RSpec/UnspecifiedException:
|
|
|
113
104
|
- 'spec/mml/v3_spec.rb'
|
|
114
105
|
|
|
115
106
|
# Offense count: 1
|
|
116
|
-
# This cop supports
|
|
117
|
-
|
|
107
|
+
# This cop supports safe autocorrection (--autocorrect).
|
|
108
|
+
# Configuration parameters: EnforcedStyle, ProceduralMethods, FunctionalMethods, AllowedMethods, AllowedPatterns, AllowBracesOnProceduralOneLiners, BracesRequiredMethods.
|
|
109
|
+
# SupportedStyles: line_count_based, semantic, braces_for_chaining, always_braces
|
|
110
|
+
# ProceduralMethods: benchmark, bm, bmbm, create, each_with_object, measure, new, realtime, tap, with_object
|
|
111
|
+
# FunctionalMethods: let, let!, subject, watch
|
|
112
|
+
# AllowedMethods: lambda, proc, it
|
|
113
|
+
Style/BlockDelimiters:
|
|
118
114
|
Exclude:
|
|
119
|
-
- 'spec/
|
|
115
|
+
- 'spec/lutaml_default_register_spec.rb'
|
data/lib/mml/v2/annotation.rb
CHANGED
data/lib/mml/v2/arith.rb
CHANGED
|
@@ -3,90 +3,178 @@
|
|
|
3
3
|
module Mml
|
|
4
4
|
module V2
|
|
5
5
|
class Abs < Lutaml::Model::Serializable
|
|
6
|
+
def self.lutaml_default_register
|
|
7
|
+
:mml_v2
|
|
8
|
+
end
|
|
9
|
+
|
|
6
10
|
include Base::Content::Abs
|
|
7
11
|
end
|
|
8
12
|
|
|
9
13
|
class Conjugate < Lutaml::Model::Serializable
|
|
14
|
+
def self.lutaml_default_register
|
|
15
|
+
:mml_v2
|
|
16
|
+
end
|
|
17
|
+
|
|
10
18
|
include Base::Content::Conjugate
|
|
11
19
|
end
|
|
12
20
|
|
|
13
21
|
class Arg < Lutaml::Model::Serializable
|
|
22
|
+
def self.lutaml_default_register
|
|
23
|
+
:mml_v2
|
|
24
|
+
end
|
|
25
|
+
|
|
14
26
|
include Base::Content::Arg
|
|
15
27
|
end
|
|
16
28
|
|
|
17
29
|
class Real < Lutaml::Model::Serializable
|
|
30
|
+
def self.lutaml_default_register
|
|
31
|
+
:mml_v2
|
|
32
|
+
end
|
|
33
|
+
|
|
18
34
|
include Base::Content::Real
|
|
19
35
|
end
|
|
20
36
|
|
|
21
37
|
class Imaginary < Lutaml::Model::Serializable
|
|
38
|
+
def self.lutaml_default_register
|
|
39
|
+
:mml_v2
|
|
40
|
+
end
|
|
41
|
+
|
|
22
42
|
include Base::Content::Imaginary
|
|
23
43
|
end
|
|
24
44
|
|
|
25
45
|
class Floor < Lutaml::Model::Serializable
|
|
46
|
+
def self.lutaml_default_register
|
|
47
|
+
:mml_v2
|
|
48
|
+
end
|
|
49
|
+
|
|
26
50
|
include Base::Content::Floor
|
|
27
51
|
end
|
|
28
52
|
|
|
29
53
|
class Ceiling < Lutaml::Model::Serializable
|
|
54
|
+
def self.lutaml_default_register
|
|
55
|
+
:mml_v2
|
|
56
|
+
end
|
|
57
|
+
|
|
30
58
|
include Base::Content::Ceiling
|
|
31
59
|
end
|
|
32
60
|
|
|
33
61
|
class Quotient < Lutaml::Model::Serializable
|
|
62
|
+
def self.lutaml_default_register
|
|
63
|
+
:mml_v2
|
|
64
|
+
end
|
|
65
|
+
|
|
34
66
|
include Base::Content::Quotient
|
|
35
67
|
end
|
|
36
68
|
|
|
37
69
|
class Divide < Lutaml::Model::Serializable
|
|
70
|
+
def self.lutaml_default_register
|
|
71
|
+
:mml_v2
|
|
72
|
+
end
|
|
73
|
+
|
|
38
74
|
include Base::Content::Divide
|
|
39
75
|
end
|
|
40
76
|
|
|
41
77
|
class Rem < Lutaml::Model::Serializable
|
|
78
|
+
def self.lutaml_default_register
|
|
79
|
+
:mml_v2
|
|
80
|
+
end
|
|
81
|
+
|
|
42
82
|
include Base::Content::Rem
|
|
43
83
|
end
|
|
44
84
|
|
|
45
85
|
class Minus < Lutaml::Model::Serializable
|
|
86
|
+
def self.lutaml_default_register
|
|
87
|
+
:mml_v2
|
|
88
|
+
end
|
|
89
|
+
|
|
46
90
|
include Base::Content::Minus
|
|
47
91
|
end
|
|
48
92
|
|
|
49
93
|
class Plus < Lutaml::Model::Serializable
|
|
94
|
+
def self.lutaml_default_register
|
|
95
|
+
:mml_v2
|
|
96
|
+
end
|
|
97
|
+
|
|
50
98
|
include Base::Content::Plus
|
|
51
99
|
end
|
|
52
100
|
|
|
53
101
|
class Times < Lutaml::Model::Serializable
|
|
102
|
+
def self.lutaml_default_register
|
|
103
|
+
:mml_v2
|
|
104
|
+
end
|
|
105
|
+
|
|
54
106
|
include Base::Content::Times
|
|
55
107
|
end
|
|
56
108
|
|
|
57
109
|
class Power < Lutaml::Model::Serializable
|
|
110
|
+
def self.lutaml_default_register
|
|
111
|
+
:mml_v2
|
|
112
|
+
end
|
|
113
|
+
|
|
58
114
|
include Base::Content::Power
|
|
59
115
|
end
|
|
60
116
|
|
|
61
117
|
class Root < Lutaml::Model::Serializable
|
|
118
|
+
def self.lutaml_default_register
|
|
119
|
+
:mml_v2
|
|
120
|
+
end
|
|
121
|
+
|
|
62
122
|
include Base::Content::Root
|
|
63
123
|
end
|
|
64
124
|
|
|
65
125
|
class Max < Lutaml::Model::Serializable
|
|
126
|
+
def self.lutaml_default_register
|
|
127
|
+
:mml_v2
|
|
128
|
+
end
|
|
129
|
+
|
|
66
130
|
include Base::Content::Max
|
|
67
131
|
end
|
|
68
132
|
|
|
69
133
|
class Min < Lutaml::Model::Serializable
|
|
134
|
+
def self.lutaml_default_register
|
|
135
|
+
:mml_v2
|
|
136
|
+
end
|
|
137
|
+
|
|
70
138
|
include Base::Content::Min
|
|
71
139
|
end
|
|
72
140
|
|
|
73
141
|
class Gcd < Lutaml::Model::Serializable
|
|
142
|
+
def self.lutaml_default_register
|
|
143
|
+
:mml_v2
|
|
144
|
+
end
|
|
145
|
+
|
|
74
146
|
include Base::Content::Gcd
|
|
75
147
|
end
|
|
76
148
|
|
|
77
149
|
class Lcm < Lutaml::Model::Serializable
|
|
150
|
+
def self.lutaml_default_register
|
|
151
|
+
:mml_v2
|
|
152
|
+
end
|
|
153
|
+
|
|
78
154
|
include Base::Content::Lcm
|
|
79
155
|
end
|
|
80
156
|
|
|
81
157
|
class Sum < Lutaml::Model::Serializable
|
|
158
|
+
def self.lutaml_default_register
|
|
159
|
+
:mml_v2
|
|
160
|
+
end
|
|
161
|
+
|
|
82
162
|
include Base::Content::Sum
|
|
83
163
|
end
|
|
84
164
|
|
|
85
165
|
class Product < Lutaml::Model::Serializable
|
|
166
|
+
def self.lutaml_default_register
|
|
167
|
+
:mml_v2
|
|
168
|
+
end
|
|
169
|
+
|
|
86
170
|
include Base::Content::Product
|
|
87
171
|
end
|
|
88
172
|
|
|
89
173
|
class Factorial < Lutaml::Model::Serializable
|
|
174
|
+
def self.lutaml_default_register
|
|
175
|
+
:mml_v2
|
|
176
|
+
end
|
|
177
|
+
|
|
90
178
|
include Base::Content::Factorial
|
|
91
179
|
end
|
|
92
180
|
end
|
data/lib/mml/v2/ci.rb
CHANGED
data/lib/mml/v2/cn.rb
CHANGED
data/lib/mml/v2/constants.rb
CHANGED
|
@@ -3,62 +3,122 @@
|
|
|
3
3
|
module Mml
|
|
4
4
|
module V2
|
|
5
5
|
class Naturalnumbers < Lutaml::Model::Serializable
|
|
6
|
+
def self.lutaml_default_register
|
|
7
|
+
:mml_v2
|
|
8
|
+
end
|
|
9
|
+
|
|
6
10
|
include Base::Content::Naturalnumbers
|
|
7
11
|
end
|
|
8
12
|
|
|
9
13
|
class Primes < Lutaml::Model::Serializable
|
|
14
|
+
def self.lutaml_default_register
|
|
15
|
+
:mml_v2
|
|
16
|
+
end
|
|
17
|
+
|
|
10
18
|
include Base::Content::Primes
|
|
11
19
|
end
|
|
12
20
|
|
|
13
21
|
class Integers < Lutaml::Model::Serializable
|
|
22
|
+
def self.lutaml_default_register
|
|
23
|
+
:mml_v2
|
|
24
|
+
end
|
|
25
|
+
|
|
14
26
|
include Base::Content::Integers
|
|
15
27
|
end
|
|
16
28
|
|
|
17
29
|
class Rationals < Lutaml::Model::Serializable
|
|
30
|
+
def self.lutaml_default_register
|
|
31
|
+
:mml_v2
|
|
32
|
+
end
|
|
33
|
+
|
|
18
34
|
include Base::Content::Rationals
|
|
19
35
|
end
|
|
20
36
|
|
|
21
37
|
class Reals < Lutaml::Model::Serializable
|
|
38
|
+
def self.lutaml_default_register
|
|
39
|
+
:mml_v2
|
|
40
|
+
end
|
|
41
|
+
|
|
22
42
|
include Base::Content::Reals
|
|
23
43
|
end
|
|
24
44
|
|
|
25
45
|
class Complexes < Lutaml::Model::Serializable
|
|
46
|
+
def self.lutaml_default_register
|
|
47
|
+
:mml_v2
|
|
48
|
+
end
|
|
49
|
+
|
|
26
50
|
include Base::Content::Complexes
|
|
27
51
|
end
|
|
28
52
|
|
|
29
53
|
class Emptyset < Lutaml::Model::Serializable
|
|
54
|
+
def self.lutaml_default_register
|
|
55
|
+
:mml_v2
|
|
56
|
+
end
|
|
57
|
+
|
|
30
58
|
include Base::Content::Emptyset
|
|
31
59
|
end
|
|
32
60
|
|
|
33
61
|
class Exponentiale < Lutaml::Model::Serializable
|
|
62
|
+
def self.lutaml_default_register
|
|
63
|
+
:mml_v2
|
|
64
|
+
end
|
|
65
|
+
|
|
34
66
|
include Base::Content::Exponentiale
|
|
35
67
|
end
|
|
36
68
|
|
|
37
69
|
class Imaginaryi < Lutaml::Model::Serializable
|
|
70
|
+
def self.lutaml_default_register
|
|
71
|
+
:mml_v2
|
|
72
|
+
end
|
|
73
|
+
|
|
38
74
|
include Base::Content::Imaginaryi
|
|
39
75
|
end
|
|
40
76
|
|
|
41
77
|
class Pi < Lutaml::Model::Serializable
|
|
78
|
+
def self.lutaml_default_register
|
|
79
|
+
:mml_v2
|
|
80
|
+
end
|
|
81
|
+
|
|
42
82
|
include Base::Content::Pi
|
|
43
83
|
end
|
|
44
84
|
|
|
45
85
|
class Eulergamma < Lutaml::Model::Serializable
|
|
86
|
+
def self.lutaml_default_register
|
|
87
|
+
:mml_v2
|
|
88
|
+
end
|
|
89
|
+
|
|
46
90
|
include Base::Content::Eulergamma
|
|
47
91
|
end
|
|
48
92
|
|
|
49
93
|
class Mtrue < Lutaml::Model::Serializable
|
|
94
|
+
def self.lutaml_default_register
|
|
95
|
+
:mml_v2
|
|
96
|
+
end
|
|
97
|
+
|
|
50
98
|
include Base::Content::True
|
|
51
99
|
end
|
|
52
100
|
|
|
53
101
|
class Mfalse < Lutaml::Model::Serializable
|
|
102
|
+
def self.lutaml_default_register
|
|
103
|
+
:mml_v2
|
|
104
|
+
end
|
|
105
|
+
|
|
54
106
|
include Base::Content::False
|
|
55
107
|
end
|
|
56
108
|
|
|
57
109
|
class Infinity < Lutaml::Model::Serializable
|
|
110
|
+
def self.lutaml_default_register
|
|
111
|
+
:mml_v2
|
|
112
|
+
end
|
|
113
|
+
|
|
58
114
|
include Base::Content::Infinity
|
|
59
115
|
end
|
|
60
116
|
|
|
61
117
|
class Notanumber < Lutaml::Model::Serializable
|
|
118
|
+
def self.lutaml_default_register
|
|
119
|
+
:mml_v2
|
|
120
|
+
end
|
|
121
|
+
|
|
62
122
|
include Base::Content::Notanumber
|
|
63
123
|
end
|
|
64
124
|
end
|
data/lib/mml/v2/csymbol.rb
CHANGED
data/lib/mml/v2/functions.rb
CHANGED
|
@@ -3,22 +3,42 @@
|
|
|
3
3
|
module Mml
|
|
4
4
|
module V2
|
|
5
5
|
class Compose < Lutaml::Model::Serializable
|
|
6
|
+
def self.lutaml_default_register
|
|
7
|
+
:mml_v2
|
|
8
|
+
end
|
|
9
|
+
|
|
6
10
|
include Base::Content::Compose
|
|
7
11
|
end
|
|
8
12
|
|
|
9
13
|
class Domain < Lutaml::Model::Serializable
|
|
14
|
+
def self.lutaml_default_register
|
|
15
|
+
:mml_v2
|
|
16
|
+
end
|
|
17
|
+
|
|
10
18
|
include Base::Content::Domain
|
|
11
19
|
end
|
|
12
20
|
|
|
13
21
|
class Codomain < Lutaml::Model::Serializable
|
|
22
|
+
def self.lutaml_default_register
|
|
23
|
+
:mml_v2
|
|
24
|
+
end
|
|
25
|
+
|
|
14
26
|
include Base::Content::Codomain
|
|
15
27
|
end
|
|
16
28
|
|
|
17
29
|
class Image < Lutaml::Model::Serializable
|
|
30
|
+
def self.lutaml_default_register
|
|
31
|
+
:mml_v2
|
|
32
|
+
end
|
|
33
|
+
|
|
18
34
|
include Base::Content::Image
|
|
19
35
|
end
|
|
20
36
|
|
|
21
37
|
class Ident < Lutaml::Model::Serializable
|
|
38
|
+
def self.lutaml_default_register
|
|
39
|
+
:mml_v2
|
|
40
|
+
end
|
|
41
|
+
|
|
22
42
|
include Base::Content::Ident
|
|
23
43
|
end
|
|
24
44
|
|
data/lib/mml/v2/logic.rb
CHANGED
|
@@ -3,30 +3,58 @@
|
|
|
3
3
|
module Mml
|
|
4
4
|
module V2
|
|
5
5
|
class And < Lutaml::Model::Serializable
|
|
6
|
+
def self.lutaml_default_register
|
|
7
|
+
:mml_v2
|
|
8
|
+
end
|
|
9
|
+
|
|
6
10
|
include Base::Content::And
|
|
7
11
|
end
|
|
8
12
|
|
|
9
13
|
class Or < Lutaml::Model::Serializable
|
|
14
|
+
def self.lutaml_default_register
|
|
15
|
+
:mml_v2
|
|
16
|
+
end
|
|
17
|
+
|
|
10
18
|
include Base::Content::Or
|
|
11
19
|
end
|
|
12
20
|
|
|
13
21
|
class Xor < Lutaml::Model::Serializable
|
|
22
|
+
def self.lutaml_default_register
|
|
23
|
+
:mml_v2
|
|
24
|
+
end
|
|
25
|
+
|
|
14
26
|
include Base::Content::Xor
|
|
15
27
|
end
|
|
16
28
|
|
|
17
29
|
class Not < Lutaml::Model::Serializable
|
|
30
|
+
def self.lutaml_default_register
|
|
31
|
+
:mml_v2
|
|
32
|
+
end
|
|
33
|
+
|
|
18
34
|
include Base::Content::Not
|
|
19
35
|
end
|
|
20
36
|
|
|
21
37
|
class Exists < Lutaml::Model::Serializable
|
|
38
|
+
def self.lutaml_default_register
|
|
39
|
+
:mml_v2
|
|
40
|
+
end
|
|
41
|
+
|
|
22
42
|
include Base::Content::Exists
|
|
23
43
|
end
|
|
24
44
|
|
|
25
45
|
class Forall < Lutaml::Model::Serializable
|
|
46
|
+
def self.lutaml_default_register
|
|
47
|
+
:mml_v2
|
|
48
|
+
end
|
|
49
|
+
|
|
26
50
|
include Base::Content::Forall
|
|
27
51
|
end
|
|
28
52
|
|
|
29
53
|
class Implies < Lutaml::Model::Serializable
|
|
54
|
+
def self.lutaml_default_register
|
|
55
|
+
:mml_v2
|
|
56
|
+
end
|
|
57
|
+
|
|
30
58
|
include Base::Content::Implies
|
|
31
59
|
end
|
|
32
60
|
end
|
data/lib/mml/v2/mfraction.rb
CHANGED
data/lib/mml/v2/mi.rb
CHANGED
data/lib/mml/v2/mn.rb
CHANGED
data/lib/mml/v2/ms.rb
CHANGED
data/lib/mml/v2/relations.rb
CHANGED
|
@@ -3,38 +3,74 @@
|
|
|
3
3
|
module Mml
|
|
4
4
|
module V2
|
|
5
5
|
class Eq < Lutaml::Model::Serializable
|
|
6
|
+
def self.lutaml_default_register
|
|
7
|
+
:mml_v2
|
|
8
|
+
end
|
|
9
|
+
|
|
6
10
|
include Base::Content::Eq
|
|
7
11
|
end
|
|
8
12
|
|
|
9
13
|
class Neq < Lutaml::Model::Serializable
|
|
14
|
+
def self.lutaml_default_register
|
|
15
|
+
:mml_v2
|
|
16
|
+
end
|
|
17
|
+
|
|
10
18
|
include Base::Content::Neq
|
|
11
19
|
end
|
|
12
20
|
|
|
13
21
|
class Leq < Lutaml::Model::Serializable
|
|
22
|
+
def self.lutaml_default_register
|
|
23
|
+
:mml_v2
|
|
24
|
+
end
|
|
25
|
+
|
|
14
26
|
include Base::Content::Leq
|
|
15
27
|
end
|
|
16
28
|
|
|
17
29
|
class Lt < Lutaml::Model::Serializable
|
|
30
|
+
def self.lutaml_default_register
|
|
31
|
+
:mml_v2
|
|
32
|
+
end
|
|
33
|
+
|
|
18
34
|
include Base::Content::Lt
|
|
19
35
|
end
|
|
20
36
|
|
|
21
37
|
class Geq < Lutaml::Model::Serializable
|
|
38
|
+
def self.lutaml_default_register
|
|
39
|
+
:mml_v2
|
|
40
|
+
end
|
|
41
|
+
|
|
22
42
|
include Base::Content::Geq
|
|
23
43
|
end
|
|
24
44
|
|
|
25
45
|
class Gt < Lutaml::Model::Serializable
|
|
46
|
+
def self.lutaml_default_register
|
|
47
|
+
:mml_v2
|
|
48
|
+
end
|
|
49
|
+
|
|
26
50
|
include Base::Content::Gt
|
|
27
51
|
end
|
|
28
52
|
|
|
29
53
|
class Equivalent < Lutaml::Model::Serializable
|
|
54
|
+
def self.lutaml_default_register
|
|
55
|
+
:mml_v2
|
|
56
|
+
end
|
|
57
|
+
|
|
30
58
|
include Base::Content::Equivalent
|
|
31
59
|
end
|
|
32
60
|
|
|
33
61
|
class Approx < Lutaml::Model::Serializable
|
|
62
|
+
def self.lutaml_default_register
|
|
63
|
+
:mml_v2
|
|
64
|
+
end
|
|
65
|
+
|
|
34
66
|
include Base::Content::Approx
|
|
35
67
|
end
|
|
36
68
|
|
|
37
69
|
class Factorof < Lutaml::Model::Serializable
|
|
70
|
+
def self.lutaml_default_register
|
|
71
|
+
:mml_v2
|
|
72
|
+
end
|
|
73
|
+
|
|
38
74
|
include Base::Content::Factorof
|
|
39
75
|
end
|
|
40
76
|
end
|