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
genfun.cc: short_rat::print: correctly print polynomials (no denominator)
2008-01-16
Sve
n
Ver
d
o
o
l
a
ege
genfun
.
cc: sh
o
rt_rat::p
r
int: co
r
r
ectly prin
t
polynom
i
als
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
S
v
en Verdo
o
laege
Export series as barvinok_en
u
merate_s
e
ries
a
nd use
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
S
ven Verdool
a
e
g
e
r
e
m
ove_parameter_equa
l
it
i
es: stop
"
removing"
e
qua
l
i
ti
e
s
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sv
e
n
Verdoola
e
ge
series: leav
e
freeing o
f
P ar
g
um
e
nt
t
o calling
fun
c
tion
commit
|
commitdiff
|
tree
2008-01-16
Sven
Ve
r
d
ool
a
ege
doc: document
i
mplemen
t
ation of
t
h
e pro
j
ection t
h
eorem
commit
|
commitdiff
|
tree
2008-01-16
Sven
V
er
d
oolaege
add barvinok_enumerate_e_serie
s
i
m
plementing
t
he projectio
n
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sve
n
Verdoolaege
g
e
nf
u
n
.
cc: fix and document pa
r
allel polytopes
c
l
ass
commit
|
commitdiff
|
tree
2008-01-16
S
v
en Verdoo
l
aege
Only comp
i
le zso
l
ve if
g
c
c
3
.
4
o
r la
t
er i
s
avai
l
able
commit
|
commitdiff
|
tree
2008-01-16
Sven
V
e
rdoola
e
ge
M
ove GiNaC-independent part of libr
a
r
y
to ba
r
vinok
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdool
a
ege
poly
l
ib: up
d
ate
commit
|
commitdiff
|
tree
2007-11-22
S
v
en Verdoolaege
doc: how to count the numb
e
r of ele
m
ents in possibly
.
.
.
commit
|
commitdiff
|
tree
2007-11-22
Sven
Verdoolaege
d
oc/imp
l
e
menta
t
ion
.
tex: avo
i
d multiply def
i
ned l
a
be
l
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdo
o
laege
lattice_
w
idth
.
c: try vert
i
ces of pr
e
vious i
n
tege
r
hulls
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Verd
o
o
l
aege
d
oc
:
docu
m
ent int
e
ger hull co
m
putation
commit
|
commitdiff
|
tree
2007-11-21
Sven
V
e
r
d
o
olaege
hull
.
c: add all points found by samplin
g
dir
e
c
t
ly to
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdoolaeg
e
Possi
b
le op
t
imiz
a
tions for generaliz
e
d basi
s
reduction
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdoolaege
Sup
p
ort u
s
e of
g
ener
a
li
z
ed
b
a
si
s
redu
c
t
ion to comp
u
te
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
S
v
e
n Verdoolaege
add Polyhedron_In
t
eg
e
r_Mini
m
u
m f
o
r c
o
mputing t
h
e integer
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
S
v
en Verdoolae
g
e
d
oc: d
o
cume
n
t
gener
a
liz
e
d basi
s
reduct
i
o
n
based intege
r
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
S
ven Ve
r
d
o
olaeg
e
doc/barvinok
.
bi
b
:
add
m
i
ss
i
ng str
i
ng
commit
|
commitdiff
|
tree
2007-11-17
Sven Verdoolaege
a
d
d more missing assert
.
h
#inclu
d
e
s
commit
|
commitdiff
|
tree
2007-11-15
Sven Verdoolaege
c
o
nfigure
.
in: o
n
ly compile li
b
barvinok as a static
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
S
ven Verdoolaege
Polyhed
r
on_
R
ed
u
c
ed_
B
as
i
s: don't stop to
o
early w
h
en
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sven
Verd
o
olaege
compu
t
e_
w
idth
_
direct
i
ons: only keep list
o
f dis
t
inct
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sven Verd
o
olaege
zs
o
lve:
d
on't instal
l
library
commit
|
commitdiff
|
tree
2007-11-08
Sven
Verdoo
l
a
e
ge
version
.
c: show
u
se of TOP
C
OM
commit
|
commitdiff
|
tree
2007-11-08
S
v
en
V
e
rdoolaeg
e
c
o
nfigure
.
i
n
:
do
n
't
s
et with_{poly,p
i
p}l
i
b_prefix from
.
.
.
commit
|
commitdiff
|
tree
2007-11-08
Sve
n
Ve
r
doolaeg
e
Polyhedron
_
Sample:
be s
a
t
i
sf
i
ed wit
h
a re
a
sonable choice
.
.
.
commit
|
commitdiff
|
tree
2007-11-08
Sven Verdoolaege
cone_integer_h
u
ll: optionally print stats
commit
|
commitdiff
|
tree
2007-11-08
Sven Ver
d
oolaege
b
a
si
s
_
re
d
uction: k
e
e
p
t
r
a
ck of number of
L
Ps solve
d
commit
|
commitdiff
|
tree
2007-11-08
Sve
n
V
e
r
doo
l
a
e
ge
options: move --print-stats to li
b
rary
commit
|
commitdiff
|
tree
2007-11-07
Sven Verdoolaege
bernste
i
n
:
rework te
s
ting framework to no
t
depe
n
d on
.
.
.
commit
|
commitdiff
|
tree
2007-11-07
S
v
en
Verdool
a
e
g
e
be
r
nstein
:
add p
i
ecewise_lst::is_equal
commit
|
commitdiff
|
tree
2007-11-07
S
ven
V
erdoolaege
support newer
versions of GiNaC
(
>= 1
.
3
.
8)
commit
|
commitdiff
|
tree
2007-11-07
Sven Verdoolaege
standard_c
o
nstrai
n
ts: move fr
o
m topcom
.
c to p
o
lysign
.
c
commit
|
commitdiff
|
tree
2007-11-07
Sv
e
n Verdoolaeg
e
p
o
lys
i
g
n
.
h: r
e
move dependency on lexmin
.
h
commit
|
commitdiff
|
tree
2007-11-07
Sven
V
erdoo
l
aege
zsolve: a
d
d banner
.
h to distributi
o
n
commit
|
commitdiff
|
tree
2007-11-06
Sven Ver
d
oolaege
Polyhedron_Lattice_Width_Dir
e
ctions: print
p
rogre
s
s
.
.
.
commit
|
commitdiff
|
tree
2007-11-06
Sven
V
erd
o
olaege
bas
i
s_reduction_pip: abort o
n
in
v
al
i
d (empt
y
) in
p
u
t
.
.
.
commit
|
commitdiff
|
tree
2007-11-02
Sv
e
n Verdoolaege
README: explain ho
w
to
g
et submodules
commit
|
commitdiff
|
tree
2007-11-02
Sven
V
erdoo
l
aege
doc:
d
oc
u
ment lattice width computation
commit
|
commitdiff
|
tree
2007-11-02
S
ven V
e
rdool
a
ege
some l
a
ttice w
i
dth tests fr
o
m Jon Ya
g
gie
commit
|
commitdiff
|
tree
2007-11-01
Sven Verdoolaege
Polyhed
r
on_L
a
ttice_Wid
t
h: decide on facets to close
.
.
.
commit
|
commitdiff
|
tree
2007-11-01
Sven Verdoo
l
a
ege
add Po
l
yhedron_Lattice_Width for compu
t
ing lattic
e
.
.
.
commit
|
commitdiff
|
tree
2007-11-01
Sven Verdoolaege
hilbert
.
c:
add Cone_Integer_Hull for computing
v
e
rtices
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven Verd
o
olaege
polysign: add pip-backed versio
n
commit
|
commitdiff
|
tree
2007-10-31
Sv
e
n
V
erd
o
olaege
polysign: add constra
i
nts
_
o
pt to compu
t
e optimum
over
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
polys
i
gn_
c
dd: switc
h
to use of Matr
i
x representation
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sv
e
n Verdoolaege
poly
s
ign_glpk: switc
h
to use of Matrix
r
e
p
re
s
e
ntatio
n
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sv
e
n Verdoolaege
doc: document computation of Hi
l
be
r
t basis of a cone
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
Cone_Hilbert_Basis: use s
t
a
nda
r
d_constraints to avo
i
d
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaeg
e
U
s
e zsolve to compute Hilbert basis
o
f a
c
one
commit
|
commitdiff
|
tree
2007-10-31
S
ven Verd
o
olaeg
e
com
p
ile zso
l
ve
commit
|
commitdiff
|
tree
2007-10-31
S
v
e
n Verdoolaege
zsolve: d
o
n't install headers and execu
t
a
b
les
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdool
a
ege
zsolve:
initialize Back
u
pTime in ZSo
l
veContext
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
zsolve: zsolveSyst
e
m: add
m
issing
verbosity check
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
zsolve: o
v
erride LIBS from top
l
evel
commit
|
commitdiff
|
tree
2007-10-31
Sve
n
Verdoolaege
add 4
t
i2-1
.
3
.
1
+
a
utoco
n
f-0
.
1
banner
commit
|
commitdiff
|
tree
2007-10-31
Sven V
e
rdoolaege
ad
d
zsolve from
4
t
i2-1
.
3
.
1+autoconf-0
.
1
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdool
a
ege
param
_
util
.
c
: exp
o
rt
b
it_vec
t
or_count
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
topcom
.
c: extract part of code for setti
n
g up stan
d
ard
.
.
.
commit
|
commitdiff
|
tree
2007-10-30
Sven Ver
d
oola
e
ge
gen
_
fun::
H
adam
a
rd_p
r
oduct: print prog
r
ess in
d
i
c
a
tor
.
.
.
commit
|
commitdiff
|
tree
2007-10-26
Sv
e
n Verdoolaege
m
o
v
e --
v
erbose optio
n
to library
commit
|
commitdiff
|
tree
2007-10-25
S
ven Verdoolaege
gen_fun::
s
umma
t
e: han
d
le full specialization
commit
|
commitdiff
|
tree
2007-10-25
Sven Ve
r
do
o
l
a
ege
Rep
l
ace incremental infinit
e
s
e
t
c
ounter by "
r
egular
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verd
o
olaege
make c
o
unter
:
:add_f
a
lling_powers
s
tati
c
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
merg
e
(most of) common part of count
e
r and
tcounter
commit
|
commitdiff
|
tree
2007-10-25
Sven Verd
o
olaege
i
c
o
u
nter
:
handle specializat
i
on
o
f polynomials
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
icounter: don't b
o
ther
"
n
o
rmalizing" the exp
o
nents
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven
Verdoolaege
export ne
g
_left
_
hermite
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
Verdoolaege
basis_redu
c
tion_
c
dd:
c
hec
k
for possibly incorrect output
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Ve
r
doolaege
Polyhedron_S
a
mple: handl
e
polyhedron becoming empty
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolae
g
e
gen_fun::o
p
erator evalue *: always
r
eturn
a
va
l
i
d
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
V
e
rdoolaege
gen_fun::op
e
rator ev
a
lue *:
r
emove
c
om
m
ent
e
d out
debuggin
g
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
Verdoola
e
ge
barvinok_e
n
umerate_e
.
cc: h
a
ndl
e
verification of problems
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
bar
v
ino
k
_enum
e
ra
t
e
_
e: option
a
lly prin
t
stats
commit
|
commitdiff
|
tree
2007-10-25
S
ven
Verdoolae
g
e
barvinok
_
enumerate_e: support verificat
i
on of g
e
ne
r
at
i
n
g
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
ven Verdo
o
laege
barvinok_
e
numerate_e: support conversion of
g
e
nerating
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaeg
e
lattice_points: another micro-optimi
z
ation
commit
|
commitdiff
|
tree
2007-10-25
S
v
en Verdoolaege
lat
t
ice_poi
n
t
s_fix
e
d:
n
ano-o
p
timization
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
erdoo
l
aege
gen_
f
un::a
d
d
: con
t
ex
t
of sum should be union
of contexts
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n Verdoolaege
bar
v
inok_enumerate: use verify infras
t
r
u
cture f
o
r verifying
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
v
en Ve
r
doolaege
g
e
n
fun
.
c
c
: print_
p
ow
e
r: drop spa
c
e
s
aroun
d
"
/
" wh
e
n
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Ve
r
d
oolaege
c
ount_points_e: f
a
ll back to co
u
nt_points i
f
t
h
ere
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
v
en V
e
rdoolaege
Makefile
.
a
m: check-e
v
alue: print name of each
test
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
v
e
n V
e
rdoolaege
v
e
r
ify: a
d
d
check_po
l
y_
p
rin
t
hel
p
er func
t
ion
commit
|
commitdiff
|
tree
2007-10-25
S
v
e
n Verdo
o
laege
gen_fun: make sure
c
ont
e
xt is alwa
y
s
s
e
t
commit
|
commitdiff
|
tree
2007-10-25
Sven Ver
d
o
olae
g
e
reducer::red
u
c
e
: canonicalize coe
f
ficients i
n
eac
h
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n Verdoolaeg
e
sh
o
rt_rat
:
:pr
i
nt: co
r
rectly print out terms with a
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
v
en V
e
rdoolae
g
e
ba
r
vinok_series: rec
h
eck
for equa
l
ities
after computing
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdo
o
laeg
e
export Mat
r
ix_Read for reading Matrix
f
rom a
s
t
ream
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
erdoolaege
param_u
t
i
l
.
c:
a
dd Param_Vertex_D
o
m
a
in
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
util
.
c: supporting_constraints
:
r
e
tur
n
b
it vector
commit
|
commitdiff
|
tree
2007-10-25
S
v
en Verdool
a
ege
polylib: up
d
ate for
Matr
i
x_
E
xtend
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n Verdoolaege
opt
i
ons
.
c: use
P
olyhedron_Samp
l
e for counting infi
n
i
te
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoo
l
aege
keep track
o
f
and use saturati
n
g co
n
str
a
ints
i
n P
a
ram_Polyhedron
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdool
a
ege
move value_gcd
an
d
value_lcm to polylib
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
Verdoolaege
Ber
n
o
ulli_sum
_
evalue: only compute exa
c
t
s
um i
f
ap
p
roximatio
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n Verdoolaeg
e
Bernoull
i
_sum
_
evalue:
s
um over
variables with
integer
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n
V
erd
o
olaege
evalue
.
c: expor
t
evalue_var
commit
|
commitdiff
|
tree
next