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
euler.cc: summate_over_domain: only consider actual facets
2008-03-31
S
ve
n
Ve
r
doolaege
euler
.
cc:
sum
m
a
te_
o
ver_domain: only
consi
d
er actual
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven Verdoo
l
aege
param_util
.
c: expor
t
Para
m
_
V
ertex_Set_Facets
commit
|
commitdiff
|
tree
2008-03-31
Sven Verd
o
olaege
P
aram_
P
olyhed
r
on_Facet: pass facet defining constraint
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Verdoolaege
genfun
.
cc
:
paral
l
el_pol
y
topes:
d
on't bother han
d
ling
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
en
Verdoolaege
evalu
e
_
s
plit
_
doma
i
n
s_into_o
r
t
hants
:
don't
r
educe eva
l
ue
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
ve
n
Verdoola
e
g
e
evalu
e
_
read: only allow terms to cro
s
s
newlines inside
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sven
Verd
o
olaege
ev
a
lue_read: only acc
e
p
t
i
mplicit multip
l
ication on
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
S
v
en Verdoolaeg
e
eva
l
ue_read: ac
c
ept constraints con
t
aining "'-'
space
.
.
.
commit
|
commitdiff
|
tree
2008-03-31
Sve
n
Ve
r
dool
a
ege
ev
a
lue_b
e
rnste
i
n
_
coeffici
e
nts
:
ensure re
s
ult partitions
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoo
l
aege
bernstein: piecewise
_
l
s
t: correctly print
and evalu
a
te
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoolaege
remove
_
a
ll_equalities: keep
removing par
a
met
e
r
e
qual
i
ties
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
S
v
en Verdoolae
g
e
updat
e
po
l
ylib
commit
|
commitdiff
|
tree
2008-03-24
Sven
V
e
r
doolaege
doc: co
n
sistent use of Kevin's
i
ni
t
ials
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoolaege
doc:
updat
e
now pu
b
lished papers
commit
|
commitdiff
|
tree
2008-03-24
S
v
en Verd
o
o
l
a
ege
for_each_lower_u
p
per_bound:
allow absence of l
o
wer
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoolaege
Revert "e
a
dd_part
i
tions: try to com
b
i
n
e multiple domains
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Ver
d
oolaege
evalue_read_par
t
ition: put p
a
rtitions back
in the same
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sve
n
Verdoolae
g
e
e
v
alue:
reduce_evalue: add
note on some misse
d
opportunit
i
e
s
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
S
ven Verdoo
l
aege
berns
t
ein
.
cc: h
a
ndle i
n
p
u
t wit
h
unions + rela
t
io
n
violated
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoolaege
maximize
.
cc
:
de
a
l wit
h
unions
in
i
n
p
ut
d
u
ring
verifi
c
at
i
on
commit
|
commitdiff
|
tree
2008-03-10
S
v
e
n Ve
r
d
oolaege
evalu
e
_substitute: p
r
operly handle r
e
lati
o
n
s
commit
|
commitdiff
|
tree
2008-03-10
Sv
e
n Ve
r
doolaege
evalue
.
c: clean up emul
a
nd
e
add
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoolaege
evalue_read: correct
l
y read varia
b
le n
a
mes
commit
|
commitdiff
|
tree
2008-03-10
S
ven Verdoolaege
evalue
_
read: acce
p
t
top level "relation"
commit
|
commitdiff
|
tree
2008-03-10
S
v
e
n Verdo
o
la
e
ge
update polylib
commit
|
commitdiff
|
tree
2008-02-29
S
v
en Ve
r
doolaege
eval
u
e_backsubstitute:
add
requir
e
d modulo
constra
i
nts
commit
|
commitdiff
|
tree
2008-02-26
Sven Verdoolaege
evalue
.
c: *_partitions: simp
l
ify c
o
nstrai
n
ts
befor
e
.
.
.
commit
|
commitdiff
|
tree
2008-02-01
S
v
e
n Verdoolaege
d
o
c: more specifi
c
info
r
mation on buggy cddl
i
b versions
commit
|
commitdiff
|
tree
2008-01-28
Sven Verdoolaege
con
f
igure
.
i
n
: req
u
ire c
d
dlib 0
.
9
4e
by testing fo
r
bu
g
.
.
.
commit
|
commitdiff
|
tree
2008-01-18
Sven
V
e
r
d
o
o
l
a
eg
e
configure
.
in:
o
nly
c
om
p
ile occ if code_g
e
n
l
ibrary
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven
V
e
r
doolaege
barvino
k
0
.
26
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdool
a
ege
ad
d
some tests
for implementation
o
f project
i
on th
e
o
r
e
m
commit
|
commitdiff
|
tree
2008-01-16
Sv
e
n Ve
r
d
o
olaege
do
c
:
d
o
c
ument new
op
t
io
n
s and
n
ew
applications
commit
|
commitdiff
|
tree
2008-01-16
S
v
en Ve
r
do
o
laege
AUTHORS: update support inform
a
t
i
on
commit
|
commitdiff
|
tree
2008-01-16
S
v
en Ver
d
oola
e
ge
genfu
n
.
cc
:
short_rat::print: correctly p
r
in
t
p
o
ly
n
omials
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoola
e
ge
Exp
o
rt ser
i
es as ba
r
vinok_
e
nu
m
era
t
e_series and use
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
re
m
ove_parameter_eq
u
alities: s
t
op "rem
o
ving" equa
l
ities
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoo
l
aeg
e
s
e
r
i
es: leave freeing of P ar
g
u
ment to
c
all
i
ng
f
un
c
t
i
on
commit
|
commitdiff
|
tree
2008-01-16
Sve
n
Verdoolaeg
e
doc: doc
u
ment impl
e
mentation of the pr
o
j
e
ction the
o
rem
commit
|
commitdiff
|
tree
2008-01-16
S
v
en
V
erdoolaege
add bar
v
inok_enum
e
rate_e_series
i
mple
m
en
t
i
n
g the projection
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Ve
r
doolaege
g
e
nfun
.
c
c:
f
i
x
a
n
d do
c
ume
n
t paral
l
el poly
t
opes class
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoola
e
g
e
Move
GiN
a
C
-
i
n
d
e
p
endent p
a
r
t
o
f library
t
o barvinok
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven
Verdoolae
g
e
p
o
lylib: update
commit
|
commitdiff
|
tree
2007-11-22
Sven Verdoolaege
doc: how
to
count
t
he n
u
mber
of elements in possibly
.
.
.
commit
|
commitdiff
|
tree
2007-11-22
Sven Verdoolaege
d
oc/im
p
lemen
t
ation
.
tex: avoid
m
ulti
p
ly defined label
commit
|
commitdiff
|
tree
2007-11-21
Sve
n
Verd
o
ol
a
e
ge
lattice_width
.
c: try
v
ertices of p
r
eviou
s
int
e
ger
h
u
lls
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdoolaege
doc: docum
e
n
t intege
r
hul
l
computati
o
n
commit
|
commitdiff
|
tree
2007-11-21
Sven
V
erdoolaege
hull
.
c: add
all po
i
nts found by samp
l
ing directly to
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdool
a
ege
Possib
l
e
optimizations
for generalize
d
basis r
e
duction
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdo
o
laege
Sup
p
o
r
t
u
se of generalized basis r
e
duction to compute
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdo
o
lae
g
e
a
dd
P
olyhedron_In
t
eger_M
i
nimum
f
or computing
t
h
e integer
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sve
n
Verd
o
olaeg
e
d
o
c: document generalized basis
r
eduction based integer
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdoolaege
doc/barvi
n
ok
.
bib:
add missing
st
r
ing
commit
|
commitdiff
|
tree
2007-11-17
Sven Verdoolaege
add m
o
re mis
s
ing
as
s
ert
.
h #inc
l
udes
commit
|
commitdiff
|
tree
2007-11-15
Sven Verdoolaege
co
n
f
ig
u
re
.
in:
o
nly com
p
ile libbarvinok
as a static
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sve
n
Ve
r
d
o
olaege
Polyhedron_Red
u
c
e
d
_
B
asis: don't
s
top too
e
a
rly when
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sven
Verdoolaege
compute_wi
d
th_direction
s
: only k
e
ep list of distinct
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
S
v
en Verdoolaege
zsolve: don't instal
l
libr
a
ry
commit
|
commitdiff
|
tree
2007-11-08
Sven Ve
r
doola
e
g
e
v
e
rsion
.
c: sh
o
w use of TOPCOM
commit
|
commitdiff
|
tree
2007-11-08
S
ven Verd
o
ola
e
ge
confi
g
ure
.
i
n: don'
t
set with_
{
poly,pi
p
}
l
ib
_
prefix from
.
.
.
commit
|
commitdiff
|
tree
2007-11-08
Sven Verdoolaege
Polyhedron_Sample: be sa
t
i
sfied wit
h
a
reasonabl
e
c
hoice
.
.
.
commit
|
commitdiff
|
tree
2007-11-08
Sve
n
Verd
o
olaege
cone_integer_hul
l
: optionally print stats
commit
|
commitdiff
|
tree
2007-11-08
Sven Ve
r
d
o
olaege
basi
s
_reduction: keep
t
rack of number of L
P
s solved
commit
|
commitdiff
|
tree
2007-11-08
Sven
Verdool
a
ege
options:
move --print-stats t
o
lib
r
ary
commit
|
commitdiff
|
tree
2007-11-07
Sven Ver
d
oolaege
be
r
nstein: rework testi
n
g fr
a
m
ewor
k
to
not depend on
.
.
.
commit
|
commitdiff
|
tree
2007-11-07
Sven Verdoola
e
ge
berns
t
ein: ad
d
piecewi
s
e
_
l
st::is_equal
commit
|
commitdiff
|
tree
2007-11-07
Sven Ve
r
doolaege
support newer version
s
of GiNaC (>= 1
.
3
.
8)
commit
|
commitdiff
|
tree
2007-11-07
S
ven Verdoolaege
stand
a
rd_con
s
tr
a
i
n
ts: mo
v
e
from topcom
.
c to polysign
.
c
commit
|
commitdiff
|
tree
2007-11-07
Sven Verdoo
l
aeg
e
polysign
.
h: remove
depend
e
ncy on lexmin
.
h
commit
|
commitdiff
|
tree
2007-11-07
S
v
en Verdoolaeg
e
zsol
v
e: add
banner
.
h to
d
ist
r
ibution
commit
|
commitdiff
|
tree
2007-11-06
S
ven
V
e
r
d
ool
a
ege
P
o
lyh
e
dron_Latti
c
e_Width_Directions: p
r
int progre
s
s
.
.
.
commit
|
commitdiff
|
tree
2007-11-06
Sven Ve
r
doolaege
b
a
si
s
_reductio
n
_
p
ip: abort on
invalid (empty) i
n
pu
t
.
.
.
commit
|
commitdiff
|
tree
2007-11-02
Sven Verdoola
e
g
e
RE
A
DM
E
:
e
xplain how to g
e
t submodules
commit
|
commitdiff
|
tree
2007-11-02
S
v
e
n
V
erdo
o
laege
doc: do
c
ument latt
i
c
e width compu
t
ation
commit
|
commitdiff
|
tree
2007-11-02
Sven Ver
d
oolaege
som
e
lattic
e
width tests from Jon Yaggie
commit
|
commitdiff
|
tree
2007-11-01
Sven Verdool
a
ege
P
o
lyhedron_Latt
i
ce_
W
idth: decid
e
on fa
c
ets to
c
lose
.
.
.
commit
|
commitdiff
|
tree
2007-11-01
Sven Verdool
a
ege
add P
o
lyhedro
n
_L
a
ttice_Width for compu
t
ing lattice
.
.
.
commit
|
commitdiff
|
tree
2007-11-01
Sve
n
Ver
d
oolaege
h
i
lb
e
rt
.
c: add
Cone_Integer_Hull for compu
t
ing ver
t
i
ces
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven Ve
r
doolaege
p
o
lysign: add pip-bac
k
ed
version
commit
|
commitdiff
|
tree
2007-10-31
Sv
e
n Ver
d
o
o
la
e
ge
polysign
:
add
c
onstraints_op
t
to compu
t
e op
t
imum
over
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
polysign_cdd: switch to use
o
f
M
a
t
rix repre
s
entation
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven V
e
rdoolaege
poly
s
ign_glpk
:
sw
i
tch to use of Matrix
representa
t
ion
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
S
v
en
V
erdo
o
l
a
ege
doc: document computation of Hilbert bas
i
s of a co
n
e
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoola
e
ge
Con
e
_H
i
l
be
r
t_
B
asis: use standa
r
d_con
s
traint
s
to avoid
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
S
v
en
V
er
d
oo
l
aege
Us
e
z
s
olve to compute Hilb
e
rt basis of a
c
on
e
commit
|
commitdiff
|
tree
2007-10-31
Sven
Ve
r
doolaege
compile zsolve
commit
|
commitdiff
|
tree
2007-10-31
S
v
en Verdoolaege
zsolve
:
d
o
n't install
headers and execut
a
ble
s
commit
|
commitdiff
|
tree
2007-10-31
S
ven Ver
d
o
o
l
aege
z
s
olve:
initialize Bac
k
u
p
Time in
ZSolveCont
e
x
t
commit
|
commitdiff
|
tree
2007-10-31
Sven
V
erdoolaege
zs
o
lve: zsolveSystem: add
m
issing verbosity check
commit
|
commitdiff
|
tree
2007-10-31
S
ven Ve
r
doolaege
zsol
v
e
:
override LIBS from top leve
l
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdo
o
laege
add 4ti2-1
.
3
.
1+autoc
o
nf-0
.
1 banner
commit
|
commitdiff
|
tree
2007-10-31
S
v
en Verdoo
l
ae
g
e
ad
d
zsolve from 4ti2-1
.
3
.
1+autoc
o
nf
-
0
.
1
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
param_util
.
c:
e
x
port bit_vector_count
commit
|
commitdiff
|
tree
2007-10-31
Sven Ve
r
doolaege
t
o
pcom
.
c: extrac
t
p
a
r
t
of co
d
e for set
t
in
g
up sta
n
d
a
rd
.
.
.
commit
|
commitdiff
|
tree
2007-10-30
S
v
e
n Verdoolaege
gen_fun::Ha
d
amard_product: print progress indicat
o
r
.
.
.
commit
|
commitdiff
|
tree
2007-10-26
Sven
V
e
r
doola
e
ge
move
--ve
r
bose option t
o
library
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
erdoo
l
a
e
ge
gen_fun::summat
e
: hand
l
e f
u
ll specia
l
i
zation
commit
|
commitdiff
|
tree
2007-10-25
Sven
Ve
r
doolaege
R
e
pl
a
ce in
c
remen
t
al infi
n
i
te se
t
c
ounter by "regular
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
m
a
ke counter::add_falling_powers static
commit
|
commitdiff
|
tree
2007-10-25
Sven
Verdoolaege
merg
e
(most of) common p
a
rt
of counter and
t
count
e
r
commit
|
commitdiff
|
tree
next