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
lemxin: use stable ordering of indicator_terms in partial_order sets
2006-12-11
Sven Verdoola
e
ge
l
e
mxin: use s
t
able
o
r
d
e
rin
g
of indicator_terms in pa
r
t
i
a
l
_or
.
.
.
commit
|
commitdiff
|
tree
2006-12-11
Sven Verdoolaege
genfun
.
c
c
: move lex_
c
mp to mat_util
.
cc
commit
|
commitdiff
|
tree
2006-12-11
Sven Verdoolaege
lex
m
in: indicator::co
m
bine: d
i
rectly add
s
ome kn
o
w
n
.
.
.
commit
|
commitdiff
|
tree
2006-12-11
Sven Verdo
o
l
aege
b
a
r
v
i
no
k
/polylib
.
h: separate i
n
c
l
ude
of polylib h
e
ader
commit
|
commitdiff
|
tree
2006-12-09
Sven Verdoolaege
l
e
xmin:
o
pt
i
o
nally compute sign of a
f
f
ine fun
c
tion
.
.
.
commit
|
commitdiff
|
tree
2006-12-09
Sven Verdoolaege
lexmin:
o
ptionally skip reduct
i
on
of evalues
in d
o
mains
commit
|
commitdiff
|
tree
2006-12-09
S
ven Verdoolaeg
e
evalue_frac2floor: only
make argument nonnega
t
ive if
.
.
.
commit
|
commitdiff
|
tree
2006-12-09
Sven
V
erdoolaege
lexmin: Polyh
e
dro
n
_not
_
empty: be care
f
ul abou
t
e
m
p
t
y
.
.
.
commit
|
commitdiff
|
tree
2006-12-09
Sv
e
n Verdool
a
ege
lex
m
in:
i
ndicator_term::
i
s_opposite: assume numerator
s
.
.
.
commit
|
commitdiff
|
tree
2006-12-09
Sven Verdoolaege
remove_
a
l
l
_
equa
l
ities: handle compre
s
s
_
v
a
r
iables
retur
n
ing
.
.
.
commit
|
commitdiff
|
tree
2006-12-09
Sven Ve
r
doolaege
lexmin: optionally
us
e
cdd during basis reduction
commit
|
commitdiff
|
tree
2006-12-09
Sven Ve
r
do
o
laege
Polyhedron_Reduced_Bas
i
s
: opt
i
onally use c
d
d
t
o solve
.
.
.
commit
|
commitdiff
|
tree
2006-12-09
S
ve
n
Verdool
a
e
g
e
c
onfigure
.
i
n
: check for
cddlib
commit
|
commitdiff
|
tree
2006-12-09
Sven Verdo
o
lae
g
e
lexmin: Polyhed
r
on_not_empty
:
continue re
m
oving equalities
commit
|
commitdiff
|
tree
2006-12-09
Sve
n
V
e
rdoolaege
l
exmin: handle equalities amon
g
param
e
ters
commit
|
commitdiff
|
tree
2006-12-09
Sve
n
Verdool
a
ege
remove_all_equa
l
it
i
es: ignore id
e
nt
i
ty parameter compr
e
ssio
n
commit
|
commitdiff
|
tree
2006-12-09
S
ve
n
Verdo
o
l
aege
re
m
ove_equalities
.
c: extracted
f
rom b
a
rvinok
.
cc
commit
|
commitdiff
|
tree
2006-12-09
Sven Ver
d
oolaege
g
e
n
fun: add sh
o
rt_rat::normalize
commit
|
commitdiff
|
tree
2006-12-09
Sve
n
Verdoolaege
genfun: add
short_rat constructors
commit
|
commitdiff
|
tree
2006-12-09
Sven Verdoolae
g
e
evalue
.
c: e
v
a
l
ue_denom: improve comment
commit
|
commitdiff
|
tree
2006-12-09
Sven Verdoolaege
lex
m
in: Pol
y
hedron_n
o
t_empty:
check result returned
.
.
.
commit
|
commitdiff
|
tree
2006-12-07
Sven V
e
rdoolaeg
e
b
arvinok
.
cc: series:
remove e
q
ualities u
s
i
n
g Preimage
.
.
.
commit
|
commitdiff
|
tree
2006-12-07
S
ven Ve
r
dool
a
ege
b
a
rvinok_co
u
nt: collect stats on number o
f
unimodular
.
.
.
commit
|
commitdiff
|
tree
2006-12-07
S
ve
n
Verdoolaege
u
til
.
c: tr
i
angulate_cone: use bigger ra
n
dom values
commit
|
commitdiff
|
tree
2006-12-07
Sven Ver
d
oolaege
sample
.
c: Polyhedr
o
n_RemoveFixedColumns: copy con
s
t
a
nts
.
.
.
commit
|
commitdiff
|
tree
2006-12-06
Sv
e
n Ve
r
d
oolaege
ber
n
st
e
in:
pi
e
c
e
wi
s
e_lst
:
:
e
v
a
l
uate: fix
t
y
po
commit
|
commitdiff
|
tree
2006-12-06
Sve
n
Verdoo
l
aege
c
o
n
f
i
gure
.
in: only add -lberns
t
ein
t
o barvinok
.
pc if
.
.
.
commit
|
commitdiff
|
tree
2006-11-13
Sven Ve
r
doolaege
confi
g
u
r
e
.
i
n
: rename --with-ginac to --withou
t
-bernstein
commit
|
commitdiff
|
tree
2006-11-10
Sven Verdoolaege
con
f
igure
.
in:
allow build without GiNaC (an
d
ther
e
fore
.
.
.
commit
|
commitdiff
|
tree
2006-11-10
Sven Ve
r
doolaege
con
f
igure
.
in:
add -lb
e
r
n
s
tein to barvi
n
ok
.
pc if it
.
.
.
commit
|
commitdiff
|
tree
2006-11-09
Sven Verd
o
ola
e
ge
ut
i
l
.
c
:
c
ompress_variables: co
r
r
ect ch
e
c
k
for scal
i
ng
commit
|
commitdiff
|
tree
2006-11-09
Sv
e
n Verdo
o
laege
util
.
c: some documentat
i
on for co
m
pre
s
s_variables
commit
|
commitdiff
|
tree
2006-11-09
Sven V
e
rdoolaege
verif_ehrh
a
rt: add --pr
i
nt-all option to replace
PRINT_ALL_R
.
.
.
commit
|
commitdiff
|
tree
2006-11-09
Sven Verdool
a
ege
m
at_util: make argument
s
of lex_cmp const
commit
|
commitdiff
|
tree
2006-11-09
Sven
Verdool
a
ege
add AUTHOR
S
file
commit
|
commitdiff
|
tree
2006-10-31
Sv
e
n Verdoolaege
bu
m
p version
commit
|
commitdiff
|
tree
2006-10-31
S
ven Verdoolaege
M
a
kefile
.
am
:
mak
e
s
ure
c
or
r
ect file
s
are included in
.
.
.
commit
|
commitdiff
|
tree
2006-10-31
Sve
n
V
e
rdoolaege
do
c
: mention restriction of barvinok
_
e
n
umerate_scarf_series
commit
|
commitdiff
|
tree
2006-10-31
S
ven Verdoolaege
doc: minim
a
l documen
t
a
tion for
the lexmin application
commit
|
commitdiff
|
tree
2006-10-31
Sven
V
erdoolaege
bernstei
n
/
configu
r
e
.
in: set AC_
C
ONFIG
_
AU
X
_DI
R
to
b
ernstei
n
.
.
.
commit
|
commitdiff
|
tree
2006-10-31
Sven Ve
r
doola
e
ge
doc: d
o
cume
n
t
polytope_s
a
m
p
l
e
commit
|
commitdiff
|
tree
2006-10-31
Sven
V
er
d
o
olaeg
e
doc
:
document polyhedron_sample
commit
|
commitdiff
|
tree
2006-10-31
Sven Verdoola
e
ge
doc: include
b
a
rvin
o
k library version in
titl
e
commit
|
commitdiff
|
tree
2006-10-31
Sven Verdoolaege
configure
.
in: fix
typo
commit
|
commitdiff
|
tree
2006-10-31
Sven Verdoo
l
aege
d
oc: bib: name Ke
v
in M
.
Woods consistently
commit
|
commitdiff
|
tree
2006-10-31
Sve
n
V
e
rdoolaege
d
oc: document ext
r
a occ operations
commit
|
commitdiff
|
tree
2006-10-31
Sven Verd
o
olaege
doc: upd
a
t
e
gen
_
fun d
o
cume
n
tation
commit
|
commitdiff
|
tree
2006-10-31
Sven Ver
d
oolaege
doc: refl
e
ct chang
e
of a
r
gu
m
ent t
y
pe of eadd
commit
|
commitdiff
|
tree
2006-10-31
Sven Verdool
a
e
g
e
doc: document barvinok_enu
m
erate_scarf
commit
|
commitdiff
|
tree
2006-10-31
Sven
V
er
d
oolaege
doc:
add another pap
e
r r
e
fering to barvin
o
k
commit
|
commitdiff
|
tree
2006-10-31
Sv
e
n
Verdoola
e
ge
doc: typos
commit
|
commitdiff
|
tree
2006-10-31
S
ven
V
erdoolaege
doc: documen
t
bernstein da
t
a
str
u
cture
s
and functions
commit
|
commitdiff
|
tree
2006-10-31
Sven Verdoolaege
bernstein: pie
c
ewise_lst::s
i
m
plify_domains:
a
dd MaxRays
.
.
.
commit
|
commitdiff
|
tree
2006-10-30
Sve
n
Ver
d
oolaege
bernstein:
m
ake poly
a
rgument of
b
e
r
ns
t
einExpansion
.
.
.
commit
|
commitdiff
|
tree
2006-10-30
Sven
Ver
d
o
ol
a
e
g
e
reducer
.
h: only use infinite_icoun
t
er w
h
en dim==1
commit
|
commitdiff
|
tree
2006-10-28
Sven
Ve
r
d
o
olaege
doc
:
fix ty
p
o
commit
|
commitdiff
|
tree
2006-10-28
Sve
n
Verdoolaege
re
m
ove a few dup
l
ica
t
e
definitions of MAXRAYS
commit
|
commitdiff
|
tree
2006-10-28
Sven Verdoolaege
util
.
c:
m
ove
duplicate Po
l
yhedron_Re
a
d
commit
|
commitdiff
|
tree
2006-10-28
Sven Verdoolae
g
e
barvinok
.
cc: ad
d
_with_o
p
tions version of b
a
r
vin
o
k_enumerate_e
commit
|
commitdiff
|
tree
2006-10-28
S
v
en
Verdoola
e
ge
evalue
.
c: rem
o
v
e
include of co
n
f
i
g
.
h
commit
|
commitdiff
|
tree
2006-10-28
Sven V
e
r
d
oolaege
v
er
s
ion
.
c: sh
o
w
use
o
f
Omega,
G
L
P
K and GiNaC
commit
|
commitdiff
|
tree
2006-10-28
S
v
en Verdoola
e
ge
ver
s
ion
.
c: mo
v
e
barvinok_
v
ersi
o
n
f
rom util
.
c
commit
|
commitdiff
|
tree
2006-10-28
Sven Verdo
o
lae
g
e
do
c
: doc
u
m
ent Polyhedron_Reduced_Basis
and Po
l
yhedr
o
n_Sample
commit
|
commitdiff
|
tree
2006-10-27
Sven
V
erdoola
e
ge
exp
o
rt Po
l
y
h
edron_Sample and Polyhedron_Reduced_Basis
commit
|
commitdiff
|
tree
2006-10-27
Sven Verdoolaege
doc:
rename "usage" section to "a
p
plic
a
tions"
section
commit
|
commitdiff
|
tree
2006-10-27
Sven Verd
o
olaege
b
a
rvinok_options: rename empti
n
ess_che
c
k to lexmin_emp
t
iness
.
.
.
commit
|
commitdiff
|
tree
2006-10-27
S
v
en Verdoolaege
d
o
c: documen
t
barvin
o
k_options
commit
|
commitdiff
|
tree
2006-10-27
S
v
en Verdoolae
g
e
scarf
.
cc:
export
f
u
nctions to library
commit
|
commitdiff
|
tree
2006-10-27
Sve
n
Verdoolaege
scarf
.
cc: use bar
v
in
o
k_options instead of Max
R
ays
commit
|
commitdiff
|
tree
2006-10-27
Sven
V
erdool
a
e
g
e
barvin
o
k/barvi
n
ok
.
h: export _wit
h
_op
t
i
ons ve
r
sion
s
.
.
.
commit
|
commitdiff
|
tree
2006-10-25
S
v
en Ve
r
doola
e
ge
barv
i
no
k
_enumerate_e: remove
d
irect
inclu
d
e of pol
y
lib
.
.
.
commit
|
commitdiff
|
tree
2006-10-25
Sven
V
e
r
dool
a
eg
e
bernstein: minimal
docu
m
entation
commit
|
commitdiff
|
tree
2006-10-25
Sve
n
Verdo
o
laege
README:
ber
n
ste
i
n r
e
qui
r
es GiNaC
commit
|
commitdiff
|
tree
2006-10-25
S
v
e
n Ve
r
doolaege
doc: add
r
ef
e
re
n
ce to bernstein techreport
commit
|
commitdiff
|
tree
2006-10-25
Sven
V
erdoolaege
Merge bra
n
ch 'bernst
e
in'
commit
|
commitdiff
|
tree
2006-10-25
Sven Ver
d
ool
a
ege
bernstein/src/TODO: r
e
m
o
v
e
; every
t
hing has
b
e
en done
commit
|
commitdiff
|
tree
2006-10-10
Sven Verdoolaege
doc: add
a
n
other
p
u
blica
t
ion that refers to barvino
k
commit
|
commitdiff
|
tree
2006-10-10
Sven Verdoolaeg
e
LLL: use re
d
uction parameter 1 by de
f
au
l
t
commit
|
commitdiff
|
tree
2006-10-07
Sven Verdoolaege
d
e
c
ompos
e
r
.
cc:
short_vector: allow speci
f
i
c
ation of
.
.
.
commit
|
commitdiff
|
tree
2006-10-07
Sven V
e
rdoo
l
a
ege
doc: a
d
d some more publicatio
n
s that refer
to
b
ar
v
inok
commit
|
commitdiff
|
tree
2006-10-02
S
v
en Verdoolaege
evalu
e
.
c: evalue_de
n
om:
d
eclare variable at st
a
rt of
.
.
.
commit
|
commitdiff
|
tree
2006-10-02
Sv
e
n
Ver
d
oolaege
evalue
.
c
:
expor
t
evalue_denom
commit
|
commitdiff
|
tree
2006-10-02
Sven Verdoolae
g
e
scarf
.
cc:
h
andle case where four constraints lead to
.
.
.
commit
|
commitdiff
|
tree
2006-10-02
Sv
e
n Verd
o
olaege
util
.
c: comp
r
ess_variables
:
declare variable at start
.
.
.
commit
|
commitdiff
|
tree
2006-09-29
Sven
V
erdoolaege
eva
l
ue
.
c:
c
opy (and adapt) copyrigh
t
statement
f
ro
m
.
.
.
commit
|
commitdiff
|
tree
2006-09-28
Sven Verdoolae
g
e
doc: add some references
to publicat
i
o
ns
commit
|
commitdiff
|
tree
2006-09-26
S
ven
V
e
rd
o
olaege
lexmi
n
.
c
c
: reenable opt
i
mization
of checking domains
.
.
.
commit
|
commitdiff
|
tree
2006-09-25
Sv
e
n V
e
r
doo
l
aege
e
value
.
c: clean
u
p in_doma
i
n
commit
|
commitdiff
|
tree
2006-09-25
Sven V
e
rdoolae
g
e
e
do
m
ain
.
cc: add
E
Domain:
:
c
o
ntains
commit
|
commitdiff
|
tree
2006-09-24
Sven Ve
r
d
o
o
l
aege
lexmin
.
c
c
:
max
_
t
erm
:
:
p
rint: pri
n
t
floors explici
t
ly
.
.
.
commit
|
commitdiff
|
tree
2006-09-24
Sven
Verdoolaeg
e
lexmin
.
c
c: disable p
o
ssibly
overzealous opti
m
i
z
a
t
ion
commit
|
commitdiff
|
tree
2006-09-23
Sven V
e
r
d
oolaege
edo
m
ain
.
cc: remem
b
er "constraint"
representation of
.
.
.
commit
|
commitdiff
|
tree
2006-09-23
Sve
n
Verdoolaege
r
e
d
uced
_
b
asis:
r
e
s
et "ne
g
ative widths" to zero
commit
|
commitdiff
|
tree
2006-09-23
S
ven Verdo
o
l
a
ege
le
x
m
in
.
cc: move more
c
ode
t
o
edomain
.
cc
commit
|
commitdiff
|
tree
2006-09-22
Sven Verdoolaege
edomain
.
h: add EDo
m
ain_fl
o
o
r abstract
i
on
commit
|
commitdiff
|
tree
2006-09-22
Sven Verdool
a
e
g
e
lex
m
in
.
cc: defi
n
e
m
ax_t
e
rm
over an ED
o
main ra
t
her t
h
an
.
.
.
commit
|
commitdiff
|
tree
2006-09-22
Sv
e
n Verd
o
o
l
aege
reducer
.
h: add virtual dest
r
uctor to np_base to avoid
.
.
.
commit
|
commitdiff
|
tree
2006-09-22
Sven
V
erdoola
e
ge
lexm
i
n
.
cc: extrac
t
o
u
t some code to evalue_util and
.
.
.
commit
|
commitdiff
|
tree
2006-09-21
Sven Verdoolae
g
e
opt
i
ons
.
c: pick up definit
i
on o
f
POL_INTEGER from barvinok
.
.
.
commit
|
commitdiff
|
tree
2006-09-21
Sv
e
n Ver
d
o
o
laege
op
t
ionc
.
c
: move choice of
whic
h
specialization to u
s
e
.
.
.
commit
|
commitdiff
|
tree
next