-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathMaherFormalEngine.log.txt
68 lines (64 loc) · 2.21 KB
/
MaherFormalEngine.log.txt
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
[Program Start] Welcome to RPN Calculator! Please input your expression, Press enter to finish:
-a +2 *a +5*(alpha - beta +b *c +a)/alpha -(-beta)^c
=> Removing White Spaces ...
Raw input Expression to process:
-a+2*a+5*(alpha-beta+b*c+a)/alpha-(-beta)^c
Raw input Expression Length = 43
=> Parsing Raw Expression ...
=> Concatenating Values ...
=> Concatenating Variable letters ...
=> Parsing Variables ...
There are 5 Unique Variable Names: a alpha beta b c
=> Assigning Variables ...
Please provide value for Variable a = 11
Please provide value for Variable alpha = 22
Please provide value for Variable beta = 33
Please provide value for Variable b = -44
Please provide value for Variable c = 3
=> Processing Negative Signs ...
=> Shunting Yard ...
=> Infix Expression Original:
-11 + 2 * 11 + 5 * ( 22 - 33 + -44 * 3 + 11 ) / 22 - ( -33 ) ^ 3
=> Postfix Expression Result:
-11 2 11 * + 5 22 33 - -44 3 * + 11 + * 22 / + -33 3 ^ -
=> Reverse Polish Notation ...
Computed RPN = 35918.0000
Predefined Expression 1 evaluation. Expected result = -12
=> Removing White Spaces ...
Raw input Expression to process:
-1+3*-4+5/(2--3)
Raw input Expression Length = 16
=> Parsing Raw Expression ...
=> Concatenating Values ...
=> Concatenating Variable letters ...
=> Parsing Variables ...
=> Assigning Variables ...
=> Processing Negative Signs ...
=> Shunting Yard ...
=> Infix Expression Original:
-1 + 3 * -4 + 5 / ( 2 - -3 )
=> Postfix Expression Result:
-1 3 -4 * + 5 2 -3 - / +
=> Reverse Polish Notation ...
Computed RPN = -12.0000
Predefined Expression 2 evaluation. Expected result = -397
=> Removing White Spaces ...
Raw input Expression to process:
10*(5+5*(-9))--3
Raw input Expression Length = 16
=> Parsing Raw Expression ...
=> Concatenating Values ...
=> Concatenating Variable letters ...
=> Parsing Variables ...
=> Assigning Variables ...
=> Processing Negative Signs ...
=> Shunting Yard ...
=> Infix Expression Original:
10 * ( 5 + 5 * ( -9 ) ) - -3
=> Postfix Expression Result:
10 5 5 -9 * + * -3 -
=> Reverse Polish Notation ...
Computed RPN = -397.0000
[Program End] An end is only a beginning in disguise.
Time elapsed: 002:32:234
Press any key to continue