blob: fe6a1d25c64c775ea09c110a3d4a96d61eed2ac7 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
|
eq_refl : 1.02 = 1.02
: 1.02 = 1.02
eq_refl : 10.2 = 10.2
: 10.2 = 10.2
eq_refl : 1020 = 1020
: 1020 = 1020
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
|
