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
distribute cdd2polylib.pl
2004-08-01
skimo
b
a
i
l early
o
n
empty polytope
commit
|
commitdiff
|
tree
2004-08-01
skimo
r
e
duce
higher degrees of f
r
a
c
t
ional par
t
s with floor
.
.
.
commit
|
commitdiff
|
tree
2004-08-01
skimo
o
nly rays
i
nv
o
lving th
e
real
v
ariabl
e
s
l
ead t
o
un
b
o
unded
.
.
.
commit
|
commitdiff
|
tree
2004-08-01
s
k
im
o
perform range reduction
if request
e
d
commit
|
commitdiff
|
tree
2004-08-01
sk
i
mo
only calcula
t
e
o
nce for part
that is i
n
dep
e
ndent of
.
.
.
commit
|
commitdiff
|
tree
2004-07-31
skimo
perform another
r
ange r
e
d
uc
t
ion after summa
t
ion
commit
|
commitdiff
|
tree
2004-07-31
skimo
D
e
composit
i
ons based on validity domains and
parametric
.
.
.
commit
|
commitdiff
|
tree
2004-07-30
skimo
sp
l
it off part that certainl
y
con
t
ains latt
i
ce points
commit
|
commitdiff
|
tree
2004-07-30
skimo
routine
f
o
r reducing to zero
variabl
e
s case
commit
|
commitdiff
|
tree
2004-07-30
skimo
use newly ad
d
ed routine
commit
|
commitdiff
|
tree
2004-07-30
s
kimo
a
polyto
p
e with rays ind
e
pendent of
t
h
e
exis
t
ential
.
.
.
commit
|
commitdiff
|
tree
2004-07-30
skimo
check for empty
p
olyt
o
pe
commit
|
commitdiff
|
tree
2004-07-30
s
k
imo
simp
l
ify constrain
t
s on each invocation o
f
b
a
rvin
o
k_enumerat
.
.
.
commit
|
commitdiff
|
tree
2004-07-30
skimo
extract out routi
n
e for
"
or"ing
commit
|
commitdiff
|
tree
2004-07-30
ski
m
o
un
u
sed routine for removing
do
u
bl
e
bounds
commit
|
commitdiff
|
tree
2004-07-30
skimo
send deb
u
g output t
o
stderr in (unused) unfr
i
nge
commit
|
commitdiff
|
tree
2004-07-30
skimo
mak
e
d
e
buggin easier by keeping track of recursion
.
.
.
commit
|
commitdiff
|
tree
2004-07-30
s
k
im
o
extract out ro
u
tine to align constraint along
a
l
inear
.
.
.
commit
|
commitdiff
|
tree
2004-07-30
skimo
If one
of the hyperpla
n
es has
t
o
be
i
n
d
ep
e
ndent as
.
.
.
commit
|
commitdiff
|
tree
2004-07-30
s
k
im
o
Ensure tha
t
first varia
b
le i
s
ma
d
e
negative insid
e
.
.
.
commit
|
commitdiff
|
tree
2004-07-30
skim
o
E
n
sure that splitting wi
l
l
r
educe the number of existe
n
tia
l
commit
|
commitdiff
|
tree
2004-07-30
skimo
ab
s
tract out ha
n
dling of m
u
ltiple vali
d
i
ty do
m
ains
commit
|
commitdiff
|
tree
2004-07-29
skimo
Ext
r
a check that is p
r
o
b
ab
l
y not needed
commit
|
commitdiff
|
tree
2004-07-29
skimo
handle c
o
mposed va
l
idity do
m
a
ins
commit
|
commitdiff
|
tree
2004-07-29
s
k
imo
reduce
a
ft
e
r su
m
m
a
tion
commit
|
commitdiff
|
tree
2004-07-29
skimo
d
o
n'
t
creat
e
empty parti
t
io
n
s
commit
|
commitdiff
|
tree
2004-07-29
skimo
allow e
v
aluation
o
f floorings
commit
|
commitdiff
|
tree
2004-07-29
skimo
perform (t
r
i
v
ia
l
) reduction on floorin
g
s
commit
|
commitdiff
|
tree
2004-07-29
skimo
make reor
d
er_terms work
for floorings
commit
|
commitdiff
|
tree
2004-07-29
ski
m
o
c
orrect check f
o
r
1
commit
|
commitdiff
|
tree
2004-07-29
skimo
b
e
more strict when comparing two rationals
commit
|
commitdiff
|
tree
2004-07-29
skimo
typo in
comment
commit
|
commitdiff
|
tree
2004-07-21
skimo
hand
l
e ca
s
e o
f
all
e
mpty validity
domai
n
s
commit
|
commitdiff
|
tree
2004-07-21
sk
i
mo
support po
l
y
n
o
m
ials
in
"real"
p
a
r
ameters
commit
|
commitdiff
|
tree
2004-07-21
s
k
i
m
o
h
andle neg
a
t
ive values o
f
summ
e
d
variable
commit
|
commitdiff
|
tree
2004-07-21
skimo
ch
e
ck whether POL
Y
TO
P
E_PREFIX is actually set
commit
|
commitdiff
|
tree
2004-07-20
sk
i
mo
floor conve
r
si
o
n a
n
d part
i
al implementation of
esum
commit
|
commitdiff
|
tree
2004-07-20
skimo
p
o
s starts at 1
commit
|
commitdiff
|
tree
2004-07-19
s
kimo
minor reordering
o
f
co
d
e
commit
|
commitdiff
|
tree
2004-07-19
sk
i
mo
split
off more common code
commit
|
commitdiff
|
tree
2004-07-19
ski
m
o
revert chan
g
e c
o
m
m
ited by accident
commit
|
commitdiff
|
tree
2004-07-19
skimo
add collect_polytopes
.
c
commit
|
commitdiff
|
tree
2004-07-18
skimo
r
ecurse
i
nto the correct vers
i
on of count_p
o
ints
commit
|
commitdiff
|
tree
2004-07-18
skimo
"or"-split fo
r
cas
e
wi
t
h o
n
l
y existential variables
commit
|
commitdiff
|
tree
2004-07-18
ski
m
o
allo
w
s
p
lit on other than f
i
r
s
t
existe
n
tial variab
l
e
commit
|
commitdiff
|
tree
2004-07-18
s
ki
m
o
e
xt
r
act
o
u
t cod
e
to spli
t
on a co
n
straint
commit
|
commitdiff
|
tree
2004-07-17
s
kimo
"existential" vers
i
o
n
of ve
r
if_ehrhart
commit
|
commitdiff
|
tree
2004-07-17
skim
o
pr
o
vide e
v
alu
e
to enumeration conversion
commit
|
commitdiff
|
tree
2004-07-17
sk
i
mo
adap
t
to deal with existential variables
commit
|
commitdiff
|
tree
2004-07-16
ski
m
o
copied from e
h
rhar
t
.
c fro
m
Poly
l
i
b
dis
t
ribution
commit
|
commitdiff
|
tree
2004-07-14
skim
o
handl
e
trivial
case
of
only existenti
a
l variabl
e
s
commit
|
commitdiff
|
tree
2004-07-14
skimo
It should be
s
ufficien
t
that one of the
bounds is independent
commit
|
commitdiff
|
tree
2004-07-14
skimo
don't coun
t
storage spa
c
e for the rays
commit
|
commitdiff
|
tree
2004-07-06
skimo
bump
version
commit
|
commitdiff
|
tree
2004-07-06
s
k
imo
fix up ch
a
ngelog
commit
|
commitdiff
|
tree
2004-07-06
skimo
bump v
e
r
s
ion so
m
e
more since
w
e
c
hanged
the in
t
erface
commit
|
commitdiff
|
tree
2004-07-06
skimo
turn of debugging
m
essag
e
s
commit
|
commitdiff
|
tree
2004-07-06
skimo
up
d
ate
commit
|
commitdiff
|
tree
2004-07-06
sk
i
mo
brief
des
c
r
ipt
i
o
n of the input
commit
|
commitdiff
|
tree
2004-07-06
s
k
imo
r
e
p
lace m
o
du
l
o
b
y fr
a
ctio
n
al
commit
|
commitdiff
|
tree
2004-07-06
skimo
r
emove empty part
i
tions
i
n place
commit
|
commitdiff
|
tree
2004-07-06
ski
m
o
mo
r
e m
e
mory
leaks
commit
|
commitdiff
|
tree
2004-07-06
s
k
imo
m
emory l
e
ak
commit
|
commitdiff
|
tree
2004-07-06
skimo
p
o
tential memory leak
commit
|
commitdiff
|
tree
2004-07-06
s
k
imo
(potential) me
m
ory leaks
commit
|
commitdiff
|
tree
2004-07-06
s
k
imo
print more
i
nfo
commit
|
commitdiff
|
tree
2004-07-05
skimo
p
r
eload
l
ibra
r
y
t
o
co
u
nt
t
he nu
m
ber
of va
l
idity d
o
mains
commit
|
commitdiff
|
tree
2004-07-01
skimo
memory leak
commit
|
commitdiff
|
tree
2004-07-01
skimo
memor
y
leak
commit
|
commitdiff
|
tree
2004-07-01
skim
o
memory leak
commit
|
commitdiff
|
tree
2004-07-01
skimo
memory le
a
k
commit
|
commitdiff
|
tree
2004-06-26
skimo
Use funct
i
o
n
for copying eval
u
e
.
commit
|
commitdiff
|
tree
2004-06-26
skimo
order per
i
odics in mu
l
tiplica
t
ion a
s
well
commit
|
commitdiff
|
tree
2004-06-26
skimo
copy value
b
efore fre
e
i
ng
commit
|
commitdiff
|
tree
2004-06-26
skimo
r
egres
s
ion test
commit
|
commitdiff
|
tree
2004-06-26
skimo
handle case where polytope has no "
r
eal" dimension
s
.
.
.
commit
|
commitdiff
|
tree
2004-06-25
skimo
Use smallest repr
e
sentative i
n
absolu
t
e value rath
e
r
.
.
.
commit
|
commitdiff
|
tree
2004-06-25
skimo
Debugging output to e
v
alu
a
te t
h
e usefulness of seve
r
al
commit
|
commitdiff
|
tree
2004-06-25
skimo
Add c
o
nstraint if e
x
p
r
ession i
s
on
l
y int
e
ger f
o
r a
.
.
.
commit
|
commitdiff
|
tree
2004-06-25
skim
o
perform r
a
n
g
e reduction on condition
of
r
e
lati
o
n
commit
|
commitdiff
|
tree
2004-06-25
sk
i
m
o
fully propagate reordering
commit
|
commitdiff
|
tree
2004-06-24
sk
i
mo
partially propa
g
ate r
e
ordering and reduce in case of
.
.
.
commit
|
commitdiff
|
tree
2004-06-24
s
kimo
remov
e
comm
e
nt
commit
|
commitdiff
|
tree
2004-06-24
skimo
Range reduction a
n
d
some auxiliary func
t
ions
.
commit
|
commitdiff
|
tree
2004-06-24
skimo
Inve
r
t
a fractional if l
e
adi
n
g coefficient becomes
.
.
.
commit
|
commitdiff
|
tree
2004-06-24
s
kim
o
remove debuggin
g
output
commit
|
commitdiff
|
tree
2004-06-24
sk
i
mo
Remove inva
l
id memor
y
a
c
ce
s
s
.
commit
|
commitdiff
|
tree
2004-06-23
skimo
recompute dom
a
ins
commit
|
commitdiff
|
tree
2004-06-23
skimo
com
p
ute size of all subdomains
commit
|
commitdiff
|
tree
2004-06-23
skimo
tr
i
via
l
recombinati
o
n
commit
|
commitdiff
|
tree
2004-06-23
skimo
a
lso i
n
vert
when constant
is half
t
h
e
mo
d
u
lo,
since
.
.
.
commit
|
commitdiff
|
tree
2004-06-23
skimo
Allow mo
r
e frac
i
tona
l
subst
i
tu
t
ions, i
n
particu
l
ar
commit
|
commitdiff
|
tree
2004-06-23
s
k
imo
s
e
a
rch for pair of fractionals
t
h
at ca
n
(optimally
.
.
.
commit
|
commitdiff
|
tree
2004-06-23
sk
i
mo
always
p
rovide
subst structur
e
(even
if em
p
ty)
commit
|
commitdiff
|
tree
2004-06-22
skimo
avoid infi
n
ite loop caused
b
y splitting
off noth
i
ng
commit
|
commitdiff
|
tree
2004-06-22
skimo
remove relati
o
n if branches are identical
commit
|
commitdiff
|
tree
2004-06-22
skimo
rem
o
ve r
e
duced relations
commit
|
commitdiff
|
tree
2004-06-21
skimo
r
e
place { E/m
}
by { (E-1)/m }
+
1/m if { E/m
}
!= 0
commit
|
commitdiff
|
tree
2004-06-21
skimo
numerator can ne
v
e
r
be
n
egative inside
f
ractio
n
al
commit
|
commitdiff
|
tree
2004-06-21
skimo
o
ptionally print "size"
o
f
enu
m
eration
commit
|
commitdiff
|
tree
next