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
QQ: add operator for multiplication by a scalar (ZZ)
2007-02-02
Sven V
e
rdoolaege
Q
Q
: add opera
t
or for mu
l
tiplication by a
sc
a
lar (ZZ)
commit
|
commitdiff
|
tree
2007-01-18
S
v
e
n
Verdoo
l
aege
Makefile
.
am: c
h
eck-series
:
c
h
e
ck --prima
l
as well
commit
|
commitdiff
|
tree
2007-01-16
Sven
Verdoolaege
Makefile
.
a
m: i
n
stall (some) bin
a
ries
commit
|
commitdiff
|
tree
2007-01-15
Sven
V
erdoolaege
undef
i
ne C
S
f
o
r Solaris 10
commit
|
commitdiff
|
tree
2007-01-14
Sven Verdoolaege
barvinok_enu
m
era
t
e: han
d
le lines in inpu
t
polyhedra
.
.
.
commit
|
commitdiff
|
tree
2007-01-10
Sven
V
erdo
o
laege
u
t
il
.
c: move lef
t
_
inv
e
rse from lexmin
.
cc
commit
|
commitdiff
|
tree
2007-01-05
S
v
en Ve
r
d
o
o
laege
gen_fun
:
:
coeffi
c
ient: move printin
g
t
o shor
t
_rat
commit
|
commitdiff
|
tree
2007-01-05
Sven
Verdoolaege
gen_fun::coefficient:
new version returning Z
Z
commit
|
commitdiff
|
tree
2007-01-05
S
v
en Verdoolaege
gen
f
un
.
cc: move coeffi
c
i
e
nt computation to
short_r
a
t
commit
|
commitdiff
|
tree
2007-01-05
Sven Verdoolaege
part
i
al
_
re
d
ucer: restart computat
i
on if ra
n
dom
v
e
cto
r
.
.
.
commit
|
commitdiff
|
tree
2007-01-05
S
ven Verdoolae
g
e
ge
n
_fun: expose
cle
a
r_terms
,
a
meth
o
d
for clear
i
ng
.
.
.
commit
|
commitdiff
|
tree
2007-01-05
S
ven Ver
d
oolaege
gen_f
u
n:
:
Hadamard_
p
rod
u
ct: pr
o
pagate full options to
.
.
.
commit
|
commitdiff
|
tree
2007-01-05
S
ven Ve
r
doolaege
barvino
k
_enum
e
rate: integrate ve
r
if_
e
h
r
hart
commit
|
commitdiff
|
tree
2007-01-05
Sven Verdoo
l
a
e
ge
barvi
n
o
k
_
enumerate: integrate
barvino
k
_s
e
rie
s
commit
|
commitdiff
|
tree
2007-01-05
Sven Verdoolaege
barvino
k
_enumerate
:
u
se argp
commit
|
commitdiff
|
tree
2007-01-05
Sven Ver
d
oola
e
ge
lex
m
in: make lexmin options private
commit
|
commitdiff
|
tree
2007-01-05
Sven Verdoola
e
g
e
Rever
t
"berns
t
ein/config
u
re
.
i
n
:
remove redundant change
.
.
.
commit
|
commitdiff
|
tree
2007-01-05
S
ven
Verdoolaege
barvinok
.
cc: mak
e
use of
s
a
m
pl
i
n
g
for co
u
n
t
i
n
g infinite
.
.
.
commit
|
commitdiff
|
tree
2007-01-05
Sven Verdool
a
eg
e
bar
v
inok_enumerate_e: respect --table
o
ption
commit
|
commitdiff
|
tree
2007-01-05
S
ven Verd
o
o
l
a
ege
lexmi
n
.
cc
:
move selecti
o
n of gbr solver to option
s
.
c
commit
|
commitdiff
|
tree
2007-01-05
Sven V
e
r
doolaege
lexmin: use argp
commit
|
commitdiff
|
tree
2007-01-04
S
v
e
n Verdoolaege
barvinok_
e
numerate_e
:
extract ou
t
verification option
s
commit
|
commitdiff
|
tree
2007-01-04
Sven Verdo
o
laege
ba
r
vinok
_
enumer
a
te_e: print w
a
rning when --omega or
.
.
.
commit
|
commitdiff
|
tree
2007-01-04
Sven Ver
d
oolaege
barvi
n
ok/polylib
.
h: d
e
f
i
ne v
a
lue_s
u
btract and value_addmul
.
.
.
commit
|
commitdiff
|
tree
2007-01-04
S
v
e
n
Verdoolaeg
e
decomposer
.
cc: d
e
compose:
m
i
cro-optimi
z
ation
commit
|
commitdiff
|
tree
2007-01-04
Sve
n
Verdool
a
ege
signed_cone: s
t
ore r
a
ys of
c
on
e
commit
|
commitdiff
|
tree
2007-01-04
Hara
l
d
De
v
os
omega
/
parser
.
y: remove brackets arou
n
d type in n
e
w
commit
|
commitdiff
|
tree
2007-01-03
Sv
e
n Verdoolaege
lexmin: di
s
able use
o
f
l
o
ok
u
p
-
t
a
bles
commit
|
commitdiff
|
tree
2007-01-03
Sven Verdoolaege
barv
i
nok_enume
r
ate_e
.
cc: fix a
r
gp options parser
commit
|
commitdiff
|
tree
2007-01-03
S
v
en Verdoolaege
op
t
ions
.
c: move choice of
u
se
of loo
k
up-table to barv
i
nok_op
.
.
.
commit
|
commitdiff
|
tree
2007-01-03
S
v
e
n
Verdo
o
laege
lattice_point
.
cc: f
i
x #ifndef
USE_MODUL
O
code pa
t
h
commit
|
commitdiff
|
tree
2007-01-03
S
v
en Ve
r
doola
e
ge
decom
p
oser
.
c
c
: short_vector
:
rem
o
ve
r
ed
u
ndant code
commit
|
commitdiff
|
tree
2007-01-03
S
ven Verdoolaeg
e
decompo
s
er
.
c
c
: short_vector: negate lambda if z is
.
.
.
commit
|
commitdiff
|
tree
2007-01-03
Sven Ve
r
doolae
g
e
barvi
n
ok
.
cc: s
e
ries:
o
nly require rays to be
r
evlex
.
.
.
commit
|
commitdiff
|
tree
2007-01-03
Sven Verdoola
e
g
e
barvinok
.
cc: s
e
ries: pass fu
l
l options
t
o
ba
r
vinok_count
commit
|
commitdiff
|
tree
2007-01-03
Sven Verd
o
o
laeg
e
np_base
:
:hand
l
e: pass aro
u
nd rays matrix in
s
tead of
.
.
.
commit
|
commitdiff
|
tree
2007-01-03
Sven Verdoolaege
d
e
composer
.
cc: supp
o
rt
primal de
c
o
m
p
ositi
o
n
commit
|
commitdiff
|
tree
2007-01-03
S
v
en Verdoolaege
deco
m
poser
.
cc: barvi
n
ok_decompose: imp
l
e
ment in terms
.
.
.
commit
|
commitdiff
|
tree
2007-01-03
S
ven Verdool
a
ege
b
a
rvin
o
k_enum
e
rate:
r
espec
t
increm
e
ntal_specia
l
izat
i
on
.
.
.
commit
|
commitdiff
|
tree
2007-01-03
Sven Ver
d
ool
a
ege
introduce signed_cone struct
commit
|
commitdiff
|
tree
2007-01-03
Sven Ve
r
doola
e
g
e
s
e
parat
e
out decomposi
t
i
o
n
commit
|
commitdiff
|
tree
2007-01-03
Sven Verdoolaege
test: use argp pa
r
ser
commit
|
commitdiff
|
tree
2006-12-28
Sven Verdoolaege
update argp fro
m
g
n
ulib and add progname
m
odule
commit
|
commitdiff
|
tree
2006-12-27
Sven Verdoola
e
ge
barvinok_enumerate_e
.
c
c
: don't
e
xit on unrecogni
z
ed
.
.
.
commit
|
commitdiff
|
tree
2006-12-27
Sven Verdoolae
g
e
lib/argp
.
h: re
m
ove __NTH for _
_
argp_usage inline f
u
nction
commit
|
commitdiff
|
tree
2006-12-27
S
v
en Verdoolaege
barvinok_e
n
umer
a
te_e
.
cc: remove
another du
p
licate
d
e
finition
.
.
.
commit
|
commitdiff
|
tree
2006-12-27
Sven Ve
r
doolaege
barvinok_enumerate
_
e: use
a
rgp parser
commit
|
commitdiff
|
tree
2006-12-27
Sve
n
V
e
rdoolaege
barvinok_count: use
a
rgp parser
commit
|
commitdiff
|
tree
2006-12-26
Sve
n
Ver
d
oolaege
options
.
c
: add argp pars
e
commit
|
commitdiff
|
tree
2006-12-26
Sven Verdoo
l
aege
add
a
r
gp from g
n
ulib
commit
|
commitdiff
|
tree
2006-12-26
S
v
en Verdoolae
g
e
scarf
.
cc: make compatible with older
ver
s
ions
o
f PolyLi
b
commit
|
commitdiff
|
tree
2006-12-26
Sven Ver
d
o
o
l
a
eg
e
add missi
n
g assert
.
h
#i
n
cludes
commit
|
commitdiff
|
tree
2006-12-26
Sven Verd
o
olaege
Make
f
ile
.
am:
add
remo
v
e_equalities
.
h
t
o distrib
u
t
i
on
commit
|
commitdiff
|
tree
2006-12-26
Sven
Verd
o
olae
g
e
c
onfigure
.
in: only config
u
re bernstein
if GiN
a
C wa
s
.
.
.
commit
|
commitdiff
|
tree
2006-12-22
S
v
e
n
V
erdoolaege
b
e
rnstein: configure
.
i
n: check for GiNaC
commit
|
commitdiff
|
tree
2006-12-19
Sv
e
n V
e
r
doola
e
ge
b
e
rn
s
te
i
n: re
m
o
v
e
e
xtra qualifications fr
o
m poly
n
omia
l
.
.
.
commit
|
commitdiff
|
tree
2006-12-19
Sven Verdo
o
la
e
g
e
bernstein/s
r
c/m
a
in
.
cpp: remove redunda
n
t i
n
c
lu
d
e
commit
|
commitdiff
|
tree
2006-12-18
Sven Verdoolaege
short_rat
:
:normalize: m
a
k
e
powers in the den
o
minator
.
.
.
commit
|
commitdiff
|
tree
2006-12-18
S
v
en Ver
d
oolaege
gen_fun::substi
t
ute: normalize terms
commit
|
commitdiff
|
tree
2006-12-18
Sven Verdo
o
laege
dpol
y
_r: store
t
erms in a set
r
ather tha
n
in a vector
commit
|
commitdiff
|
tree
2006-12-18
Sven V
e
rdoolaege
gen_fu
n
: store term
s
in
a
s
e
t rather than
in a vector
commit
|
commitdiff
|
tree
2006-12-11
Sven Ve
r
doolaege
lexmin: al
l
ow
e
mptiness che
c
k
t
h
ro
u
gh counting
commit
|
commitdiff
|
tree
2006-12-11
Sven Verdoolaege
l
exmin
.
c
c:
move cons
t
ruction of
s
u
b
d
o
mai
n
s to edoma
i
n
.
cc
commit
|
commitdiff
|
tree
2006-12-11
Sven Ve
r
do
o
lae
g
e
e
d
omain
.
cc: move sample co
m
putation completely to EDomain
commit
|
commitdiff
|
tree
2006-12-11
Sven Verdool
a
ege
lexmin
.
cc
:
pa
r
tial_order::compare: use substitution
.
.
.
commit
|
commitdiff
|
tree
2006-12-11
S
v
en Verdoolaege
lexmin
.
c
c
: indicator::combine: more efficient way of
.
.
.
commit
|
commitdiff
|
tree
2006-12-11
Sven Verdoo
l
aege
lexmin
.
cc:
keep heads in partial orde
r
sepa
r
a
t
e
commit
|
commitdiff
|
tree
2006-12-11
Sven Verdool
a
ege
edomain
.
cc: EDomain::add_ge_constraint:
simp
l
ify
n
e
w
.
.
.
commit
|
commitdiff
|
tree
2006-12-11
S
v
en
Ve
r
doolae
g
e
lexmin
.
cc: partial
_
order::compare: add
cache of com
p
a
rison
.
.
.
commit
|
commitdiff
|
tree
2006-12-11
Sven Verdoolaege
l
exm
i
n: make sure le set in partial or
d
e
r
o
n
l
y con
t
ains
.
.
.
commit
|
commitdiff
|
tree
2006-12-11
Sven Verdoolaege
lexmin
:
mo
r
e
sani
t
y checks
commit
|
commitdiff
|
tree
2006-12-11
Sven Verd
o
o
laege
lemxin: use stable orderi
n
g o
f
indicator_terms in partial_or
.
.
.
commit
|
commitdiff
|
tree
2006-12-11
Sven Ve
r
doolae
g
e
genfun
.
cc: move lex_cmp to
m
at_util
.
cc
commit
|
commitdiff
|
tree
2006-12-11
Sven Verdo
o
laege
lex
m
in: indicat
o
r::combi
n
e: directly add some known
.
.
.
commit
|
commitdiff
|
tree
2006-12-11
Sven Verdoolae
g
e
ba
r
vinok/
p
olylib
.
h:
separa
t
e includ
e
of polylib header
commit
|
commitdiff
|
tree
2006-12-09
Sve
n
Ver
d
oolaege
lexmin: optionally compute sign of affine function
.
.
.
commit
|
commitdiff
|
tree
2006-12-09
S
ven
V
erdoolaege
l
e
xmi
n
: optional
l
y s
k
i
p
reduction of ev
a
lu
e
s in domains
commit
|
commitdiff
|
tree
2006-12-09
Sven Ve
r
dool
a
ege
evalue_frac2floor: only m
a
ke a
r
g
u
m
e
nt nonnegative if
.
.
.
commit
|
commitdiff
|
tree
2006-12-09
Sven Ver
d
o
olaege
lexmin:
Poly
h
edron_not_empty: be ca
r
e
fu
l
ab
o
ut empty
.
.
.
commit
|
commitdiff
|
tree
2006-12-09
S
v
en Verdo
o
laege
lex
m
in: indicator_t
e
rm::is_oppo
s
i
te
:
assume numer
a
tors
.
.
.
commit
|
commitdiff
|
tree
2006-12-09
S
v
e
n
Verdoolaege
remove
_
a
l
l_equ
a
lities
:
h
andle
compress_v
a
riables returning
.
.
.
commit
|
commitdiff
|
tree
2006-12-09
S
v
en Verdoolaege
lexmi
n
: o
p
tiona
l
ly use c
d
d during basi
s
reduction
commit
|
commitdiff
|
tree
2006-12-09
Sven Ver
d
oolaege
Po
l
yhedron_Re
d
uced_
B
asis: optionally use cdd to solve
.
.
.
commit
|
commitdiff
|
tree
2006-12-09
Sven Verdoolaege
configure
.
in: check
for cddlib
commit
|
commitdiff
|
tree
2006-12-09
Sve
n
Verdoolaege
lexmin: Polyh
e
d
r
on_not_e
m
p
t
y: continue rem
o
ving e
q
ualities
commit
|
commitdiff
|
tree
2006-12-09
Sv
e
n
Verd
o
olaege
lexm
i
n: han
d
le equ
a
lities
among parameters
commit
|
commitdiff
|
tree
2006-12-09
Sven Verdoolaege
remove_all_eq
u
alities
:
ignore identity p
a
ra
m
eter compre
s
s
i
on
commit
|
commitdiff
|
tree
2006-12-09
S
ven Verdoolaege
remov
e
_e
q
u
a
lities
.
c: extracted
from barvinok
.
cc
commit
|
commitdiff
|
tree
2006-12-09
Sven Verdo
o
laege
g
enfun:
a
d
d
s
hor
t
_
r
at::no
r
mal
i
ze
commit
|
commitdiff
|
tree
2006-12-09
Sven Verdool
a
ege
genfun: add short_rat
cons
t
ructors
commit
|
commitdiff
|
tree
2006-12-09
Sven Verdoolae
g
e
evalue
.
c: evalue_denom
:
impr
o
ve comment
commit
|
commitdiff
|
tree
2006-12-09
S
ven Verdoolaege
l
e
xmin: Polyhedron_not_empty: check
r
e
sult returned
.
.
.
commit
|
commitdiff
|
tree
2006-12-07
Sven Verdoolaege
barvinok
.
cc: series: remove equalities using Preima
g
e
.
.
.
commit
|
commitdiff
|
tree
2006-12-07
Sven
Ver
d
oolaege
barv
i
no
k
_co
u
nt: collect stats on n
u
mber
of unimodular
.
.
.
commit
|
commitdiff
|
tree
2006-12-07
Sven Verdoolaege
util
.
c: tr
i
angulate_cone:
use bigger r
a
ndom v
a
lues
commit
|
commitdiff
|
tree
2006-12-07
Sven Ver
d
oo
l
aege
sample
.
c
:
Polyhedro
n
_
R
e
moveFi
x
edCol
u
mns: c
o
py c
o
nstants
.
.
.
commit
|
commitdiff
|
tree
2006-12-06
S
ve
n
Verdoolaege
bernst
e
in: piece
w
ise_lst::evaluate: f
i
x typo
commit
|
commitdiff
|
tree
2006-12-06
Sven
V
erdoolaege
conf
i
gure
.
i
n
: only
add -lb
e
rnstein to barvinok
.
pc if
.
.
.
commit
|
commitdiff
|
tree
2006-11-13
S
ven Verdool
a
ege
configure
.
i
n
: re
n
a
me --wi
t
h-ginac to --without-bern
s
te
i
n
commit
|
commitdiff
|
tree
2006-11-10
Sven Verdoolaege
configure
.
in:
a
l
l
ow build without GiNaC (and therefore
.
.
.
commit
|
commitdiff
|
tree
next