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/genfun.h: fix comment
2007-02-02
Sve
n
Verdoola
e
ge
bar
v
i
nok
/
genfun
.
h
: fix comment
commit
|
commitdiff
|
tree
2007-02-02
Sve
n
Ver
d
oolaege
add
.
gi
t
i
gnore
commit
|
commitdiff
|
tree
2007-02-02
Sve
n
Verd
o
olaege
QQ: a
d
d
op
e
rator for multiplication by a sca
l
ar (ZZ)
commit
|
commitdiff
|
tree
2007-01-18
Sven Verdoo
l
aege
M
akefile
.
am: che
c
k
-
s
eries: check -
-
pr
i
mal
a
s
w
ell
commit
|
commitdiff
|
tree
2007-01-16
S
v
en Verdoolae
g
e
Makefile
.
a
m: install
(
s
ome)
binarie
s
commit
|
commitdiff
|
tree
2007-01-15
Sven
V
erdo
o
laege
undefine CS for S
o
laris 10
commit
|
commitdiff
|
tree
2007-01-14
Sven Verdoolaege
barvinok_enume
r
a
t
e: handle lines in inp
u
t polyhedra
.
.
.
commit
|
commitdiff
|
tree
2007-01-10
S
v
en
V
erdo
o
laege
util
.
c: move left_i
n
vers
e
from lexmin
.
cc
commit
|
commitdiff
|
tree
2007-01-05
Sven Verdoolaege
ge
n
_fu
n
::coeff
i
cient: move p
r
inting to short_rat
commit
|
commitdiff
|
tree
2007-01-05
Sven
Verdoolaege
gen_f
u
n::coeffi
c
ient: new version ret
u
r
n
ing ZZ
commit
|
commitdiff
|
tree
2007-01-05
Sve
n
Ver
d
oolaege
gen
f
u
n
.
c
c
: move coefficient
c
omput
a
ti
o
n to short_
r
at
commit
|
commitdiff
|
tree
2007-01-05
Sven Verdoolaege
partial_reducer:
restart
c
o
m
p
utation
if random vector
.
.
.
commit
|
commitdiff
|
tree
2007-01-05
Sven
V
erdoo
l
aege
gen_fun: expose clear_t
e
r
ms
,
a method fo
r
clearing
.
.
.
commit
|
commitdiff
|
tree
2007-01-05
Sven
V
e
rdoolaege
gen_
f
un:
:
Hadamard_
p
roduct: pro
p
a
g
ate full opt
i
ons t
o
.
.
.
commit
|
commitdiff
|
tree
2007-01-05
Sve
n
Verdoolaege
barvinok
_
e
numerate: integrate veri
f
_ehrhart
commit
|
commitdiff
|
tree
2007-01-05
Sven Verd
o
olaege
barvinok_enumerate:
i
nt
e
grate b
a
rvinok_series
commit
|
commitdiff
|
tree
2007-01-05
Sven
Verdool
a
e
g
e
barvinok_enumerate:
use argp
commit
|
commitdiff
|
tree
2007-01-05
Sven Verdoo
l
a
ege
lexmin: make le
x
mi
n
options pr
i
vat
e
commit
|
commitdiff
|
tree
2007-01-05
Sv
e
n V
e
rdoo
l
a
ege
R
e
v
er
t
"ber
n
st
e
i
n
/configure
.
i
n
: r
e
move redundant change
.
.
.
commit
|
commitdiff
|
tree
2007-01-05
Sven Verdoolaege
barvinok
.
cc: make use of sampling for c
o
un
t
ing infinite
.
.
.
commit
|
commitdiff
|
tree
2007-01-05
Sven Verdoolaege
barvino
k
_
enumera
t
e_e:
respect --table option
commit
|
commitdiff
|
tree
2007-01-05
Sven Verdoolaege
l
e
xmin
.
cc: move sele
c
t
ion of g
b
r so
l
v
er
to options
.
c
commit
|
commitdiff
|
tree
2007-01-05
Sven Verdoola
e
g
e
lexmin: use argp
commit
|
commitdiff
|
tree
2007-01-04
Sv
e
n Ve
r
d
o
olaege
ba
r
v
i
n
ok_enumerate_e: extract out veri
f
i
c
ation option
s
commit
|
commitdiff
|
tree
2007-01-04
Sven Verdoolaege
ba
r
vin
o
k_enumerate_e: p
r
i
n
t warni
n
g when --ome
g
a o
r
.
.
.
commit
|
commitdiff
|
tree
2007-01-04
Sven Verdoolaege
barvinok/polylib
.
h: define value_s
u
btract and value_a
d
dmul
.
.
.
commit
|
commitdiff
|
tree
2007-01-04
Sven Verd
o
olaege
decom
p
o
s
er
.
cc: decom
p
ose: mi
c
ro-optimiza
t
ion
commit
|
commitdiff
|
tree
2007-01-04
Sven Verdoolaege
signed
_
cone
:
store rays of cone
commit
|
commitdiff
|
tree
2007-01-03
Sven
V
erdoolaege
lex
m
i
n: disable use of loo
k
up-table
s
commit
|
commitdiff
|
tree
2007-01-03
Sven V
e
r
d
ool
a
ege
barvinok_enu
m
er
a
te_e
.
cc: fix arg
p
options
p
arser
commit
|
commitdiff
|
tree
2007-01-03
Sven Ver
d
oo
l
aege
opti
o
ns
.
c: move
c
hoic
e
of
use
of lookup-table to bar
v
inok_op
.
.
.
commit
|
commitdiff
|
tree
2007-01-03
Sven Verdoolaege
la
t
t
ice_point
.
cc: fix #if
n
d
ef USE_MODULO code path
commit
|
commitdiff
|
tree
2007-01-03
Sven Verdoolaege
de
c
om
p
oser
.
c
c: short_vecto
r
: remove redundant code
commit
|
commitdiff
|
tree
2007-01-03
Sv
e
n Verdoo
l
aege
decompos
e
r
.
c
c
:
short_vector: negate l
a
mbda if z is
.
.
.
commit
|
commitdiff
|
tree
2007-01-03
Sven
V
erdoolaege
ba
r
vinok
.
cc: ser
i
e
s:
only
r
equire rays to
be revlex
.
.
.
commit
|
commitdiff
|
tree
2007-01-03
Sven Verd
o
ola
e
g
e
barvinok
.
cc
:
series:
pass ful
l
o
ptions to barvinok_
c
o
u
nt
commit
|
commitdiff
|
tree
2007-01-03
Sven Verd
o
olaege
np_base::handle: p
a
s
s
around rays ma
t
r
ix instead of
.
.
.
commit
|
commitdiff
|
tree
2007-01-03
Sv
e
n Ver
d
oolaege
d
ecomposer
.
cc: support prim
a
l decomposition
commit
|
commitdiff
|
tree
2007-01-03
Sven Verdoo
l
aege
decompose
r
.
cc: barv
i
n
ok_d
e
compose: im
p
l
e
ment in te
r
ms
.
.
.
commit
|
commitdiff
|
tree
2007-01-03
Sve
n
Verdoolaege
b
arvinok_enumerate: res
p
ect incremental_
s
peciali
z
ation
.
.
.
commit
|
commitdiff
|
tree
2007-01-03
Sv
e
n
Verdoo
l
aege
in
t
roduce
s
i
g
ned_co
n
e s
t
ruct
commit
|
commitdiff
|
tree
2007-01-03
S
ven Verdoolaege
se
p
ar
a
te o
u
t
d
ecomposition
commit
|
commitdiff
|
tree
2007-01-03
Sven Verdoolaege
te
s
t: u
s
e ar
g
p parser
commit
|
commitdiff
|
tree
2006-12-28
Sv
e
n V
e
rdoolaege
update argp fro
m
gn
u
lib and add progname
m
o
d
ule
commit
|
commitdiff
|
tree
2006-12-27
S
ven Verdoolaege
barvinok_enumerat
e
_e
.
cc: don't exit o
n
u
n
recognized
.
.
.
commit
|
commitdiff
|
tree
2006-12-27
Sven Verdo
o
laege
lib
/
argp
.
h:
r
e
m
ove __NTH for
__
a
rgp_us
a
ge i
n
line function
commit
|
commitdiff
|
tree
2006-12-27
S
v
e
n
Verd
o
ol
a
ege
barvinok_enumerate_e
.
cc: r
e
mo
v
e
a
n
o
ther duplicat
e
definition
.
.
.
commit
|
commitdiff
|
tree
2006-12-27
Sv
e
n
V
erdo
o
laege
barvinok
_
enumerat
e
_
e
: u
s
e argp parse
r
commit
|
commitdiff
|
tree
2006-12-27
Sve
n
Verdoolaege
barvino
k
_count: use ar
g
p
parser
commit
|
commitdiff
|
tree
2006-12-26
Sven Verd
o
olaeg
e
options
.
c: add argp parse
commit
|
commitdiff
|
tree
2006-12-26
Sven
Verdoolaege
add argp f
r
om gnu
l
ib
commit
|
commitdiff
|
tree
2006-12-26
S
v
e
n
Verdoolaege
s
car
f
.
cc
:
make
com
p
a
t
i
ble
w
ith older versions of
P
olyL
i
b
commit
|
commitdiff
|
tree
2006-12-26
Sven Verdoola
e
ge
add missing assert
.
h
#
in
c
ludes
commit
|
commitdiff
|
tree
2006-12-26
Sv
e
n Verdoo
l
aege
Makefile
.
a
m
:
add remove_
e
qua
l
iti
e
s
.
h t
o
distribution
commit
|
commitdiff
|
tree
2006-12-26
Sv
e
n
V
erdoolaege
configure
.
i
n
: only
c
onfigure berns
t
e
i
n if GiNa
C
was
.
.
.
commit
|
commitdiff
|
tree
2006-12-22
Sven
V
erdoola
e
ge
bernstein: config
u
re
.
in
:
chec
k
for
GiNa
C
commit
|
commitdiff
|
tree
2006-12-19
S
v
e
n Verd
o
olaege
bernstein
:
r
emove extra
q
ualif
i
cations from poly
n
o
mial
.
.
.
commit
|
commitdiff
|
tree
2006-12-19
S
v
en Verdool
a
ege
b
e
rnstein/s
r
c/main
.
cpp: remove redun
d
a
n
t
include
commit
|
commitdiff
|
tree
2006-12-18
Sven Verdoolaege
short_rat::n
o
rma
l
ize: ma
k
e powe
r
s
i
n
t
he denominator
.
.
.
commit
|
commitdiff
|
tree
2006-12-18
S
ven
Ver
d
oolaege
g
e
n_fu
n
::s
u
bst
i
tute: normalize terms
commit
|
commitdiff
|
tree
2006-12-18
Sve
n
Ve
r
doolaege
dp
o
ly_r
:
store terms in a
set
rather than in a
v
ec
t
o
r
commit
|
commitdiff
|
tree
2006-12-18
S
v
en Verdoolaeg
e
g
e
n_fun
:
store terms
i
n
a
set rather than in
a
vector
commit
|
commitdiff
|
tree
2006-12-11
S
ven
V
erdoolaege
lexmin:
a
llow emp
t
ine
s
s check
t
hrough coun
t
i
ng
commit
|
commitdiff
|
tree
2006-12-11
Sven Ve
r
dool
a
ege
lex
m
i
n
.
cc
:
m
ove construct
i
o
n
o
f subdom
a
ins to edomain
.
cc
commit
|
commitdiff
|
tree
2006-12-11
S
v
en Ver
d
oolaege
edomain
.
cc
:
move
s
ample computation completel
y
to EDomain
commit
|
commitdiff
|
tree
2006-12-11
Sven Verdoolaege
lexmin
.
c
c
: pa
r
t
ial_order::co
m
pare:
use subst
i
tu
t
ion
.
.
.
commit
|
commitdiff
|
tree
2006-12-11
Sven Ver
d
oolaege
lexmin
.
cc: indicator::combine: more
e
fficient way of
.
.
.
commit
|
commitdiff
|
tree
2006-12-11
Sv
e
n Verdoola
e
ge
l
exmi
n
.
c
c:
k
eep
h
e
ads
in partial o
r
de
r
se
p
arate
commit
|
commitdiff
|
tree
2006-12-11
Sv
e
n Verdoolaege
edomain
.
cc: EDomain::add_ge_constraint
:
s
i
mplify
n
ew
.
.
.
commit
|
commitdiff
|
tree
2006-12-11
Sven
Verdoolaege
lexm
i
n
.
c
c:
p
artial_ord
e
r::compare: add ca
c
he of comparison
.
.
.
commit
|
commitdiff
|
tree
2006-12-11
S
ven Ver
d
oo
l
aege
lexmin:
make sure le s
e
t i
n
p
a
r
tia
l
order onl
y
contain
s
.
.
.
commit
|
commitdiff
|
tree
2006-12-11
Sv
e
n Verdool
a
ege
l
exmin: mo
r
e
sanity che
c
ks
commit
|
commitdiff
|
tree
2006-12-11
Sven Verdoola
e
ge
l
e
mxin: use stable ordering of indicator_terms in
parti
a
l_or
.
.
.
commit
|
commitdiff
|
tree
2006-12-11
Sven Verd
o
olaeg
e
gen
f
un
.
cc:
move lex_cmp to mat_util
.
cc
commit
|
commitdiff
|
tree
2006-12-11
Sven
V
erdoolaege
lexmin: indicator::combine: directly add some k
n
ow
n
.
.
.
commit
|
commitdiff
|
tree
2006-12-11
Sven Verdoolaege
barvin
o
k
/pol
y
l
ib
.
h: s
e
parate include of polyl
i
b header
commit
|
commitdiff
|
tree
2006-12-09
Sven Verdoolaege
lexmin: op
t
i
onally compu
t
e si
g
n of affine function
.
.
.
commit
|
commitdiff
|
tree
2006-12-09
Sve
n
Verdool
a
ege
l
exmin: opt
i
o
n
ally sk
i
p reduction of evalues in do
m
ains
commit
|
commitdiff
|
tree
2006-12-09
Sven
Verdoolaege
evalue_f
r
ac2floor: only
m
ake
a
rgum
e
nt nonnegati
v
e if
.
.
.
commit
|
commitdiff
|
tree
2006-12-09
Sv
e
n V
e
rdoolaege
lexmin: P
o
lyhedron_not_empty: be ca
r
eful about empty
.
.
.
commit
|
commitdiff
|
tree
2006-12-09
S
v
en Verdoola
e
ge
lexmin: ind
i
cator_term::is_opposite:
a
ssume
n
ume
r
ator
s
.
.
.
commit
|
commitdiff
|
tree
2006-12-09
Sven Verdoolaege
remove
_
all_equal
i
ti
e
s
:
handl
e
compr
e
ss_variables retu
r
ni
n
g
.
.
.
commit
|
commitdiff
|
tree
2006-12-09
Sven V
e
rdoola
e
ge
lexmin: optionally u
s
e cdd
durin
g
basis reduction
commit
|
commitdiff
|
tree
2006-12-09
Sven
V
e
rdoolaege
P
o
lyhedron
_
Redu
c
ed_Basis:
o
ptionally use cdd to
solve
.
.
.
commit
|
commitdiff
|
tree
2006-12-09
Sven Verdoolaege
configu
r
e
.
in: check for
cddl
i
b
commit
|
commitdiff
|
tree
2006-12-09
Sven Verdoolaege
lexm
i
n: Polyhed
r
on
_
not_
e
mpty: contin
u
e
re
m
oving equalities
commit
|
commitdiff
|
tree
2006-12-09
Sven Ve
r
do
o
laeg
e
lexmin:
h
andle eq
u
alities among para
m
eters
commit
|
commitdiff
|
tree
2006-12-09
Sven
V
e
rd
o
olaege
remove_all_
e
qualities: ignore
i
dentity paramet
e
r compression
commit
|
commitdiff
|
tree
2006-12-09
Sven Verdoolaege
remove_equ
a
li
t
ies
.
c: extracted from barvinok
.
cc
commit
|
commitdiff
|
tree
2006-12-09
Sv
e
n Ver
d
oolae
g
e
genfun: add
s
ho
r
t_ra
t
:
:
normalize
commit
|
commitdiff
|
tree
2006-12-09
Sv
e
n Verdoolae
g
e
g
e
nfun: add s
h
ort_rat
cons
t
ructors
commit
|
commitdiff
|
tree
2006-12-09
Sven V
e
rdo
o
laege
evalue
.
c
:
evalue_den
o
m: impr
o
v
e com
m
ent
commit
|
commitdiff
|
tree
2006-12-09
Sven Verdo
o
laege
lexmi
n
: Pol
y
hedron_no
t
_empty: chec
k
result return
e
d
.
.
.
commit
|
commitdiff
|
tree
2006-12-07
Sven Verdool
a
ege
barvinok
.
cc: series
:
remove e
q
ualities using Pr
e
image
.
.
.
commit
|
commitdiff
|
tree
2006-12-07
Sven Verdo
o
lae
g
e
b
a
rvin
o
k_
c
oun
t
: c
o
ll
e
c
t
stats on number
o
f
unimodular
.
.
.
commit
|
commitdiff
|
tree
2006-12-07
Sven Verdool
a
ege
u
til
.
c: triangula
t
e_cone: use bigger random valu
e
s
commit
|
commitdiff
|
tree
2006-12-07
Sven
V
e
r
doolae
g
e
sam
p
le
.
c: Polyhedron_Re
m
oveFixedCol
u
mns: co
p
y constants
.
.
.
commit
|
commitdiff
|
tree
2006-12-06
Sven Verdoolae
g
e
b
er
n
stein
:
p
i
ecewise_lst::evaluat
e
: fix t
y
po
commit
|
commitdiff
|
tree
2006-12-06
Sven Ve
r
dool
a
ege
configure
.
in: only
add
-
lbernstei
n
to
b
arvinok
.
pc if
.
.
.
commit
|
commitdiff
|
tree
2006-11-13
Sven Ve
r
d
oo
l
aege
configure
.
in: rename --w
i
th-ginac to --with
o
ut
-
be
r
ns
t
ei
n
commit
|
commitdiff
|
tree
next