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
support newer versions of GiNaC (>= 1.3.8)
2007-11-07
Sven
Verdoolaege
sup
p
ort newer ver
s
ion
s
of Gi
N
a
C (>= 1
.
3
.
8)
commit
|
commitdiff
|
tree
2007-11-07
Sven Verd
o
olaege
standar
d
_constraints:
m
ove from to
p
c
o
m
.
c to
p
oly
s
ign
.
c
commit
|
commitdiff
|
tree
2007-11-07
Sven
V
erdool
a
ege
p
o
l
y
s
i
gn
.
h: r
e
move dependency
on lexmin
.
h
commit
|
commitdiff
|
tree
2007-11-07
Sve
n
Ver
d
oolaeg
e
z
s
ol
v
e: add bann
e
r
.
h to
d
i
s
tri
b
ution
commit
|
commitdiff
|
tree
2007-11-06
S
ven Verdoolaege
Po
l
yhedron_Lattice_Width_Directions:
p
rint progre
s
s
.
.
.
commit
|
commitdiff
|
tree
2007-11-06
Sv
e
n Verdoolaege
bas
i
s_redu
c
tion_
p
ip: abort
o
n inv
a
lid (e
m
pty) input
.
.
.
commit
|
commitdiff
|
tree
2007-11-02
Sv
e
n Verdoolaege
README:
explain
how
to get
sub
m
odules
commit
|
commitdiff
|
tree
2007-11-02
Sven
Verdoolaege
doc: document lattic
e
wid
t
h
c
omputation
commit
|
commitdiff
|
tree
2007-11-02
S
v
e
n Verdoolaeg
e
s
o
me latti
c
e width tests
f
rom
J
on
Yaggie
commit
|
commitdiff
|
tree
2007-11-01
S
ven
Verdoolaege
P
olyhedron_L
a
t
t
i
c
e_Width:
d
ecid
e
on facets
t
o
c
lose
.
.
.
commit
|
commitdiff
|
tree
2007-11-01
Sven Verdoolaeg
e
add Polyhedron_Lattice_
W
idth for
computing
l
attice
.
.
.
commit
|
commitdiff
|
tree
2007-11-01
Sven Verdoolaege
hilbert
.
c
:
ad
d
Cone_I
n
t
ege
r
_Hull for co
m
pu
t
i
n
g vertices
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
S
v
en Ver
d
oola
e
ge
p
o
l
ysign: add pip-backed v
e
rs
i
o
n
commit
|
commitdiff
|
tree
2007-10-31
Sven
Verdoola
e
ge
polysig
n
: add const
r
aints_op
t
t
o
compute opti
m
um over
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven V
e
rd
o
o
laege
pol
y
sign
_
c
d
d
:
switch to use of Matr
i
x representati
o
n
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
po
l
ysign_
g
lpk: switch to
use
of Matrix representation
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven
V
e
rdoolaege
do
c
:
d
o
c
u
ment
computation of Hilbert b
a
s
is of a cone
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaeg
e
Cone_H
i
lbert_Basi
s
: use standard
_
c
o
nstraints to av
o
id
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
Use zsolve to comput
e
H
i
l
bert
b
asis of a cone
commit
|
commitdiff
|
tree
2007-10-31
S
v
en Verdoolaege
compi
l
e zsolv
e
commit
|
commitdiff
|
tree
2007-10-31
S
v
en Verdoolaege
zsolve: don't ins
t
a
l
l he
a
ders
a
n
d executables
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
zsolve:
i
n
itialize
B
ac
k
upT
i
me in Z
S
ol
v
eContext
commit
|
commitdiff
|
tree
2007-10-31
Sven V
e
rdoolaege
zs
o
lve: zsolveSystem: add missing ver
b
osity check
commit
|
commitdiff
|
tree
2007-10-31
Sven Verd
o
olaege
zsol
v
e: override LIBS from
top level
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoo
l
a
e
g
e
add 4ti2-1
.
3
.
1+autoconf-0
.
1 ban
n
er
commit
|
commitdiff
|
tree
2007-10-31
S
v
en
V
erdoolaege
add zsol
v
e from
4ti
2
-1
.
3
.
1+aut
o
conf-0
.
1
commit
|
commitdiff
|
tree
2007-10-31
S
v
en Ve
r
do
o
laege
para
m
_ut
i
l
.
c:
export bit_v
e
ctor_count
commit
|
commitdiff
|
tree
2007-10-31
Sv
e
n Verdo
o
lae
g
e
topcom
.
c: extract part of
c
ode for
setting up sta
n
dard
.
.
.
commit
|
commitdiff
|
tree
2007-10-30
Sve
n
Verdoolaeg
e
g
en_fun::Hadamard_produ
c
t:
print progress indicato
r
.
.
.
commit
|
commitdiff
|
tree
2007-10-26
Sven Verd
o
olaege
move --ve
r
bose optio
n
to library
commit
|
commitdiff
|
tree
2007-10-25
Sven Ve
r
doo
l
a
ege
ge
n
_fun::summa
t
e: h
a
nd
l
e full sp
e
cialization
commit
|
commitdiff
|
tree
2007-10-25
Sven
Verdoolaege
Replace incr
e
mental infi
n
ite set counter b
y
"regular
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
make co
u
nter::add_fall
i
ng_power
s
static
commit
|
commitdiff
|
tree
2007-10-25
Sven Verd
o
olaege
merge (
m
o
s
t
of
)
common part of co
u
nte
r
and tcounter
commit
|
commitdiff
|
tree
2007-10-25
Sven V
e
rdool
a
ege
icounter: handle specialization of poly
n
o
mials
commit
|
commitdiff
|
tree
2007-10-25
Sven Verd
o
ola
e
ge
icounter: don'
t
bother "
n
orm
a
lizing" the exponents
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Ve
r
doolaege
export n
e
g_le
f
t_hermite
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
erdo
o
laege
basis_
r
educt
i
on_cdd: c
h
e
c
k fo
r
p
o
ssibly incorrect output
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven V
e
rdoolaege
P
olyhed
r
on_Sa
m
ple:
h
andle pol
y
he
d
ron becoming empty
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
v
en Verdoolaege
gen
_
fun::
o
p
erator evalue *: always return
a valid
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Ver
d
o
olae
g
e
g
e
n_fun::operat
o
r eval
u
e *: re
m
o
v
e
co
m
mented out
d
ebug
g
ing
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
ven V
e
rdoolaeg
e
ba
r
vino
k
_enumerate
_
e
.
cc:
handle
v
er
i
fica
t
i
on of problems
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n Ver
d
oolaege
bar
v
inok
_
enumerate_e
:
optionally print
s
t
a
ts
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoo
l
a
e
ge
barvinok_enumerate_e
:
support v
e
rification of generating
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
Verdoo
l
a
e
ge
barvinok_en
u
me
r
ate_e
:
supp
o
rt con
v
ersi
o
n
of generating
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Ver
d
oolaege
lattice_poin
t
s: another micr
o
-optimizati
o
n
commit
|
commitdiff
|
tree
2007-10-25
Sven
Ve
r
doo
l
aege
lattice_points_fixed: nano-o
p
timi
z
ation
commit
|
commitdiff
|
tree
2007-10-25
Sven Ve
r
doolaege
gen
_
fun::add: con
t
e
x
t
o
f sum sh
o
uld be un
i
on of contexts
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
Verdool
a
ege
bar
v
inok_e
n
ume
r
at
e
: us
e
verify
infrastructure f
o
r verifying
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven
Ve
r
d
oolaege
g
e
nfun
.
cc:
p
rint_power:
drop spa
c
es around "/"
wh
e
n
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
erdoolaege
count_points_e: fall
back to co
u
nt_points if
t
here
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
Verdoolaege
Makefile
.
am:
check-evalue: pri
n
t name of ea
c
h test
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
e
rdoola
e
ge
verify: add ch
e
ck_poly_print helper funct
i
on
commit
|
commitdiff
|
tree
2007-10-25
S
ven Verdoolaege
gen_fun: mak
e
sure contex
t
is al
w
ays set
commit
|
commitdiff
|
tree
2007-10-25
Sven
Verdoolaege
r
e
d
u
cer:
:
reduce
:
canonicalize coefficient
s
in each
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
Verdoola
e
g
e
sh
o
rt_rat::print:
c
orrectly print out terms wi
t
h a
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven V
e
rdoolaeg
e
barvinok_series: recheck f
o
r equaliti
e
s after computing
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
ex
p
ort
M
atrix_Read for reading Mat
r
ix f
r
om a str
e
am
commit
|
commitdiff
|
tree
2007-10-25
Sven Ver
d
oo
l
aege
para
m
_util
.
c
:
add Param_Vertex_Domain
commit
|
commitdiff
|
tree
2007-10-25
Sven Verd
o
ol
a
ege
u
til
.
c: suppor
t
ing_c
o
n
str
a
int
s
: return bit vector
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n
V
erdoola
e
ge
p
o
lylib
:
update fo
r
Ma
t
rix_Extend
commit
|
commitdiff
|
tree
2007-10-25
S
v
en Ver
d
oolaege
optio
n
s
.
c: use
P
olyhedron_Sample for
counting
infinite
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Ver
d
oolaeg
e
k
e
ep track
of and use sat
u
rating constraints in
Param_
P
olyhedron
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
move value_gcd and value_lcm
to polylib
commit
|
commitdiff
|
tree
2007-10-25
Sven Ver
d
oolaege
Bernoulli_sum_eval
u
e
: only
co
m
put
e
e
xact sum if approximatio
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
erdool
a
ege
Berno
u
l
li_sum_evalue: sum over variables with integ
e
r
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoola
e
ge
e
value
.
c: export evalu
e
_v
a
r
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
Ve
r
doolaeg
e
Po
l
yhedro
n
_ExchangeColumns: nor
m
alize constrain
t
s after
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Ve
r
do
o
laege
export P
o
lyhed
r
on_E
x
ch
a
ng
e
Columns
commit
|
commitdiff
|
tree
2007-10-25
Sven V
e
rdoolaege
evalue_p
o
lynomial: op
t
i
m
ize
e
valuation
i
n
ze
r
o
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoola
e
ge
evalue
.
c: emul: handle
a
n
other spe
c
ia
l
c
ase
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
erdool
a
e
ge
evalue
.
c: eadd: handle some special cases
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n Verdool
a
ege
int
r
oduce and u
s
e evalue_f
r
ee
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
V
erd
o
olaege
evalue
.
c
:
ea
d
d: mi
c
ro-opti
m
ize addition
o
f two rationa
l
s
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
set
t
ing an approximation method now implies poly
n
omial
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
barvin
o
k_summate: optio
n
ally use Berno
u
lli/F
a
ulha
b
er
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Ver
d
oolaege
B
er
n
o
u
lli_sum_evalue: use evalue_from_sect
i
on_arra
y
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
b
ar
v
inok/poly
l
ib
.
h
:
remove
c
o
m
p
a
tibility with
o
lder
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoo
l
aege
move Vector_Opp
o
se to PolyLib
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoo
l
a
e
ge
p
o
lytope_scan: reenable --direct op
t
ion
commit
|
commitdiff
|
tree
2007-10-20
Sven
V
erdo
o
laege
r
e
move_all_e
q
ualit
i
e
s: keep removing e
q
u
a
li
t
ies
until
.
.
.
commit
|
commitdiff
|
tree
2007-10-20
Sven Verdoolaege
remove_a
l
l_equa
l
ities: h
a
ndl
e
empty po
l
y
h
e
d
ron detected
.
.
.
commit
|
commitdiff
|
tree
2007-10-20
Sven
V
erdoolae
g
e
remo
v
e_
a
ll_equalities: minor code clean-up
commit
|
commitdiff
|
tree
2007-10-20
Sven
V
erdoo
l
aege
e
x
port
Polyhedron_Matrix_View
commit
|
commitdiff
|
tree
2007-10-16
Sven
V
e
r
doolaege
polar
_
signed_cone_consumer
:
clean
u
p
memor
y
on inapp
r
opria
t
e
.
.
.
commit
|
commitdiff
|
tree
2007-10-05
Sven Verdoolaege
Param_Inn
e
r
_P
r
oduc
t
: fix use of
v
alue_
l
cm
commit
|
commitdiff
|
tree
2007-09-28
S
v
en Verdoolaege
doc: fix ty
p
o in Mi
c
hele Ver
g
n
e
's name
commit
|
commitdiff
|
tree
2007-09-21
Sven
Verdoolaege
Add
missing files f
r
om po
l
ymak
e
client to distribution
commit
|
commitdiff
|
tree
2007-09-21
Sven Verdoola
e
ge
U
s
e
g
mp's
g
c
d r
a
t
h
er th
a
n PolyLib's
commit
|
commitdiff
|
tree
2007-09-21
Sven
V
er
d
oolaege
pol
y
make/READ
M
E: menti
o
n --
w
ith-barvinok
conf
i
gu
r
e
.
.
.
commit
|
commitdiff
|
tree
2007-09-21
Sven
Verdoolaege
p
o
lymake/Makefile
.
i
n
: add w
o
r
k
-aroun
d
f
o
r
polymake
2
.
3
commit
|
commitdiff
|
tree
2007-09-21
Sven Verdool
a
ege
ev
a
lue
.
c:
print_eval
u
e: always p
r
int newline at th
e
.
.
.
commit
|
commitdiff
|
tree
2007-09-20
Sven
Verdo
o
la
e
g
e
options
.
c: f
i
x typo in --approximation-met
h
od description
commit
|
commitdiff
|
tree
2007-09-15
Sven Verdool
a
ege
t
o
pco
m
: fix heur
i
stic for selec
t
i
n
g ro
w
s
t
o use as
.
.
.
commit
|
commitdiff
|
tree
2007-09-11
Sven V
e
rd
o
ola
e
ge
barvinok 0
.
25
commit
|
commitdiff
|
tree
2007-09-11
Sven V
e
rdoolae
g
e
Me
r
g
e branch '
t
opcom'
commit
|
commitdiff
|
tree
2007-09-11
Sven Verdoolaege
Docum
e
n
t TOPCOM based c
h
amber de
c
ompositio
n
commit
|
commitdiff
|
tree
2007-09-11
Sven Verdool
a
ege
test
TOPCOM chamber d
e
composition
commit
|
commitdiff
|
tree
2007-09-11
Sven Verdoolaege
O
pt
i
onally use TOP
C
OM
to compute chambe
r
decompositio
n
s
.
commit
|
commitdiff
|
tree
2007-09-11
Sven Ver
d
oolaege
l
e
xmin: add
(p
r
otected
)
missing
alg
o
rithm include
commit
|
commitdiff
|
tree
next