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
bernstein: configure.in: check for GiNaC
2006-12-22
Sven Verdoolaege
bernstei
n
:
c
onf
i
gure
.
in: check fo
r
G
iN
a
C
commit
|
commitdiff
|
tree
2006-12-19
Sven Verdoolaege
bernstein: remove ext
r
a
qual
i
f
ica
t
ions from po
l
ynom
i
al
.
.
.
commit
|
commitdiff
|
tree
2006-12-19
Sven Verdoo
l
aeg
e
bern
s
tein/src
/
main
.
cpp: remove redund
a
nt include
commit
|
commitdiff
|
tree
2006-12-18
Sven Verdoolaege
sho
r
t
_rat::n
o
rmalize:
m
ake powers in the denominator
.
.
.
commit
|
commitdiff
|
tree
2006-12-18
S
v
en
V
e
rdoolaege
gen_fun::substitu
t
e: normalize terms
commit
|
commitdiff
|
tree
2006-12-18
Sven Verdoo
l
a
ege
dpoly_r: s
t
ore t
e
rms in a s
e
t rath
e
r than in a vector
commit
|
commitdiff
|
tree
2006-12-18
S
v
en Verdoolaege
gen_f
u
n:
s
tore terms in a set rathe
r
than in
a
vector
commit
|
commitdiff
|
tree
2006-12-11
Sven Verdoolaege
lexm
i
n: allow em
p
t
i
ness check thro
u
gh counting
commit
|
commitdiff
|
tree
2006-12-11
S
v
en Verdoolaege
lexmin
.
cc:
move c
o
nstru
c
ti
o
n of subdomains
to edom
a
i
n
.
cc
commit
|
commitdiff
|
tree
2006-12-11
Sven Verdoolaeg
e
edomain
.
c
c: move sample computation completely to EDomai
n
commit
|
commitdiff
|
tree
2006-12-11
S
ven Verdoolaege
l
e
x
min
.
c
c: partial_order::compare: u
s
e substitution
.
.
.
commit
|
commitdiff
|
tree
2006-12-11
S
v
e
n Verdoola
e
g
e
l
exmin
.
cc: indicator::c
o
m
bi
n
e: more efficient way of
.
.
.
commit
|
commitdiff
|
tree
2006-12-11
Sven
V
er
d
oola
e
ge
lexmin
.
cc: keep h
e
a
ds in
p
artial order separ
a
te
commit
|
commitdiff
|
tree
2006-12-11
Sven Ve
r
dool
a
ege
edomain
.
cc: E
D
o
m
ain:
:
add_ge_constraint: simpli
f
y new
.
.
.
commit
|
commitdiff
|
tree
2006-12-11
S
v
en
V
e
rd
o
olaege
lexmin
.
cc
:
p
art
i
al_order::compa
r
e: add
cac
h
e of comparison
.
.
.
commit
|
commitdiff
|
tree
2006-12-11
S
v
en Ver
d
oolaege
lexmin:
make s
u
r
e
le set in partial order only contains
.
.
.
commit
|
commitdiff
|
tree
2006-12-11
S
ven Verdoola
e
g
e
l
e
xmi
n
: more
sanity ch
e
cks
commit
|
commitdiff
|
tree
2006-12-11
Sven Verdoolaege
lemx
i
n:
u
s
e
stable
order
i
ng of indicator
_
te
r
ms in pa
r
tial_or
.
.
.
commit
|
commitdiff
|
tree
2006-12-11
Sven Ver
d
oolae
g
e
g
e
n
f
un
.
cc:
m
ove lex_cmp
t
o mat_util
.
cc
commit
|
commitdiff
|
tree
2006-12-11
Sven
V
erdoolaege
lexmin: indicator::combine: dir
e
c
tly add some know
n
.
.
.
commit
|
commitdiff
|
tree
2006-12-11
Sven Verdoolae
g
e
bar
v
i
n
ok/polylib
.
h: separate inclu
d
e
o
f po
l
y
li
b
header
commit
|
commitdiff
|
tree
2006-12-09
Sven
V
e
r
doolaege
le
x
m
in
:
op
t
ionally comput
e
sig
n
of
a
ffine funct
i
on
.
.
.
commit
|
commitdiff
|
tree
2006-12-09
S
v
e
n
Verdoo
l
aege
l
exmin:
o
ptiona
l
l
y
skip reduction of e
v
a
lues in domain
s
commit
|
commitdiff
|
tree
2006-12-09
Sven
Ver
d
oolaege
evalue
_
frac2floor:
o
nly make argument nonnegativ
e
if
.
.
.
commit
|
commitdiff
|
tree
2006-12-09
Sven Ve
r
doo
l
aege
l
e
xmin: Polyhedro
n
_not_empty:
be
c
a
r
e
ful about empty
.
.
.
commit
|
commitdiff
|
tree
2006-12-09
Sven Verdo
o
laege
lexmin: ind
i
c
ator_term::i
s
_op
p
osi
t
e
: assume numera
t
o
r
s
.
.
.
commit
|
commitdiff
|
tree
2006-12-09
Sven Verdoolaege
remove_all_equa
l
i
t
ies
:
handle com
p
r
ess_variables ret
u
r
ning
.
.
.
commit
|
commitdiff
|
tree
2006-12-09
S
ven Verdoolaeg
e
lexmin: optionally us
e
cdd duri
n
g
b
asis reduction
commit
|
commitdiff
|
tree
2006-12-09
Sven Verdool
a
eg
e
Polyhedron_Re
d
uced_Basis: optionally use
cdd
t
o s
o
lve
.
.
.
commit
|
commitdiff
|
tree
2006-12-09
Sven Verd
o
olaege
configure
.
i
n
:
che
c
k fo
r
cddlib
commit
|
commitdiff
|
tree
2006-12-09
Sven Verdo
o
laege
lexm
i
n:
Polyhedron_no
t
_
e
mpty: continu
e
removing equal
i
tie
s
commit
|
commitdiff
|
tree
2006-12-09
Sven V
e
rdoolaege
l
e
x
min: handle equ
a
li
t
i
es
a
mong pa
r
a
m
eters
commit
|
commitdiff
|
tree
2006-12-09
S
ven Ver
d
oolaege
remove_all_eq
u
alities: ig
n
or
e
id
e
ntity
par
a
meter co
m
pres
s
ion
commit
|
commitdiff
|
tree
2006-12-09
S
v
en
V
erdo
o
laege
remove_equaliti
e
s
.
c: extr
a
cted from barvinok
.
cc
commit
|
commitdiff
|
tree
2006-12-09
Sven Verdo
o
laege
genfun: add short_rat::normalize
commit
|
commitdiff
|
tree
2006-12-09
Sven Verdoolae
g
e
g
e
nfun: add short_rat constructo
r
s
commit
|
commitdiff
|
tree
2006-12-09
Sven Verdoolaege
e
v
a
lu
e
.
c: evalue_d
e
no
m
: improve
comment
commit
|
commitdiff
|
tree
2006-12-09
Sven Verdoolaege
lexm
i
n
:
Polyhedron_not
_
empty: che
c
k result ret
u
rned
.
.
.
commit
|
commitdiff
|
tree
2006-12-07
Sven Verdoo
l
ae
g
e
bar
v
inok
.
cc: ser
i
e
s
: re
m
o
ve equal
i
t
i
e
s
usi
n
g P
r
eimage
.
.
.
commit
|
commitdiff
|
tree
2006-12-07
Sven Ver
d
oolaege
barvinok_count: co
l
l
ect stats on n
u
mber of
u
n
imodular
.
.
.
commit
|
commitdiff
|
tree
2006-12-07
Sven Verdoolaege
util
.
c: t
r
ia
n
gulate_cone: use bigger random value
s
commit
|
commitdiff
|
tree
2006-12-07
Sven Verdoolaege
sample
.
c: Polyhedron_Rem
o
veFi
x
edC
o
lumns: copy constant
s
.
.
.
commit
|
commitdiff
|
tree
2006-12-06
Sven Verdoolae
g
e
b
ernstei
n
: piecewise_lst::ev
a
luate: fix typ
o
commit
|
commitdiff
|
tree
2006-12-06
Sven Verd
o
olaege
configure
.
in:
o
nl
y
a
d
d
-lbern
s
t
e
in to bar
v
i
n
ok
.
pc if
.
.
.
commit
|
commitdiff
|
tree
2006-11-13
Sven Verdoolaege
configure
.
in: ren
a
me --with-ginac to --wit
h
out-bernst
e
in
commit
|
commitdiff
|
tree
2006-11-10
Sv
e
n
V
erdo
o
laeg
e
co
n
figure
.
i
n
: allow build wit
h
out GiNaC (and therefo
r
e
.
.
.
commit
|
commitdiff
|
tree
2006-11-10
Sven
V
erdoolaege
configure
.
in: add -lber
n
ste
i
n to ba
r
vinok
.
pc if it
.
.
.
commit
|
commitdiff
|
tree
2006-11-09
Sven
V
e
rdoolaege
util
.
c
:
compress
_
variables: correct check fo
r
scalin
g
commit
|
commitdiff
|
tree
2006-11-09
Sven Verdoolaeg
e
ut
i
l
.
c: some d
o
cumentation for compr
e
ss_variables
commit
|
commitdiff
|
tree
2006-11-09
Sven V
e
rdoolaege
verif_ehrh
a
rt:
a
dd --pr
i
nt-al
l
option to replace PRINT_ALL_R
.
.
.
commit
|
commitdiff
|
tree
2006-11-09
Sven
V
e
rdoolaege
mat_util:
make arguments of lex_cm
p
const
commit
|
commitdiff
|
tree
2006-11-09
Sven V
e
rd
o
olaeg
e
add AUT
H
ORS file
commit
|
commitdiff
|
tree
2006-10-31
S
v
en Verdool
a
ege
bump version
commit
|
commitdiff
|
tree
2006-10-31
Sv
e
n Verdoolae
g
e
Makefile
.
a
m:
m
a
k
e sure correct files
a
re inclu
d
ed in
.
.
.
commit
|
commitdiff
|
tree
2006-10-31
Sven V
e
rdoolaeg
e
doc: me
n
tion
r
estr
i
cti
o
n of
barvi
n
ok_enumerate_scarf_ser
i
es
commit
|
commitdiff
|
tree
2006-10-31
Sven V
e
rdoolaege
do
c
: mi
n
imal documentation fo
r
the l
e
xmin application
commit
|
commitdiff
|
tree
2006-10-31
Sven Verdool
a
eg
e
bernstein/c
o
nfi
g
ur
e
.
in: s
e
t AC_CON
F
IG_AUX
_
DIR to be
r
nstein
.
.
.
commit
|
commitdiff
|
tree
2006-10-31
Sv
e
n Verdoolaege
doc: d
o
cument
p
olytope_sample
commit
|
commitdiff
|
tree
2006-10-31
Sven Verdoolaege
do
c
: docum
e
nt polyhedron
_
sample
commit
|
commitdiff
|
tree
2006-10-31
S
v
en Verdoolaege
doc: inclu
d
e
barvin
o
k
library v
e
r
s
io
n
in title
commit
|
commitdiff
|
tree
2006-10-31
Sven
Verdoolaege
c
o
n
f
i
g
u
r
e
.
i
n:
f
ix
t
ypo
commit
|
commitdiff
|
tree
2006-10-31
Sven Verdo
o
laege
doc: bib: name K
e
vi
n
M
.
Woods consiste
n
tly
commit
|
commitdiff
|
tree
2006-10-31
Sven
Verdoolaege
doc:
doc
u
m
e
nt extra occ operatio
n
s
commit
|
commitdiff
|
tree
2006-10-31
Sven Verdoolaege
doc:
u
p
date ge
n
_fun d
o
cumentation
commit
|
commitdiff
|
tree
2006-10-31
Sven Verdoolaege
doc: refl
e
ct chan
g
e
of argument type of
e
a
d
d
commit
|
commitdiff
|
tree
2006-10-31
Sven Verdoolaege
doc:
d
o
c
ument
barvin
o
k_
e
numerate_scarf
commit
|
commitdiff
|
tree
2006-10-31
S
v
en Verdoolaege
do
c
:
a
d
d
another
p
a
per refering to barv
i
nok
commit
|
commitdiff
|
tree
2006-10-31
Sven Verdoolaege
d
o
c
:
typ
o
s
commit
|
commitdiff
|
tree
2006-10-31
Sve
n
Verdo
o
l
aege
do
c
:
do
c
um
e
nt bernstein data struc
t
ures and functions
commit
|
commitdiff
|
tree
2006-10-31
Sven Verdoolaege
b
ernst
e
in: piecew
i
se_lst::simpl
i
fy
_
d
omains
:
add MaxRays
.
.
.
commit
|
commitdiff
|
tree
2006-10-30
Sven
Verdoolaege
berns
t
ein: mak
e
p
oly
a
rgument of berns
t
ei
n
Expansion
.
.
.
commit
|
commitdiff
|
tree
2006-10-30
Sven
V
erdoolaege
r
e
d
u
cer
.
h: only use infinite_icoun
t
er when dim==1
commit
|
commitdiff
|
tree
2006-10-28
Sven Verdoolaege
doc: fix typo
commit
|
commitdiff
|
tree
2006-10-28
Sven Verdoolaeg
e
remove a few duplicate definiti
o
ns of
M
AXRAY
S
commit
|
commitdiff
|
tree
2006-10-28
Sve
n
Verdoolaege
util
.
c: mov
e
dupl
i
cate Polyhedron_R
e
ad
commit
|
commitdiff
|
tree
2006-10-28
Sven Verdoolaege
b
arvinok
.
cc:
add _with_
o
ptio
n
s
version of barvinok_en
u
merate_e
commit
|
commitdiff
|
tree
2006-10-28
Sven
V
erdoolaege
evalue
.
c: remove include of con
f
ig
.
h
commit
|
commitdiff
|
tree
2006-10-28
Sv
e
n Verdoo
l
aege
v
ersion
.
c: show use of Omeg
a
, GLPK a
n
d
G
iNaC
commit
|
commitdiff
|
tree
2006-10-28
Sven
Ver
d
oolaege
ve
r
sion
.
c: move barvinok_version from ut
i
l
.
c
commit
|
commitdiff
|
tree
2006-10-28
Sv
e
n Verdoolae
g
e
doc: documen
t
Polyhedr
o
n_Reduced_Basis
and Polyhe
d
ron_Sample
commit
|
commitdiff
|
tree
2006-10-27
Sv
e
n Verdoolaege
export P
o
l
yh
e
dron_Sample a
n
d Polyhedr
o
n_Reduced_
B
asi
s
commit
|
commitdiff
|
tree
2006-10-27
Sve
n
Verdoolaege
d
o
c
:
rename
"usa
g
e" sec
t
ion to "app
l
ications"
s
ection
commit
|
commitdiff
|
tree
2006-10-27
Sven Verdo
o
lae
g
e
barvinok_optio
n
s: r
e
name emptines
s
_check to lexmin_e
m
pti
n
ess
.
.
.
commit
|
commitdiff
|
tree
2006-10-27
Sven Verdoolaege
doc: d
o
cument barvinok_options
commit
|
commitdiff
|
tree
2006-10-27
Sven Verdoo
l
aege
s
c
arf
.
c
c
:
e
xpor
t
funct
i
ons to library
commit
|
commitdiff
|
tree
2006-10-27
Sven Verdoolaege
sc
a
rf
.
cc:
use barvinok_options
ins
t
ead o
f
MaxRa
y
s
commit
|
commitdiff
|
tree
2006-10-27
Sven Verdoolaege
barvinok/barvinok
.
h:
e
xport
_
w
i
th
_
optio
n
s
v
er
s
ions
.
.
.
commit
|
commitdiff
|
tree
2006-10-25
Sven Verdoolaege
b
a
rvinok_enumerate_e: remove direc
t
in
c
lude of polylib
.
.
.
commit
|
commitdiff
|
tree
2006-10-25
S
ve
n
Verdoolaege
b
e
rnst
e
in: min
i
m
al
d
ocumentat
i
o
n
commit
|
commitdiff
|
tree
2006-10-25
Sven Verdoo
l
a
e
ge
README: bernstein
requires G
i
N
aC
commit
|
commitdiff
|
tree
2006-10-25
S
v
en Verdoolaege
doc: add
r
e
f
e
rence
t
o
bernst
e
in techre
p
ort
commit
|
commitdiff
|
tree
2006-10-25
Sven Verdoo
l
aege
Me
r
ge bra
n
ch
'
bernstein'
commit
|
commitdiff
|
tree
2006-10-25
Sven Verdo
o
laege
ber
n
stein/s
r
c/TO
D
O
: remove;
e
very
t
hin
g
has
been d
o
ne
commit
|
commitdiff
|
tree
2006-10-10
Sven Ve
r
dool
a
e
ge
d
oc: add another
publica
t
ion that refers to barvinok
commit
|
commitdiff
|
tree
2006-10-10
Sve
n
Verdool
a
eg
e
L
L
L
:
use reduct
i
o
n
para
m
eter 1 by de
f
ault
commit
|
commitdiff
|
tree
2006-10-07
Sv
e
n
Ve
r
doolaege
decomp
o
ser
.
cc:
short_vector: allow spe
c
if
i
cation of
.
.
.
commit
|
commitdiff
|
tree
2006-10-07
Sv
e
n Verdoolaege
doc: add some
mo
r
e p
u
blications
t
hat refer
to
barvinok
commit
|
commitdiff
|
tree
2006-10-02
Sven
Verdoolaege
e
v
a
l
ue
.
c: ev
a
lue_denom:
d
e
clare va
r
iable
a
t
start of
.
.
.
commit
|
commitdiff
|
tree
2006-10-02
S
v
en Verd
o
olaege
evalue
.
c:
expo
r
t
e
va
l
u
e
_
denom
commit
|
commitdiff
|
tree
2006-10-02
Sven Ve
r
d
o
olaege
scarf
.
cc: handle ca
s
e wh
e
re four cons
t
raints lead to
.
.
.
commit
|
commitdiff
|
tree
next