blob: a9386b27815fe85d762392d2254b95a2ce7eaceb (
plain)
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
|
32%R
: R
(-31)%R
: R
1.5%R
: R
15%R
: R
eq_refl : 1.02 = 1.02
: 1.02 = 1.02
eq_refl : 10.2 = 10.2
: 10.2 = 10.2
eq_refl : 102e1 = 102e1
: 102e1 = 102e1
eq_refl : 102 = 102
: 102 = 102
eq_refl : 1.02 = 1.02
: 1.02 = 1.02
eq_refl : -1e-4 = -1e-4
: -1e-4 = -1e-4
eq_refl : -0.50 = -0.50
: -0.50 = -0.50
eq_refl : -26 = -26
: -26 = -26
eq_refl : 2860 / IZR (BinIntDef.Z.pow_pos 2 8) = 2860 / IZR (Z.pow_pos 2 8)
: 2860 / IZR (BinIntDef.Z.pow_pos 2 8) = 2860 / IZR (Z.pow_pos 2 8)
eq_refl : -6882 = -6882
: -6882 = -6882
eq_refl : 2860 / IZR (BinIntDef.Z.pow_pos 2 6) = 2860 / IZR (Z.pow_pos 2 6)
: 2860 / IZR (BinIntDef.Z.pow_pos 2 6) = 2860 / IZR (Z.pow_pos 2 6)
eq_refl : 2860 = 2860
: 2860 = 2860
eq_refl
:
-2860 / IZR (BinIntDef.Z.pow_pos 2 10) = - (2860) / IZR (Z.pow_pos 2 10)
: -2860 / IZR (BinIntDef.Z.pow_pos 2 10) =
- (2860) / IZR (Z.pow_pos 2 10)
|
