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
euler.cc: evalue_derive: handle constant polynomials
2007-11-07
Sv
e
n Verdoolaege
s
upport ne
w
er versions of GiNaC (>= 1
.
3
.
8)
commit
|
commitdiff
|
tree
2007-11-07
Sven
Verdoolaege
stand
a
r
d_constrain
t
s: move
from topcom
.
c to p
o
lysign
.
c
commit
|
commitdiff
|
tree
2007-11-07
Sven Verdoolaege
polysign
.
h: remove dependency on lexmin
.
h
commit
|
commitdiff
|
tree
2007-11-07
S
v
en Verdoolae
g
e
zsolve
:
add ban
n
er
.
h to distri
b
u
tion
commit
|
commitdiff
|
tree
2007-11-06
Sv
e
n Ve
r
doolaege
Polyh
e
dron
_
L
a
t
tice_Wid
t
h_Direction
s
: prin
t
progress
.
.
.
commit
|
commitdiff
|
tree
2007-11-06
Sven
Verdoolaege
basi
s
_redu
c
ti
o
n_p
i
p
: abo
r
t
on inv
a
lid (empty)
i
nput
.
.
.
commit
|
commitdiff
|
tree
2007-11-02
S
v
e
n
V
erdoolaege
REA
D
ME: explain
h
o
w
to get submodules
commit
|
commitdiff
|
tree
2007-11-02
Sven V
e
rd
o
olaeg
e
doc: document latt
i
ce
width com
p
utation
commit
|
commitdiff
|
tree
2007-11-02
Sven Verdoolae
g
e
s
o
me lattice w
i
dt
h
test
s
fro
m
Jon Yaggie
commit
|
commitdiff
|
tree
2007-11-01
S
ven Verdoolaege
Polyhedro
n
_Lattice_Width: d
e
cide on
facets
to clos
e
.
.
.
commit
|
commitdiff
|
tree
2007-11-01
S
v
e
n
Verdoolaeg
e
add P
o
lyhed
r
on_Lattice_Width for
computing
l
attice
.
.
.
commit
|
commitdiff
|
tree
2007-11-01
Sven Verdoolaege
h
i
lber
t
.
c: add Cone
_
Inte
g
e
r
_Hu
l
l
for computi
n
g
v
ertices
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven V
e
rdoolaege
polysign: add
pip-bac
k
ed ve
r
sion
commit
|
commitdiff
|
tree
2007-10-31
Sven
V
erdoolaege
polysign: add constraints_opt to comput
e
opt
i
mum over
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven Ver
d
o
o
la
e
g
e
p
o
ly
s
ign_
c
dd: switc
h
to use of Matrix rep
r
es
e
ntation
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven
Verdoolaege
p
o
lysign_g
l
pk: s
w
itch to use of Matrix
r
eprese
n
tation
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
doc: document comput
a
tion of Hilbert
basis
o
f a cone
commit
|
commitdiff
|
tree
2007-10-31
Sven Ver
d
oolaege
C
o
n
e
_Hilbert_Ba
s
is:
u
se
standard_constra
i
n
t
s
t
o avoid
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sve
n
Verdoolaege
Use
z
solve to compute Hilbert basis of
a con
e
commit
|
commitdiff
|
tree
2007-10-31
Sven Ver
d
oolaege
co
m
pile z
s
olve
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
zso
l
ve:
don't instal
l
h
ea
d
ers and executa
b
l
es
commit
|
commitdiff
|
tree
2007-10-31
Sve
n
Verdoo
l
aege
zsolve
:
initi
a
lize BackupTim
e
in ZSolveContext
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
zsolve: zsol
v
eSystem: ad
d
missing verbosity
c
h
e
ck
commit
|
commitdiff
|
tree
2007-10-31
Sv
e
n Verdoolaege
zs
o
lve
:
override LI
B
S from
t
op level
commit
|
commitdiff
|
tree
2007-10-31
Sven
V
erdoola
e
ge
add 4ti2
-
1
.
3
.
1+autoconf-0
.
1 banner
commit
|
commitdiff
|
tree
2007-10-31
S
v
en Verdoolaege
a
dd
z
solve from 4ti2-1
.
3
.
1+autoconf-0
.
1
commit
|
commitdiff
|
tree
2007-10-31
Sven V
e
rdoolaege
p
a
ram_util
.
c
:
expo
r
t b
i
t
_vector_count
commit
|
commitdiff
|
tree
2007-10-31
Sven Verd
o
olaege
topcom
.
c:
extract part
of code
for setting up sta
n
dard
.
.
.
commit
|
commitdiff
|
tree
2007-10-30
Sve
n
Verdoolaege
gen_fun::
H
ada
m
ard_produc
t
: pri
n
t progre
s
s indicator
.
.
.
commit
|
commitdiff
|
tree
2007-10-26
Sven Verdo
o
laeg
e
move --verbos
e
option to libr
a
r
y
commit
|
commitdiff
|
tree
2007-10-25
S
v
en Ve
r
doo
l
aege
gen_fun::sum
m
ate: hand
l
e f
u
ll spe
c
ialization
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
R
eplace inc
r
emental inf
i
ni
t
e set count
e
r by "re
g
u
l
ar
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
make counter
:
:add_fall
i
ng_powers static
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdool
a
ege
merg
e
(
m
ost
o
f)
c
ommon
p
art of
counter
a
nd tcounter
commit
|
commitdiff
|
tree
2007-10-25
Sven V
e
rdoolae
g
e
icount
e
r: hand
l
e specialization of
po
l
ynomials
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdo
o
laege
icoun
t
er:
don't bot
h
er "normalizin
g
" the
exponents
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Ver
d
oolae
g
e
export neg_l
e
f
t_hermit
e
commit
|
commitdiff
|
tree
2007-10-25
S
v
en Verdoolaege
basis_reduc
t
ion
_
cdd: check for
p
ossibly i
n
correct output
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdool
a
e
ge
Polyhedro
n
_
S
ample: handle polyhedron bec
o
ming empty
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
gen
_
fun::operator ev
a
lu
e
*: always ret
u
rn
a
valid
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
gen_fun::
o
pera
t
o
r
evalue *: remove comm
e
nted out
d
e
buggi
n
g
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n
V
erdoolaege
barvi
n
ok_enumerate_e
.
cc
:
han
d
l
e
verification of problems
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
ven
Verdoolaege
bar
v
inok_enumerate_e: optiona
l
ly pri
n
t stats
commit
|
commitdiff
|
tree
2007-10-25
Sven V
e
rdo
o
laege
barvinok_enu
m
erate_e: suppor
t
ve
r
ification of gen
e
rating
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Ve
r
doolaege
barvinok_en
u
merate_e: sup
p
ort
conversion o
f
g
enerating
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaeg
e
l
a
ttice_poi
n
t
s: ano
t
he
r
mi
c
ro-opti
m
ization
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
l
attice_points_fixe
d
: nano-optimization
commit
|
commitdiff
|
tree
2007-10-25
Sven V
e
rdoolaege
gen_
f
un::a
d
d: context of
s
um shou
l
d be union
of contexts
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolae
g
e
barvinok_enumerate: us
e
verify infras
t
ruct
u
r
e for verifying
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven
Verdo
o
laege
genfun
.
cc: print_pow
e
r: drop spaces around "/" when
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
count_points_e: fall back to
c
o
unt
_
points if there
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
Verdo
o
laege
Makefile
.
am: check-evalue: pri
n
t name of each test
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verd
o
ol
a
ege
verify: ad
d
c
h
eck_poly_print helper fun
c
tion
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
gen_fu
n
: m
a
ke sure context is always set
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
reducer::reduce: canonicalize coefficients in each
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
Ver
d
oo
l
aege
sho
r
t_rat::print
:
c
o
rrectly pr
i
nt
out t
e
r
m
s
with a
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
ba
r
vinok_series
:
recheck for eq
u
alities after computi
n
g
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdool
a
ege
ex
p
o
rt Matrix_Read fo
r
reading Matri
x
f
rom
a
stream
commit
|
commitdiff
|
tree
2007-10-25
S
ven
V
erdool
a
eg
e
param_util
.
c: a
d
d
Param
_
Verte
x
_Do
m
ain
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n
Verd
o
o
laege
u
til
.
c: suppo
r
t
ing_con
s
traints
:
return
b
it
vector
commit
|
commitdiff
|
tree
2007-10-25
Sven Ve
r
doolaege
pol
y
l
i
b: update fo
r
Matrix
_
Extend
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoola
e
ge
opt
i
o
n
s
.
c: use Polyhed
r
on_Sample fo
r
count
i
ng infinite
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Ver
d
oolaege
kee
p
track of and u
s
e saturating
c
o
nstraints in Param_Poly
h
edron
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoo
l
aege
move value_gcd and value_lcm
to
p
olylib
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
Bernou
l
li
_
sum
_
evalue:
only compute
exact sum if appr
o
xim
a
tio
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
Bernoul
l
i_s
u
m_evalue: sum o
v
er varia
b
les
with integer
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
v
en V
e
rdoolaege
evalue
.
c
:
e
xp
o
rt evalue_var
commit
|
commitdiff
|
tree
2007-10-25
Sven Verd
o
olaege
P
olyhedron_ExchangeColumns: nor
m
alize constraints
a
fter
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n Verdoolaeg
e
e
xport Polyhedron_Excha
n
g
e
Columns
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoola
e
ge
eval
u
e_p
o
lynomia
l
: op
t
im
i
ze evaluation in zer
o
commit
|
commitdiff
|
tree
2007-10-25
Sven
Verdo
o
laege
evalue
.
c: emul:
handle another special c
a
se
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
evalue
.
c: eadd: handle some spe
c
ial cases
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoola
e
ge
intro
d
uce and use ev
a
lue
_
fre
e
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
Verdool
a
e
g
e
eval
u
e
.
c:
e
add: micro-optimize addition of two
r
ati
o
nal
s
commit
|
commitdiff
|
tree
2007-10-25
Sven Ver
d
oolaege
s
e
tting
a
n appro
x
i
m
at
i
on
method now impli
e
s polynomial
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
v
e
n Verdool
a
ege
barvinok_sum
m
ate: optio
n
a
lly use Bernoulli/Faulh
a
ber
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
Verdoolaeg
e
Bernoulli_sum_eva
l
ue:
use
evalue_from_sect
i
on_array
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
v
en
V
erdoolaege
b
a
rv
i
nok/polylib
.
h
: re
m
ove compatibilit
y
with older
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoo
l
aeg
e
m
ove Ve
c
to
r
_Oppose to PolyLib
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
erdoolaege
polytope_scan: reenab
l
e -
-
direct option
commit
|
commitdiff
|
tree
2007-10-20
Sven Verdoolaege
re
m
o
ve_a
l
l_
e
qual
i
ties: keep removi
n
g eq
u
alities unt
i
l
.
.
.
commit
|
commitdiff
|
tree
2007-10-20
Sven Verdoolaege
remove_all_equalities: ha
n
d
l
e empt
y
po
l
yhed
r
on det
e
cted
.
.
.
commit
|
commitdiff
|
tree
2007-10-20
Sven Verd
o
olaege
rem
o
ve_all_equalities
:
minor code clea
n
-up
commit
|
commitdiff
|
tree
2007-10-20
Sven Ver
d
oo
l
aege
export Polyhedron_Matrix_V
i
ew
commit
|
commitdiff
|
tree
2007-10-16
Sv
e
n
Verdoo
l
aege
polar_
s
igned
_
cone_consumer
:
clean
u
p memory o
n
inap
p
r
o
priate
.
.
.
commit
|
commitdiff
|
tree
2007-10-05
Sv
e
n Verdoolaege
P
ara
m
_In
n
er_P
r
oduct: fix use of
v
a
lue_lcm
commit
|
commitdiff
|
tree
2007-09-28
Sven Verdoolaege
d
oc: fix typo in Michele Vergne's name
commit
|
commitdiff
|
tree
2007-09-21
Sven Ver
d
oo
l
ae
g
e
Add missing
files from polymake cl
i
en
t
to distribution
commit
|
commitdiff
|
tree
2007-09-21
Sven Verdoolaege
Us
e
g
mp's
gcd rat
h
er t
h
an PolyLib'
s
commit
|
commitdiff
|
tree
2007-09-21
Sven Verdoolaeg
e
po
l
ymak
e
/
R
EADME: mention
--with-barvinok c
o
nfigure
.
.
.
commit
|
commitdiff
|
tree
2007-09-21
Sven Verdoola
e
ge
p
o
lym
a
ke/Make
f
ile
.
in: add work-around for polymake 2
.
3
commit
|
commitdiff
|
tree
2007-09-21
Sven Verdoolaege
evalue
.
c:
print_
e
value
:
alwa
y
s pri
n
t
n
ewline at the
.
.
.
commit
|
commitdiff
|
tree
2007-09-20
Sven Verdoolaege
options
.
c: fi
x
typo in --approximati
o
n-me
t
hod description
commit
|
commitdiff
|
tree
2007-09-15
Sven Verdoolaege
topcom:
f
ix
heu
r
i
stic for s
e
lecting
r
ows to use as
.
.
.
commit
|
commitdiff
|
tree
2007-09-11
Sven Verdoolaege
barvinok
0
.
25
commit
|
commitdiff
|
tree
2007-09-11
Sv
e
n Verdoolaege
Merg
e
branch 'topcom'
commit
|
commitdiff
|
tree
2007-09-11
Sven Verdoolaege
Document T
O
P
COM base
d
chamber
d
ecom
p
o
s
ition
commit
|
commitdiff
|
tree
2007-09-11
Sve
n
V
e
rdoo
l
aege
t
e
st TOPCOM chamber decom
p
osit
i
o
n
commit
|
commitdiff
|
tree
2007-09-11
Sven Verd
o
o
laege
Optionally use TO
P
COM to compute chamber
decompos
i
t
i
ons
.
commit
|
commitdiff
|
tree
2007-09-11
Sven
V
e
rdoolaeg
e
l
exmin: add (protected) missing algorithm i
n
clude
commit
|
commitdiff
|
tree
next