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
barvinok_enumerate: integrate barvinok_series
2007-01-05
S
v
en Verdoo
l
ae
g
e
barvinok_en
u
merate: integr
a
t
e
barvinok_series
commit
|
commitdiff
|
tree
2007-01-05
Sven Verdoolaege
barvinok_enumerate: use a
r
gp
commit
|
commitdiff
|
tree
2007-01-05
Sven Verdoolaege
l
e
xmin: mak
e
lexmin opti
o
ns private
commit
|
commitdiff
|
tree
2007-01-05
S
v
en
Verdoola
e
ge
Revert
"bernstein/c
o
nfigure
.
i
n
: remove redundant cha
n
ge
.
.
.
commit
|
commitdiff
|
tree
2007-01-05
S
v
en Verdool
a
ege
barvinok
.
cc: make
u
se of sampli
n
g
f
or counting infinite
.
.
.
commit
|
commitdiff
|
tree
2007-01-05
Sven Verdool
a
e
g
e
barvinok_enumerate_e: resp
e
ct --tab
l
e option
commit
|
commitdiff
|
tree
2007-01-05
Sven Verdoolaeg
e
lexmin
.
cc: mo
v
e sel
e
ction of g
b
r solver
to o
p
tions
.
c
commit
|
commitdiff
|
tree
2007-01-05
S
v
en Verdoolaege
lex
m
in: use argp
commit
|
commitdiff
|
tree
2007-01-04
Sven V
e
r
d
o
o
l
aege
barvinok_enumerate_e: extr
a
ct o
u
t verification options
commit
|
commitdiff
|
tree
2007-01-04
Sven Verdoolaege
b
a
rvino
k
_enumerate_e: p
r
int warning wh
e
n --omega or
.
.
.
commit
|
commitdiff
|
tree
2007-01-04
Sv
e
n
Verdoo
l
aege
bernste
i
n
/
configur
e
.
in:
remove redundant change to
.
.
.
commit
|
commitdiff
|
tree
2007-01-04
Sven Verd
o
olaege
b
a
r
vino
k
/po
l
y
l
ib
.
h: d
e
f
i
ne value
_
subtract and
v
alue_addmul
.
.
.
commit
|
commitdiff
|
tree
2007-01-04
Sve
n
Verdoolaege
d
e
compos
e
r
.
cc: decompos
e
:
micro-optimi
z
ation
commit
|
commitdiff
|
tree
2007-01-04
S
v
en Verdoolaege
signed
_
cone: store
r
ays of cone
commit
|
commitdiff
|
tree
2007-01-03
Sv
e
n Ve
r
doo
l
aege
lexmin:
d
isable use of look
u
p-tab
l
es
commit
|
commitdiff
|
tree
2007-01-03
S
ven Ver
d
oolaege
barvin
o
k
_
enum
e
rate_e
.
cc: fix argp
o
ption
s
parser
commit
|
commitdiff
|
tree
2007-01-03
Sven Verdoolaege
o
p
tions
.
c: move choice of use of lo
o
kup-table to barvino
k
_op
.
.
.
commit
|
commitdiff
|
tree
2007-01-03
Sven Ve
r
doolaege
l
a
ttice_po
i
nt
.
cc: fix #ifndef USE_MODULO code
pa
t
h
commit
|
commitdiff
|
tree
2007-01-03
Sven Verdoolaege
decomposer
.
cc:
s
h
ort_vector: remove redundant code
commit
|
commitdiff
|
tree
2007-01-03
Sv
e
n
Verdo
o
laege
deco
m
p
oser
.
cc: short_
v
e
c
tor: ne
g
at
e
lambda if z i
s
.
.
.
commit
|
commitdiff
|
tree
2007-01-03
Sven Verdoolaege
barvi
n
o
k
.
cc:
s
eries: only req
u
ire
r
a
ys to be revlex
.
.
.
commit
|
commitdiff
|
tree
2007-01-03
Sv
e
n Verdoo
l
aege
barvin
o
k
.
c
c:
s
eries: pass f
u
l
l
options
to barvinok_count
commit
|
commitdiff
|
tree
2007-01-03
S
ven Verdoolaege
np_base::
h
a
ndle: pass around rays matrix instead of
.
.
.
commit
|
commitdiff
|
tree
2007-01-03
Sv
e
n Ver
d
oolaege
de
c
omp
o
ser
.
cc: sup
p
ort p
r
imal decomposition
commit
|
commitdiff
|
tree
2007-01-03
Sven Verdoolaege
dec
o
mposer
.
cc: barvino
k
_deco
m
pose:
impleme
n
t
in terms
.
.
.
commit
|
commitdiff
|
tree
2007-01-03
Sve
n
V
e
r
d
oo
l
a
e
ge
barvinok_enume
r
ate: respect increment
a
l_specializ
a
t
io
n
.
.
.
commit
|
commitdiff
|
tree
2007-01-03
S
v
en Ver
d
oolaege
introd
u
ce signed_cone struct
commit
|
commitdiff
|
tree
2007-01-03
Sve
n
Verdool
a
eg
e
separa
t
e out deco
m
position
commit
|
commitdiff
|
tree
2007-01-03
Sven Ver
d
oolaege
t
est:
u
se a
r
gp
p
arser
commit
|
commitdiff
|
tree
2006-12-28
Sve
n
Verdoo
l
a
e
ge
upd
a
te argp from gnu
l
ib and
add
progn
a
m
e
modu
l
e
commit
|
commitdiff
|
tree
2006-12-27
Sven Verd
o
olaeg
e
b
arvin
o
k_enumerate_
e
.
cc: don't exit on unrecognized
.
.
.
commit
|
commitdiff
|
tree
2006-12-27
Sven Ver
d
oo
l
aege
lib
/
arg
p
.
h: re
m
ove _
_
N
T
H fo
r
__a
r
gp_us
a
ge inline fu
n
ction
commit
|
commitdiff
|
tree
2006-12-27
S
ven Verdoolaege
barvino
k
_enumerate_e
.
cc: remov
e
another du
p
licate definition
.
.
.
commit
|
commitdiff
|
tree
2006-12-27
Sven Verdoolaege
barvinok_en
u
merate_e: use arg
p
parser
commit
|
commitdiff
|
tree
2006-12-27
Sven Ve
r
doolaege
b
arvin
o
k_c
o
unt: use argp parser
commit
|
commitdiff
|
tree
2006-12-26
S
v
en Verdoolaege
optio
n
s
.
c: add argp p
a
rse
commit
|
commitdiff
|
tree
2006-12-26
Sv
e
n
Verdoolaege
ad
d
ar
g
p from
g
nulib
commit
|
commitdiff
|
tree
2006-12-26
Sven Verdoo
l
a
ege
scarf
.
cc:
make compatible
w
ith olde
r
versions of
Pol
y
Lib
commit
|
commitdiff
|
tree
2006-12-26
Sven
V
erdoolaege
add missi
n
g assert
.
h #i
n
c
ludes
commit
|
commitdiff
|
tree
2006-12-26
Sven Verdoolaege
Makefile
.
am:
a
dd remove_equalities
.
h to distribut
i
on
commit
|
commitdiff
|
tree
2006-12-26
Sven Verdoolaege
conf
i
gure
.
in: onl
y
configure bernstein if GiNaC was
.
.
.
commit
|
commitdiff
|
tree
2006-12-22
Sve
n
V
erdoolaege
ber
n
stein:
c
onfigu
r
e
.
in:
c
heck
for GiNa
C
commit
|
commitdiff
|
tree
2006-12-19
S
v
en Ver
d
o
o
lae
g
e
bern
s
tein:
remove extra qu
a
lifi
c
at
i
ons f
r
om p
o
ly
n
o
m
ial
.
.
.
commit
|
commitdiff
|
tree
2006-12-19
Sven
V
erdoolaege
b
ernstein/src/main
.
cpp: re
m
ove redundant incl
u
de
commit
|
commitdiff
|
tree
2006-12-18
Sv
e
n
V
e
rdoolaege
short_rat:
:
normaliz
e
:
m
ake
p
owers in the denomi
n
ator
.
.
.
commit
|
commitdiff
|
tree
2006-12-18
Sven Ve
r
doo
l
aege
gen_fun::
s
u
b
stitute:
n
ormalize terms
commit
|
commitdiff
|
tree
2006-12-18
Sven Ve
r
doolaeg
e
dpoly_r:
s
t
o
re
t
erms in a set ra
t
h
e
r than in a
v
ect
o
r
commit
|
commitdiff
|
tree
2006-12-18
Sve
n
Verdoola
e
ge
gen_fun:
store terms in a set
rat
h
er than in
a
vector
commit
|
commitdiff
|
tree
2006-12-11
Sven
Ve
r
d
ool
a
ege
lexmin: allo
w
emptines
s
check thr
o
ugh counting
commit
|
commitdiff
|
tree
2006-12-11
Sven Verdoola
e
ge
lexmin
.
cc: move const
r
uction of subdomains to edomain
.
cc
commit
|
commitdiff
|
tree
2006-12-11
Sven Verdoola
e
ge
edom
a
in
.
cc: move sampl
e
c
o
mputation
c
ompletely
t
o EDom
a
in
commit
|
commitdiff
|
tree
2006-12-11
Sven Verdoolaege
l
e
xmi
n
.
c
c:
partial_order::compare: use su
b
stitution
.
.
.
commit
|
commitdiff
|
tree
2006-12-11
Sven V
e
rd
o
o
l
aege
lexmin
.
cc: indicator::combine: more ef
f
icient way of
.
.
.
commit
|
commitdiff
|
tree
2006-12-11
Sven Verdoolaege
lex
m
in
.
cc: keep heads in p
a
rtial ord
e
r separate
commit
|
commitdiff
|
tree
2006-12-11
Sven Verdoolae
g
e
edomain
.
cc: EDoma
i
n::a
d
d_ge_
c
onstrai
n
t: simplify new
.
.
.
commit
|
commitdiff
|
tree
2006-12-11
Sven Verdoolaege
l
exmin
.
cc: par
t
ial
_
order::compare: add
c
ach
e
of comparison
.
.
.
commit
|
commitdiff
|
tree
2006-12-11
Sven Verdoolaege
l
exmi
n
: make sur
e
le set in partial
o
rder o
n
l
y
c
o
n
tains
.
.
.
commit
|
commitdiff
|
tree
2006-12-11
Sven Verd
o
ol
a
ege
lexmin: more sani
t
y checks
commit
|
commitdiff
|
tree
2006-12-11
Sven
V
erdoolaeg
e
lemxin: use sta
b
le order
i
ng of
i
ndi
c
ator_terms in partial_o
r
.
.
.
commit
|
commitdiff
|
tree
2006-12-11
Sven
Verdoo
l
aege
g
enfun
.
cc: move
l
e
x_c
m
p to ma
t
_u
t
il
.
cc
commit
|
commitdiff
|
tree
2006-12-11
Sven Verdoolaege
lexmin: indi
c
ato
r
::combine: directl
y
add some known
.
.
.
commit
|
commitdiff
|
tree
2006-12-11
Sven Ver
d
oolaege
barvino
k
/
po
l
ylib
.
h: separate include
o
f
poly
l
i
b header
commit
|
commitdiff
|
tree
2006-12-09
Sven
V
erdool
a
ege
lexm
i
n: optionally comp
u
t
e sign of affine
f
u
nc
t
i
o
n
.
.
.
commit
|
commitdiff
|
tree
2006-12-09
Sv
e
n Verdoola
e
ge
l
e
x
min: opti
o
n
a
lly s
k
ip red
u
ction of evalues in domains
commit
|
commitdiff
|
tree
2006-12-09
Sven Verdoola
e
ge
ev
a
lue_frac2floor: only make argument no
n
n
e
gative
i
f
.
.
.
commit
|
commitdiff
|
tree
2006-12-09
Sven
Ve
r
doola
e
g
e
l
e
xmin:
P
oly
h
edron_no
t
_
e
mpty: be careful a
b
out empty
.
.
.
commit
|
commitdiff
|
tree
2006-12-09
S
ve
n
Verdoolaege
lexmin
:
indicator_t
e
rm::is
_
opp
o
s
ite: assu
m
e n
u
merators
.
.
.
commit
|
commitdiff
|
tree
2006-12-09
Sven Verdoolaege
remove_all_equal
i
ties: handle
compress_va
r
iables returning
.
.
.
commit
|
commitdiff
|
tree
2006-12-09
S
ven Ve
r
dool
a
e
ge
lexmin:
o
ptionally use
cd
d
during b
a
sis
r
eduction
commit
|
commitdiff
|
tree
2006-12-09
Sven
V
er
d
oo
l
aege
Polyhedr
o
n_Reduced_Basis: optiona
l
ly
use cdd
t
o
s
olve
.
.
.
commit
|
commitdiff
|
tree
2006-12-09
Sven Verdoolaege
con
f
igur
e
.
i
n
:
c
he
c
k
for c
d
dlib
commit
|
commitdiff
|
tree
2006-12-09
S
v
en
Verdoolaege
lexm
i
n: Polyhed
r
on
_
not_empty:
continue
r
e
m
oving equalities
commit
|
commitdiff
|
tree
2006-12-09
Sven Verdoolaege
lexmi
n
:
h
an
d
le equalities among
par
a
m
eters
commit
|
commitdiff
|
tree
2006-12-09
Sven Verdoolaege
remove
_
all_equal
i
t
ies: ignore identity parameter compr
e
ssio
n
commit
|
commitdiff
|
tree
2006-12-09
S
ven Ve
r
doolaeg
e
remov
e
_
e
q
ua
l
i
t
ies
.
c: ex
t
racte
d
from
b
arvinok
.
c
c
commit
|
commitdiff
|
tree
2006-12-09
Sv
e
n Verdoola
e
ge
genfun: add sho
r
t_rat::normalize
commit
|
commitdiff
|
tree
2006-12-09
Sven Verdoolaege
genf
u
n:
ad
d
sh
o
rt_rat con
s
tructors
commit
|
commitdiff
|
tree
2006-12-09
Sven Verdoolaege
ev
a
lu
e
.
c: evalue_deno
m
: improve com
m
ent
commit
|
commitdiff
|
tree
2006-12-09
S
v
en
V
er
d
oolaege
l
e
x
min: Polyhedron_not_empty: check result
r
eturn
e
d
.
.
.
commit
|
commitdiff
|
tree
2006-12-07
S
v
en Verdoolae
g
e
barvinok
.
cc:
s
e
r
i
es: r
e
move
e
qual
i
ties using
Preimage
.
.
.
commit
|
commitdiff
|
tree
2006-12-07
Sven V
e
rdoolaeg
e
barvinok_count
:
collect s
t
ats on n
u
m
b
e
r
of
unimod
u
lar
.
.
.
commit
|
commitdiff
|
tree
2006-12-07
Sven Ve
r
do
o
laege
u
t
il
.
c: tr
i
angulate_cone: use bigger random
v
alues
commit
|
commitdiff
|
tree
2006-12-07
Sv
e
n Verd
o
olaege
sample
.
c:
Po
l
yhedron_Re
m
oveFixedColumns: copy co
n
stan
t
s
.
.
.
commit
|
commitdiff
|
tree
2006-12-06
Sven Verdo
o
laege
bernst
e
in:
piecewise_lst::eva
l
uate: fix typo
commit
|
commitdiff
|
tree
2006-12-06
Sve
n
Ver
d
oolaege
configure
.
in:
only ad
d
-lber
n
stein
to
b
ar
v
inok
.
pc
if
.
.
.
commit
|
commitdiff
|
tree
2006-11-13
Sven Verdoolaege
configur
e
.
in
:
r
ename
--with-ginac to --witho
u
t
-
b
e
rnste
i
n
commit
|
commitdiff
|
tree
2006-11-10
Sven Verdoolaege
confi
g
ure
.
in: allow build without GiNaC (and therefore
.
.
.
commit
|
commitdiff
|
tree
2006-11-10
S
v
en Ve
r
dool
a
ege
c
o
nfigur
e
.
in: ad
d
-
l
b
e
rnstein to barvinok
.
pc if
it
.
.
.
commit
|
commitdiff
|
tree
2006-11-09
Sven Verdoolaege
util
.
c: compr
e
ss_variab
l
es: correct check for scaling
commit
|
commitdiff
|
tree
2006-11-09
Sven
V
erdoolaege
ut
i
l
.
c: so
m
e document
a
t
i
on for co
m
press_variables
commit
|
commitdiff
|
tree
2006-11-09
Sve
n
Verdoo
l
aege
verif
_
ehrha
r
t: add --pr
i
nt-all option to
replac
e
PRI
N
T_ALL_R
.
.
.
commit
|
commitdiff
|
tree
2006-11-09
Sve
n
Verdoolae
g
e
mat_util:
m
ake arguments of l
e
x_
c
mp const
commit
|
commitdiff
|
tree
2006-11-09
Sven Verdoolaege
ad
d
AUTH
O
RS fil
e
commit
|
commitdiff
|
tree
2006-10-31
Sven Verdo
o
l
a
ege
bump version
commit
|
commitdiff
|
tree
2006-10-31
S
ven Verdoolaege
Ma
k
efil
e
.
am: m
a
ke sure
c
orrect files a
r
e in
c
luded
i
n
.
.
.
commit
|
commitdiff
|
tree
2006-10-31
Sven
Verdoo
l
aeg
e
doc: mention restriction o
f
barvinok_enu
m
erate_scar
f
_series
commit
|
commitdiff
|
tree
2006-10-31
Sven
V
e
rdool
a
ege
do
c
: minimal
documenta
t
i
on for the lexmin app
l
ic
a
tion
commit
|
commitdiff
|
tree
2006-10-31
Sven Verdoolaege
ber
n
stein/configure
.
in: set AC_CONFI
G
_AUX_DIR to bernst
e
i
n
.
.
.
commit
|
commitdiff
|
tree
2006-10-31
Sven Verdoola
e
ge
d
oc: document polytope_sa
m
pl
e
commit
|
commitdiff
|
tree
2006-10-31
Sven Verdoolaeg
e
doc: do
c
u
m
ent polyhedron_s
a
mpl
e
commit
|
commitdiff
|
tree
next