rulp 0.0.45 → 0.0.46
Sign up to get free protection for your applications and to get access to all the features.
- checksums.yaml +4 -4
- data/lib/rulp/expression.rb +20 -23
- data/lib/rulp/version.rb +2 -2
- data/test/test_negate_expression.rb +30 -0
- data/test/test_negate_term.rb +19 -0
- metadata +6 -2
checksums.yaml
CHANGED
@@ -1,7 +1,7 @@
|
|
1
1
|
---
|
2
2
|
SHA256:
|
3
|
-
metadata.gz:
|
4
|
-
data.tar.gz:
|
3
|
+
metadata.gz: 79e259317b851f96717dc4e0e66b07f08cf035efc420eeef915db1f40d7b5389
|
4
|
+
data.tar.gz: 68cfcdf7d345b9e1ee0c66b70b822a3edcac50af649a906902ef08db4f673f87
|
5
5
|
SHA512:
|
6
|
-
metadata.gz:
|
7
|
-
data.tar.gz:
|
6
|
+
metadata.gz: 0fe7414a15de24cd86043956491056cda383ce81ab21a7010add8715fbb2d2a376ff284faade9f7e66a512b1ae3c62926dcceb9dcf9a2dfe3e497eb11f558b8e
|
7
|
+
data.tar.gz: 3596934464b9aa30a43467fdc08e69a935f8d53219d2edf1b8110ca1806e71d5507802bd79d770df4d17be1d35f905e5b1b2a6554f3cbb4b5e78548864ebe9ee
|
data/lib/rulp/expression.rb
CHANGED
@@ -21,15 +21,14 @@ class Expressions
|
|
21
21
|
@expressions.map(&:variable)
|
22
22
|
end
|
23
23
|
|
24
|
-
[
|
25
|
-
define_method(constraint_type)
|
24
|
+
%i[== < <= > >=].each do |constraint_type|
|
25
|
+
define_method(constraint_type) do |value|
|
26
26
|
Constraint.new(self, constraint_type, value)
|
27
|
-
|
27
|
+
end
|
28
28
|
end
|
29
29
|
|
30
30
|
def -@
|
31
|
-
|
32
|
-
self
|
31
|
+
self.class.new(expressions.map(&:-@))
|
33
32
|
end
|
34
33
|
|
35
34
|
def -(other)
|
@@ -38,7 +37,7 @@ class Expressions
|
|
38
37
|
end
|
39
38
|
|
40
39
|
def +(other)
|
41
|
-
Expressions.new(
|
40
|
+
Expressions.new(expressions + Expressions[other].expressions)
|
42
41
|
end
|
43
42
|
|
44
43
|
def self.[](value)
|
@@ -50,7 +49,7 @@ class Expressions
|
|
50
49
|
end
|
51
50
|
|
52
51
|
def evaluate
|
53
|
-
|
52
|
+
expressions.map(&:evaluate).inject(:+)
|
54
53
|
end
|
55
54
|
end
|
56
55
|
|
@@ -66,19 +65,19 @@ class Fragment
|
|
66
65
|
end
|
67
66
|
|
68
67
|
def +(other)
|
69
|
-
|
68
|
+
Expressions.new([self] + Expressions[other].expressions)
|
70
69
|
end
|
71
70
|
|
72
71
|
def -(other)
|
73
72
|
self.+(-other)
|
74
73
|
end
|
75
74
|
|
76
|
-
def *(
|
77
|
-
Fragment.new(@lv, @operand *
|
75
|
+
def *(other)
|
76
|
+
Fragment.new(@lv, @operand * other)
|
78
77
|
end
|
79
78
|
|
80
79
|
def evaluate
|
81
|
-
if [TrueClass,FalseClass].include? @lv.value.class
|
80
|
+
if [TrueClass, FalseClass].include? @lv.value.class
|
82
81
|
@operand * (@lv.value ? 1 : 0)
|
83
82
|
else
|
84
83
|
@operand * @lv.value
|
@@ -94,20 +93,18 @@ class Fragment
|
|
94
93
|
@lv
|
95
94
|
end
|
96
95
|
|
97
|
-
[
|
98
|
-
define_method(constraint_type)
|
96
|
+
%i[== < <= > >=].each do |constraint_type|
|
97
|
+
define_method(constraint_type) do |value|
|
99
98
|
Constraint.new(Expressions.new(self), constraint_type, value)
|
100
|
-
|
99
|
+
end
|
101
100
|
end
|
102
101
|
|
103
102
|
def to_s
|
104
|
-
@as_str ||=
|
105
|
-
|
106
|
-
|
107
|
-
|
108
|
-
|
109
|
-
|
110
|
-
end
|
111
|
-
end
|
103
|
+
@as_str ||= case @operand
|
104
|
+
when -1 then " - #{@lv}"
|
105
|
+
when 1 then " + #{@lv}"
|
106
|
+
when ->(op) { op < 0 } then " - #{@operand.abs} #{@lv}"
|
107
|
+
else " + #{@operand} #{@lv}"
|
108
|
+
end
|
112
109
|
end
|
113
|
-
end
|
110
|
+
end
|
data/lib/rulp/version.rb
CHANGED
@@ -1,3 +1,3 @@
|
|
1
1
|
module Rulp
|
2
|
-
VERSION = '0.0.
|
3
|
-
end
|
2
|
+
VERSION = '0.0.46'
|
3
|
+
end
|
@@ -0,0 +1,30 @@
|
|
1
|
+
require_relative 'test_helper'
|
2
|
+
|
3
|
+
class NegateExpressionTest < Minitest::Test
|
4
|
+
|
5
|
+
def test_negate_expression
|
6
|
+
@problem = Rulp::Max(- (X1_i + 2 * X2_i))
|
7
|
+
@problem[
|
8
|
+
X1_i + X2_i == 10,
|
9
|
+
X1_i >= 0,
|
10
|
+
X2_i >= 0
|
11
|
+
]
|
12
|
+
|
13
|
+
@problem.solve
|
14
|
+
assert X1_i.value == 10
|
15
|
+
assert X2_i.value == 0
|
16
|
+
end
|
17
|
+
|
18
|
+
def test_double_negate_expression
|
19
|
+
@problem = Rulp::Max(-(-(X1_i + 2 * X2_i)))
|
20
|
+
@problem[
|
21
|
+
X1_i + X2_i == 10,
|
22
|
+
X1_i >= 0,
|
23
|
+
X2_i >= 0
|
24
|
+
]
|
25
|
+
|
26
|
+
@problem.solve
|
27
|
+
assert X1_i.value == 0
|
28
|
+
assert X2_i.value == 10
|
29
|
+
end
|
30
|
+
end
|
@@ -0,0 +1,19 @@
|
|
1
|
+
require_relative 'test_helper'
|
2
|
+
|
3
|
+
class NegateTerm < Minitest::Test
|
4
|
+
def setup
|
5
|
+
@problem = Rulp::Max(-X1_i + 2 * X2_i)
|
6
|
+
@problem[
|
7
|
+
X1_i + X2_i == 10,
|
8
|
+
X1_i >= 0,
|
9
|
+
X2_i >= 0
|
10
|
+
]
|
11
|
+
|
12
|
+
@problem.solve
|
13
|
+
end
|
14
|
+
|
15
|
+
def test_negate_term
|
16
|
+
assert X1_i.value == 0
|
17
|
+
assert X2_i.value == 10
|
18
|
+
end
|
19
|
+
end
|
metadata
CHANGED
@@ -1,14 +1,14 @@
|
|
1
1
|
--- !ruby/object:Gem::Specification
|
2
2
|
name: rulp
|
3
3
|
version: !ruby/object:Gem::Version
|
4
|
-
version: 0.0.
|
4
|
+
version: 0.0.46
|
5
5
|
platform: ruby
|
6
6
|
authors:
|
7
7
|
- Wouter Coppieters
|
8
8
|
autorequire:
|
9
9
|
bindir: bin
|
10
10
|
cert_chain: []
|
11
|
-
date: 2024-
|
11
|
+
date: 2024-04-25 00:00:00.000000000 Z
|
12
12
|
dependencies: []
|
13
13
|
description: A simple Ruby LP description DSL
|
14
14
|
email: wc@pico.net.nz
|
@@ -42,6 +42,8 @@ files:
|
|
42
42
|
- test/test_boolean.rb
|
43
43
|
- test/test_helper.rb
|
44
44
|
- test/test_infeasible.rb
|
45
|
+
- test/test_negate_expression.rb
|
46
|
+
- test/test_negate_term.rb
|
45
47
|
- test/test_save_to_file.rb
|
46
48
|
- test/test_simple.rb
|
47
49
|
homepage:
|
@@ -71,5 +73,7 @@ test_files:
|
|
71
73
|
- test/test_boolean.rb
|
72
74
|
- test/test_helper.rb
|
73
75
|
- test/test_infeasible.rb
|
76
|
+
- test/test_negate_expression.rb
|
77
|
+
- test/test_negate_term.rb
|
74
78
|
- test/test_save_to_file.rb
|
75
79
|
- test/test_simple.rb
|