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
scarf.cc: make compatible with older versions of PolyLib
2006-12-26
Sven Verdo
o
laege
s
c
arf
.
c
c
: make compati
b
le with older
versions of PolyLib
commit
|
commitdiff
|
tree
2006-12-26
Sven V
e
r
d
oolaege
add missing assert
.
h #includes
commit
|
commitdiff
|
tree
2006-12-26
Sven Verdoolaege
Ma
k
efil
e
.
a
m
: ad
d
remo
v
e_equaliti
e
s
.
h to distribu
t
ion
commit
|
commitdiff
|
tree
2006-12-26
Sven
Verdoolaege
configure
.
in: only c
o
n
f
ig
u
re be
r
nstein if GiNaC was
.
.
.
commit
|
commitdiff
|
tree
2006-12-22
Sven Verdoolaeg
e
berns
t
ein: con
f
igure
.
i
n: ch
e
ck fo
r
GiNaC
commit
|
commitdiff
|
tree
2006-12-19
S
ven
Verdoolaege
be
r
ns
t
ein: r
e
move extr
a
qualifications from pol
y
nomi
a
l
.
.
.
commit
|
commitdiff
|
tree
2006-12-19
Sve
n
Verdoolaege
b
ernst
e
in/src/main
.
c
p
p: rem
o
ve
r
edund
a
nt inc
l
ude
commit
|
commitdiff
|
tree
2006-12-18
Sven Verdoolaege
short_ra
t
:
:norm
a
l
i
ze:
m
ake power
s
in the d
e
no
m
ina
t
or
.
.
.
commit
|
commitdiff
|
tree
2006-12-18
Sven Ve
r
d
o
olae
g
e
gen_fu
n
::su
b
sti
t
ute:
n
ormalize terms
commit
|
commitdiff
|
tree
2006-12-18
Sven Verdoolaege
dpoly_r: store
term
s
i
n
a
set
rather
than in a vector
commit
|
commitdiff
|
tree
2006-12-18
Sven Verdoolaege
g
e
n_fun: store ter
m
s in a
s
et rat
h
er t
h
an in a vector
commit
|
commitdiff
|
tree
2006-12-11
Sven Verdoolaege
lex
m
in
:
allow emptiness ch
e
ck through counting
commit
|
commitdiff
|
tree
2006-12-11
Sv
e
n Ve
r
d
oolaeg
e
lexm
i
n
.
cc:
m
ove
const
r
uction
o
f subd
o
mains to
e
dom
a
in
.
cc
commit
|
commitdiff
|
tree
2006-12-11
Sven Verdoolaege
ed
o
main
.
cc: move sam
p
l
e
c
omputation completel
y
to EDomain
commit
|
commitdiff
|
tree
2006-12-11
Sven
Verdool
a
ege
lex
m
i
n
.
cc: partia
l
_order
:
:
compare: use substituti
o
n
.
.
.
commit
|
commitdiff
|
tree
2006-12-11
Sve
n
Verdoolaege
lex
m
in
.
cc: i
n
d
i
cator::
c
ombine
:
more efficient wa
y
of
.
.
.
commit
|
commitdiff
|
tree
2006-12-11
Sven Verd
o
ol
a
e
ge
le
x
min
.
c
c
: keep heads
in
partial o
r
der se
p
arate
commit
|
commitdiff
|
tree
2006-12-11
Sven Verdoolaege
e
d
omain
.
cc: EDom
a
in::add_ge_constrai
n
t: simp
l
ify new
.
.
.
commit
|
commitdiff
|
tree
2006-12-11
Sven
V
e
rdoolaege
lexmin
.
c
c
:
parti
a
l_o
r
de
r
::compare:
a
dd cache
o
f comparison
.
.
.
commit
|
commitdiff
|
tree
2006-12-11
Sven Ve
r
dool
a
ege
lexmin: make
s
ure l
e
s
e
t in partial order o
n
ly
contains
.
.
.
commit
|
commitdiff
|
tree
2006-12-11
S
v
en
Verdoolaege
lexm
i
n:
more sanity check
s
commit
|
commitdiff
|
tree
2006-12-11
S
ven Verdool
a
ege
lemxin: use stable
o
rd
e
rin
g
of i
n
dicator
_
terms i
n
partial_or
.
.
.
commit
|
commitdiff
|
tree
2006-12-11
S
ven
V
er
d
oolaeg
e
genfun
.
c
c
: m
o
ve lex_cmp
to mat_util
.
cc
commit
|
commitdiff
|
tree
2006-12-11
Sven Verdoolae
g
e
lexmin: indicator::comb
i
n
e:
directly ad
d
so
m
e
known
.
.
.
commit
|
commitdiff
|
tree
2006-12-11
Sven
V
erdoo
l
aege
b
a
rvinok/polyli
b
.
h
:
separa
t
e in
c
lude of
polylib
h
e
ader
commit
|
commitdiff
|
tree
2006-12-09
S
ven Verdoolaege
lexmin: optionally co
m
p
ute sign
o
f affine fu
n
ction
.
.
.
commit
|
commitdiff
|
tree
2006-12-09
Sven
V
e
rdoolaeg
e
lexmin: opti
o
n
a
lly skip red
u
ction
o
f
evalues in domains
commit
|
commitdiff
|
tree
2006-12-09
Sven
Verdoolaeg
e
e
value
_
fra
c
2floor: onl
y
make argument non
n
egative if
.
.
.
commit
|
commitdiff
|
tree
2006-12-09
Sven
V
erdoola
e
g
e
lexmin:
Poly
h
edro
n
_not_empt
y
: be careful abo
u
t empty
.
.
.
commit
|
commitdiff
|
tree
2006-12-09
Sven
V
erdoolaege
l
e
xmin: indicator_term::is
_
o
pposite:
assume numerators
.
.
.
commit
|
commitdiff
|
tree
2006-12-09
Sven
Verdoolaeg
e
remov
e
_
all
_
e
q
ual
i
ties: handle compre
s
s_variables returning
.
.
.
commit
|
commitdiff
|
tree
2006-12-09
S
v
en V
e
r
d
oolaege
lexmin: optionally use cdd during
b
asi
s
reduction
commit
|
commitdiff
|
tree
2006-12-09
Sve
n
Verdo
o
laege
Pol
y
hedron_Reduced_Basis: optionally use c
d
d
t
o solve
.
.
.
commit
|
commitdiff
|
tree
2006-12-09
S
v
en Verdoolaege
config
u
re
.
in: check for cddlib
commit
|
commitdiff
|
tree
2006-12-09
Sven Verdoola
e
ge
lex
m
in: P
o
lyhedron
_
not_empty: cont
i
n
ue removing equalities
commit
|
commitdiff
|
tree
2006-12-09
Sven Verdoolaege
l
e
xmi
n
: ha
n
dle equalities among
p
a
ramete
r
s
commit
|
commitdiff
|
tree
2006-12-09
Sven Verd
o
olae
g
e
remove_all_e
q
ualities: ignore identi
t
y pa
r
a
meter compression
commit
|
commitdiff
|
tree
2006-12-09
Sven Verdool
a
ege
remove_eq
u
alit
i
es
.
c: extracted
f
rom
b
arvinok
.
cc
commit
|
commitdiff
|
tree
2006-12-09
Sven Verdo
o
laege
genfun: add sh
o
rt_ra
t
::no
r
mali
z
e
commit
|
commitdiff
|
tree
2006-12-09
Sv
e
n Verdoolaege
genfun
:
add
sh
o
rt_ra
t
constructors
commit
|
commitdiff
|
tree
2006-12-09
S
ven Verdoolae
g
e
e
value
.
c
:
evalue_d
e
no
m
:
improve c
o
mment
commit
|
commitdiff
|
tree
2006-12-09
S
v
en Verdoolaege
lexmin: Polyhe
d
ron_not_em
p
ty
:
c
heck resul
t
r
eturned
.
.
.
commit
|
commitdiff
|
tree
2006-12-07
S
v
en V
e
r
d
oolaege
barvi
n
o
k
.
cc: series: remove e
q
ualities u
s
ing
Preimage
.
.
.
commit
|
commitdiff
|
tree
2006-12-07
S
v
en Verdoolaege
barv
i
nok_
c
ount: coll
e
ct s
t
a
t
s on n
u
mber of unimodular
.
.
.
commit
|
commitdiff
|
tree
2006-12-07
S
v
en Verdoolaege
uti
l
.
c: tr
i
a
ngulate_cone: use
b
i
gger ran
d
om values
commit
|
commitdiff
|
tree
2006-12-07
S
v
en Verdo
o
l
a
ege
sampl
e
.
c: Polyhedron
_
R
emoveFixedColumn
s
: copy
c
onstants
.
.
.
commit
|
commitdiff
|
tree
2006-12-06
Sven Verdo
o
l
a
ege
b
erns
t
ein: piecewise
_
lst::evalu
a
te: fix typo
commit
|
commitdiff
|
tree
2006-12-06
Sven
V
erdo
o
laege
configure
.
in
:
o
nly add -lbernstein
t
o barvin
o
k
.
p
c
if
.
.
.
commit
|
commitdiff
|
tree
2006-11-13
Sven Verdoolaege
configure
.
in: rename
-
-wit
h
-ginac t
o
-
-
without-bernstein
commit
|
commitdiff
|
tree
2006-11-10
S
ven Ve
r
doolaege
configure
.
in: allow build with
o
u
t
GiNaC (and
t
herefore
.
.
.
commit
|
commitdiff
|
tree
2006-11-10
Sven Verdoolaeg
e
configure
.
in: ad
d
-
l
b
e
rnstein to barvinok
.
pc if it
.
.
.
commit
|
commitdiff
|
tree
2006-11-09
Sv
e
n
Verd
o
olaege
util
.
c: compress_variables: co
r
rect che
c
k f
o
r scal
i
ng
commit
|
commitdiff
|
tree
2006-11-09
Sven
V
erdoolaege
uti
l
.
c:
s
ome documentation for compr
e
ss_variables
commit
|
commitdiff
|
tree
2006-11-09
S
v
en Verdoolaege
v
erif_eh
r
hart: add --print-all option
t
o replace PRINT_ALL_R
.
.
.
commit
|
commitdiff
|
tree
2006-11-09
Sve
n
V
erdoola
e
ge
mat_u
t
il: ma
k
e argum
e
nts
o
f
l
ex_
c
mp const
commit
|
commitdiff
|
tree
2006-11-09
Sven Ver
d
oo
l
a
ege
a
d
d
AU
T
H
ORS file
commit
|
commitdiff
|
tree
2006-10-31
Sven Verdoolaeg
e
bump ver
s
ion
commit
|
commitdiff
|
tree
2006-10-31
Sven Ve
r
doolaege
Makefile
.
a
m
:
make su
r
e corr
e
ct fil
e
s are included in
.
.
.
commit
|
commitdiff
|
tree
2006-10-31
Sve
n
Verdoo
l
aege
doc:
m
ention res
t
riction of barvinok_enumerate_scarf_serie
s
commit
|
commitdiff
|
tree
2006-10-31
Sven V
e
rdoolaege
doc: mi
n
im
a
l documentation for the lexmin application
commit
|
commitdiff
|
tree
2006-10-31
Sve
n
Verdoolaeg
e
bernstei
n
/configure
.
in: se
t
A
C
_CO
N
FIG_A
U
X_DIR to bernstein
.
.
.
commit
|
commitdiff
|
tree
2006-10-31
S
v
en Verdoolaege
doc: d
o
cument polytope_samp
l
e
commit
|
commitdiff
|
tree
2006-10-31
Sven Verdoolaege
doc:
document
polyhedron_s
a
mple
commit
|
commitdiff
|
tree
2006-10-31
Sven Verdoolaege
doc: incl
u
de barvinok librar
y
version in title
commit
|
commitdiff
|
tree
2006-10-31
Sven Verd
o
olaege
configure
.
in: f
i
x typo
commit
|
commitdiff
|
tree
2006-10-31
Sven Verdoolaege
doc:
b
ib: name Kevin M
.
Woods
consistently
commit
|
commitdiff
|
tree
2006-10-31
Sven
Verdoolaege
doc: d
o
cument
extra occ
opera
t
ions
commit
|
commitdiff
|
tree
2006-10-31
S
v
en Verdoolaege
doc: update
ge
n
_fun doc
u
mentation
commit
|
commitdiff
|
tree
2006-10-31
Sven Verdoolaege
d
oc
:
r
e
flect change
of
a
rgu
m
ent ty
p
e o
f
eadd
commit
|
commitdiff
|
tree
2006-10-31
Sv
e
n
Verd
o
olaege
d
o
c: document barvinok_en
u
m
erate
_
scarf
commit
|
commitdiff
|
tree
2006-10-31
Sven Verdoolaege
doc: add
a
nother paper refering to barvino
k
commit
|
commitdiff
|
tree
2006-10-31
Sv
e
n Verdoo
l
aeg
e
doc: typos
commit
|
commitdiff
|
tree
2006-10-31
Sven Ve
r
doolae
g
e
d
oc: doc
u
me
n
t bernstein
d
a
ta
structures
a
n
d
f
u
n
ctions
commit
|
commitdiff
|
tree
2006-10-31
Sv
e
n V
e
r
d
oo
l
aege
bernstein: piecewise_lst::si
m
plify_dom
a
ins:
add
M
axRays
.
.
.
commit
|
commitdiff
|
tree
2006-10-30
S
ven Verdoo
l
aege
b
er
n
stein: make poly argument of bern
s
t
e
i
nExpansion
.
.
.
commit
|
commitdiff
|
tree
2006-10-30
S
v
e
n
Ve
r
doola
e
g
e
reduc
e
r
.
h: only us
e
infi
n
i
te_icoun
t
er
w
hen dim==
1
commit
|
commitdiff
|
tree
2006-10-28
Sven Verdoolaege
doc: fix typo
commit
|
commitdiff
|
tree
2006-10-28
Sven Verdool
a
e
g
e
r
e
m
ove a few
du
p
licate
d
efinitio
n
s of MAXRA
Y
S
commit
|
commitdiff
|
tree
2006-10-28
S
v
e
n
V
e
r
doolaege
util
.
c: move
d
upl
i
c
a
t
e
Polyhedron_
R
ead
commit
|
commitdiff
|
tree
2006-10-28
Sven V
e
rdoolaege
barvinok
.
cc: add
_
with_optio
n
s version
o
f
b
arvinok_enumerate_
e
commit
|
commitdiff
|
tree
2006-10-28
Sven Ve
r
doolae
g
e
evalue
.
c: remove include
o
f c
o
nfig
.
h
commit
|
commitdiff
|
tree
2006-10-28
Sven Verdool
a
ege
version
.
c: show
u
s
e o
f
Ome
g
a, GLPK a
n
d G
i
NaC
commit
|
commitdiff
|
tree
2006-10-28
Sven
V
erdoolaege
ve
r
sion
.
c: move
b
arvino
k
_
version from uti
l
.
c
commit
|
commitdiff
|
tree
2006-10-28
Sven Verdoolae
g
e
doc: document Polyhedron_R
e
duced_Bas
i
s and Polyhe
d
ron_Sample
commit
|
commitdiff
|
tree
2006-10-27
Sven V
e
rdoo
l
aege
e
xport Polyh
e
dro
n
_Sam
p
le and P
o
lyhed
r
o
n
_Reduced_Basis
commit
|
commitdiff
|
tree
2006-10-27
Sven
V
erdoolaege
doc
:
rename "usage" sec
t
ion to "appli
c
ations" section
commit
|
commitdiff
|
tree
2006-10-27
Sven Ver
d
oolaeg
e
barvinok_option
s
: rename emptiness_check to lexmin
_
emptiness
.
.
.
commit
|
commitdiff
|
tree
2006-10-27
Sven Verdoolaege
doc: document barvinok_opti
o
ns
commit
|
commitdiff
|
tree
2006-10-27
Sven Ve
r
d
oolaege
scarf
.
cc:
e
xport
functions to libra
r
y
commit
|
commitdiff
|
tree
2006-10-27
S
v
en Ver
d
ool
a
ege
scarf
.
cc: us
e
barvino
k
_options instead of MaxRa
y
s
commit
|
commitdiff
|
tree
2006-10-27
Sven Verdoolae
g
e
b
ar
v
i
nok/ba
r
v
inok
.
h: expo
r
t _wi
t
h_options
v
ersions
.
.
.
commit
|
commitdiff
|
tree
2006-10-25
Sven Verdoola
e
ge
barvinok_enumerate_e: remove direct inc
l
ud
e
o
f
p
o
lylib
.
.
.
commit
|
commitdiff
|
tree
2006-10-25
Sven
Verdoolaege
b
e
rnstein: minim
a
l documen
t
atio
n
commit
|
commitdiff
|
tree
2006-10-25
Sve
n
V
erdool
a
ege
README: bernste
i
n
requires GiNaC
commit
|
commitdiff
|
tree
2006-10-25
Sve
n
Ver
d
oolaege
doc: add reference to ber
n
stein techreport
commit
|
commitdiff
|
tree
2006-10-25
S
ven V
e
rdoola
e
ge
Merge branch 'bernstein'
commit
|
commitdiff
|
tree
2006-10-25
S
v
en V
e
rdoolaege
bernstein/src/TODO: rem
o
ve;
e
veryth
i
ng has be
e
n done
commit
|
commitdiff
|
tree
2006-10-10
S
v
en Verdoolaege
d
oc: add
a
nother publication that refers to barvi
n
ok
commit
|
commitdiff
|
tree
2006-10-10
Sven Verdoolaege
LLL: use reduction
p
a
rameter 1 b
y
default
commit
|
commitdiff
|
tree
2006-10-07
Sven Verdool
a
ege
decomposer
.
cc: shor
t
_vecto
r
:
allo
w
speci
f
icat
i
on of
.
.
.
commit
|
commitdiff
|
tree
next