repo.or.cz
/
barvinok.git
/
blob
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
log
|
graphiclog1
|
graphiclog2
|
commit
|
commitdiff
|
tree
|
refs
|
edit
|
fork
blame
|
history
|
raw
|
HEAD
isl_pw_qpolynomial_sum: handle existentials in wrapped domains
[barvinok.git]
/
doc
/
sum_times_4
blob
33ebb1321526a2c59b183a6bc6f84a2d5d307bae
1
0 0
2
1 0.00333333333333333
3
2 0
4
3 0.00333333333333333
5
4 0.00333333333333333
6
5 0
7
6 0.00666666666666667
8
7 0.0133333333333333
9
8 0.01
10
9 0.0133333333333333
11
10 0.0166666666666667
12
11 0.02
13
12 0.02
14
13 0.03
15
14 0.03
16
15 0.04
17
16 0.0433333333333333
18
17 0.06
19
18 0.06
20
19 0.0733333333333333
21
20 0.0833333333333333
22
21 0.1
23
22 0.11
24
23 0.13
25
24 0.14
26
25 0.16
27
26 0.18
28
27 0.2
29
28 0.226666666666667
30
29 0.26
31
30 0.283333333333333
32
31 0.31
33
32 0.343333333333333
34
33 0.38
35
34 0.413333333333333
36
35 0.46
37
36 0.49
38
37 0.54
39
38 0.596666666666667
40
39 0.64
41
40 0.68
42
41 0.75
43
42 0.796666666666667
44
43 0.86
45
44 0.93
46
45 1
47
46 1.06
48
47 1.16
49
48 1.21666666666667
50
49 1.32
51
50 1.39333333333333
52
51 1.48666666666667
53
52 1.57333333333333
54
53 1.70333333333333
55
54 1.79666666666667
56
55 1.93
57
56 2.02666666666667
58
57 2.15
59
58 2.26
60
59 2.43666666666667
61
60 2.52
62
61 2.66
63
62 2.84
64
63 2.98333333333333
65
64 3.14
66
65 3.32666666666667
67
66 3.45
68
67 3.65333333333333
69
68 3.84666666666667
70
69 4.06333333333333
71
70 4.22
72
71 4.50333333333333
73
72 4.62666666666667
74
73 4.86666666666667
75
74 5.13333333333333
76
75 5.33666666666667
77
76 5.57333333333333
78
77 5.91
79
78 6.11666666666667
80
79 6.41333333333333
81
80 6.69666666666667
82
81 6.97
83
82 7.26333333333333
84
83 7.65
85
84 7.86333333333333
86
85 8.2
87
86 8.56
88
87 8.96333333333333
89
88 9.25
90
89 9.80333333333333
91
90 10.03
92
91 10.4633333333333
93
92 10.8233333333333
94
93 11.2266666666667
95
94 11.6733333333333
96
95 12.23
97
96 12.5366666666667
98
97 13.1566666666667
99
98 13.89
100
99 14.19
101
100 14.5466666666667