repo.or.cz
/
barvinok.git
/
search
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
log
|
graphiclog1
|
graphiclog2
|
commit
|
commitdiff
|
tree
|
refs
|
edit
|
fork
first
·
prev
·
next
add 4ti2-1.3.1+autoconf-0.1 banner
2007-10-31
Sven V
e
rd
o
olaeg
e
add 4
t
i2
-
1
.
3
.
1
+
autoco
n
f-0
.
1 banner
commit
|
commitdiff
|
tree
2007-10-31
Sv
e
n
Verdoolaege
add zsolve from 4ti2-
1
.
3
.
1+aut
o
conf-0
.
1
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaeg
e
pa
r
am_
u
til
.
c: expo
r
t
b
i
t
_vec
t
or
_
co
u
nt
commit
|
commitdiff
|
tree
2007-10-31
S
v
e
n Verdoolaege
topcom
.
c
:
extract part of code for setting up st
a
ndard
.
.
.
commit
|
commitdiff
|
tree
2007-10-30
Sven Verdoolaege
gen_fu
n
:
:
Hadamard_p
r
o
d
uct
:
print pr
o
gre
s
s indicator
.
.
.
commit
|
commitdiff
|
tree
2007-10-26
Sven Verdoo
l
aege
mo
v
e --verb
o
se option to lib
r
ary
commit
|
commitdiff
|
tree
2007-10-25
Sven Verd
o
olae
g
e
gen_fun::summate:
handle full
specia
l
izatio
n
commit
|
commitdiff
|
tree
2007-10-25
S
v
e
n V
e
rdo
o
laege
Replace incremental infinite set c
o
unter by "regular
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verd
o
ol
a
ege
make counter::add_fal
l
in
g
_powers
s
tatic
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
m
e
rge (most of
)
c
o
mmon part of count
e
r and tcou
n
ter
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
V
e
rdoolaeg
e
icounter: handle specializ
a
tion of
p
oly
n
omials
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
ico
u
n
ter: don't bother
"
normali
z
in
g
" the exp
o
nents
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
v
e
n Verdoolaege
expo
r
t n
e
g_left_hermit
e
commit
|
commitdiff
|
tree
2007-10-25
Sven Ve
r
doolaege
b
a
sis_reduc
t
ion_cdd: c
h
eck for pos
s
i
bly
incorrect output
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdool
a
e
ge
Polyhedron_
S
a
m
ple
:
handle poly
h
e
d
ron beco
m
ing empty
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
gen_fun::operator evalue *: alwa
y
s return a valid
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
ven Verdoolaege
gen_fun::op
e
r
a
to
r
evalue *:
remove
c
ommented
out
d
ebuggin
g
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven
Verdo
o
laege
barvinok_enumerat
e
_e
.
c
c
:
h
a
n
dle v
e
rification of
problems
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven
Verdool
a
ege
bar
v
inok
_
enumerate_e: option
a
ll
y
p
r
int s
t
ats
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
barvinok_enumerate_e:
s
upp
o
rt
v
erification of
g
e
nerati
n
g
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolae
g
e
ba
r
vi
n
ok_
e
numer
a
te_e:
s
u
p
port conversi
o
n of generating
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Ve
r
doolaeg
e
l
a
t
t
i
c
e_
p
o
ints: another
mi
c
r
o
-opti
m
i
z
ation
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdool
a
ege
la
t
tice_points_fixed:
n
ano-optimi
z
ation
commit
|
commitdiff
|
tree
2007-10-25
S
ven Verdool
a
ege
gen
_
fu
n
::add: context of sum should be union of c
o
ntext
s
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Ver
d
oolaege
barvinok
_
en
u
mer
a
te
:
use ver
i
f
y
i
n
f
r
a
struc
t
ure for verif
y
i
n
g
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolae
g
e
g
enfun
.
cc: print_
p
ower
:
drop spac
e
s
a
r
o
und "/" when
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
ve
n
Verdoolaeg
e
count
_
point
s
_e:
f
a
ll back to count_points if the
r
e
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
Makefile
.
am: check-evalue: print name of
e
ach test
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoola
e
ge
ve
r
ify
:
add
c
h
eck_poly_p
r
int helper function
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
gen_
f
u
n
: make
s
ure context is
a
lwa
y
s
set
commit
|
commitdiff
|
tree
2007-10-25
S
ven Verdoolaege
reducer:
:
reduce: cano
n
icalize coef
f
icients in each
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
erdoolaege
s
hort_rat
:
:
p
ri
n
t
: correc
t
l
y print out terms with a
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verd
o
olaege
barvinok_series: recheck
for equal
i
ti
e
s
a
f
t
er computing
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Ve
r
d
o
olaege
export Matri
x
_R
e
ad for
readi
n
g Matrix from a
s
tream
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdool
a
ege
param_util
.
c:
ad
d
Param_Vertex_Domain
commit
|
commitdiff
|
tree
2007-10-25
Sven Ver
d
oolaeg
e
util
.
c: supp
o
rting
_
constraints: return bit vector
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
erdoolaege
pol
y
lib: upda
t
e
for Matri
x
_Exten
d
commit
|
commitdiff
|
tree
2007-10-25
Sven V
e
rd
o
o
l
aege
o
ptions
.
c: use P
o
lyhed
r
on_Sa
m
p
le for
counting infinite
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdo
o
laege
keep track of and use
saturating co
n
stra
i
nts in Param_Polyhe
d
ron
commit
|
commitdiff
|
tree
2007-10-25
Sven Verd
o
olaeg
e
move
v
al
u
e_gcd and value_lcm t
o
p
olylib
commit
|
commitdiff
|
tree
2007-10-25
Sven V
e
rdoolaeg
e
B
ern
o
ul
l
i_
s
um_evalue: only
c
ompute ex
a
ct s
u
m if
a
pproximatio
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Ver
d
ool
a
ege
Ber
n
ou
l
li_sum_eval
u
e: sum o
v
er variables with integer
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Ver
d
oolaege
eva
l
ue
.
c:
e
xpo
r
t evalue_v
a
r
commit
|
commitdiff
|
tree
2007-10-25
Sven Ver
d
oolaege
Polyhedron_
E
xch
a
ngeColumns: norm
a
lize
constrai
n
t
s afte
r
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
erdoolaege
e
x
p
ort Polyhedro
n
_ExchangeC
o
lumns
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
Verd
o
ol
a
ege
e
value_polyno
m
ial: opti
m
ize evaluation in zero
commit
|
commitdiff
|
tree
2007-10-25
S
v
en Verd
o
olaege
evalue
.
c: emul
:
handle another special case
commit
|
commitdiff
|
tree
2007-10-25
Sven
Verdoolaege
e
v
alue
.
c:
eadd: handle so
m
e special cases
commit
|
commitdiff
|
tree
2007-10-25
Sven Verd
o
olaege
introduce a
n
d u
s
e ev
a
lue_
f
ree
commit
|
commitdiff
|
tree
2007-10-25
Sven Ve
r
d
o
olae
g
e
evalue
.
c
:
e
a
dd: m
i
c
r
o-
o
p
timize
a
dd
i
tion of
t
wo rationals
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n Verdoolaege
setti
n
g an
approximation method
n
ow im
p
lies
p
olynom
i
al
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verd
o
olaege
barvinok_summate:
o
p
t
i
o
n
a
lly use
B
ernoulli
/
Fau
l
habe
r
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verd
o
olaege
Bern
o
ulli_s
u
m_
e
value: use eva
l
ue_from_s
e
ction_array
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
b
a
rvinok/pol
y
lib
.
h: remov
e
comp
a
tibility with olde
r
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaeg
e
m
o
ve Vector_Oppo
s
e
to P
o
lyLib
commit
|
commitdiff
|
tree
2007-10-25
S
v
e
n
Ver
d
oolaege
p
o
ly
t
ope_
s
can: reenable --direct option
commit
|
commitdiff
|
tree
2007-10-20
Sve
n
Verdoolaege
remove_a
l
l
_equalities: keep r
e
moving equalities u
n
til
.
.
.
commit
|
commitdiff
|
tree
2007-10-20
Sven Verdoolaege
remove_all_equal
i
ties: handle empty polyhedron dete
c
ted
.
.
.
commit
|
commitdiff
|
tree
2007-10-20
Sve
n
Verdoolaege
remove_all_
e
qualities
:
minor code c
l
ean-up
commit
|
commitdiff
|
tree
2007-10-20
Sve
n
Ve
r
doolaege
e
xp
o
rt Polyhedron_Matrix_View
commit
|
commitdiff
|
tree
2007-10-16
Sve
n
Ver
d
o
olaege
p
olar_sig
n
e
d_co
n
e_consumer: clean u
p
memory
on i
n
a
p
p
ro
p
riate
.
.
.
commit
|
commitdiff
|
tree
2007-10-05
Sven Verdoola
e
ge
Param_Inn
e
r_Product:
fix use of v
a
lu
e
_l
c
m
commit
|
commitdiff
|
tree
2007-09-28
Sven Verdoo
l
aeg
e
doc: fix typo in Michele V
e
rgne's name
commit
|
commitdiff
|
tree
2007-09-21
S
v
en V
e
r
d
o
o
la
e
g
e
A
d
d
missing file
s
from polymake
cli
e
nt to distribution
commit
|
commitdiff
|
tree
2007-09-21
Sven Verdoolaege
Use
gmp's gcd rath
e
r than PolyLib's
commit
|
commitdiff
|
tree
2007-09-21
Sven Verdoolaege
p
o
lymake/README: mention -
-
w
i
th
-
barvinok configure
.
.
.
commit
|
commitdiff
|
tree
2007-09-21
Sven Ve
r
dool
a
e
ge
polymake/Make
f
ile
.
in
:
add work-aroun
d
for polym
a
k
e
2
.
3
commit
|
commitdiff
|
tree
2007-09-21
Sven
V
erdoolae
g
e
evalue
.
c: print
_
e
v
a
lue: a
l
way
s
print newline at the
.
.
.
commit
|
commitdiff
|
tree
2007-09-20
Sven Verdoolae
g
e
options
.
c:
fix typo in --approximation-method desc
r
ipti
o
n
commit
|
commitdiff
|
tree
2007-09-15
Sv
e
n V
e
rdoolaege
top
c
om: fix heuri
s
tic fo
r
selecting
rows to use as
.
.
.
commit
|
commitdiff
|
tree
2007-09-11
Sven
V
erdoolaege
b
arvinok 0
.
2
5
commit
|
commitdiff
|
tree
2007-09-11
Sve
n
Verdoolaege
Merge
b
ranch
'
t
opcom'
commit
|
commitdiff
|
tree
2007-09-11
Sven
Verdoolaege
Docum
e
nt
TOPCOM based cham
b
e
r
decomposition
commit
|
commitdiff
|
tree
2007-09-11
Sven Verdool
a
e
g
e
test TOP
C
OM chamber de
c
o
m
po
s
itio
n
commit
|
commitdiff
|
tree
2007-09-11
Sven
Ve
r
do
o
laege
Optionally use TOP
C
OM to compute chambe
r
decomposit
i
ons
.
commit
|
commitdiff
|
tree
2007-09-11
Sven Verdoolaege
l
exmin: ad
d
(p
r
ote
c
ted) missi
n
g
algorithm i
n
cl
u
d
e
commit
|
commitdiff
|
tree
2007-09-11
Sven
Verd
o
olaege
M
a
k
e
f
i
le
.
a
m
: add tar
g
e
t
for creating dist with git
.
.
.
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdoolaege
d
o
c: update voting the
o
ry refere
n
ce
commit
|
commitdiff
|
tree
2007-09-10
Sven
Verdo
o
laege
documen
t
barvinok_summate and
barvinok_maximize
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdoolae
g
e
doc: consistent u
s
e
o
f Barv
i
nok's i
n
itials
commit
|
commitdiff
|
tree
2007-09-10
Sv
e
n Verdo
o
laege
barvinok_summate: corre
c
t options descr
i
ption
commit
|
commitdiff
|
tree
2007-09-10
Sven Verd
o
ol
a
ege
Document Euler-Maclau
r
in based summation
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdool
a
ege
doc: change examp
l
e environmen
t
commit
|
commitdiff
|
tree
2007-09-10
Sven Verdoolaege
doc: add
s
o
me hidden sec
t
ions to
t
able of contents
commit
|
commitdiff
|
tree
2007-09-10
S
v
en Verdoolaege
doc:
a
nother doc
u
ment refering to the
l
ibrary
commit
|
commitdiff
|
tree
2007-09-10
Sv
e
n Verdoolaege
a
dd some test
s
for Eule
r
-Ma
c
laurin ba
s
ed summation
commit
|
commitdiff
|
tree
2007-09-10
Sven
V
er
d
oolaege
Euler-
M
aclaurin based summation
for 1D problems
commit
|
commitdiff
|
tree
2007-09-10
Sven Verd
o
o
laege
Euler-Maclaurin
based summation f
o
r 2D pr
o
blems
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
d
e
c
o
mpo
s
er
.
cc: avo
i
d use of half-open cones
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
bar
v
inok_sum
m
ate:
verif
y
so
l
ution over whole p
a
ra
m
eter
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven V
e
rdoolaege
introduce barvinok_summate
as a w
r
appe
r
for evalue_s
u
m
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdool
a
e
g
e
add evalue_mul_div
commit
|
commitdiff
|
tree
2007-09-08
Sve
n
Ver
d
oolae
g
e
evalue_{
d
iv,mul}: h
a
ndle som
e
t
r
ivial c
a
ses more ef
f
ic
i
ently
commit
|
commitdiff
|
tree
2007-09-08
S
v
en Ve
r
doolaeg
e
l
a
ttice_poi
n
t: export fractional_part
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
evalue
.
c:
extra
c
t comm
o
n
code f
o
r con
s
t
ruction bas
e
d
.
.
.
commit
|
commitdiff
|
tree
2007-09-08
Sven V
e
rdoolaege
vo
l
ume
.
c: exp
o
rt Param_Po
l
y
hedron_Facet
commit
|
commitdiff
|
tree
2007-09-08
S
ven Verdoolaege
add eval
u
e_mul
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
fix
t
ype of ev
a
lue_
p
olynom
i
al
a
r
gument
commit
|
commitdiff
|
tree
2007-09-08
Sven
Verdoolaege
support computation
of Bernoulli
p
oly
n
omials
commit
|
commitdiff
|
tree
2007-09-08
Sven Verdoolaege
separate computation of Be
r
noulli co
e
fficient
s
a
nd
.
.
.
commit
|
commitdiff
|
tree
next