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
skim
o
bai
l
early on
empty p
o
l
ytope
commit
|
commitdiff
|
tree
2004-08-01
skimo
reduce
higher degrees of
fractional par
t
s with f
l
o
or
.
.
.
commit
|
commitdiff
|
tree
2004-08-01
skimo
only rays involving the real
v
aria
b
l
e
s lead to unbounded
.
.
.
commit
|
commitdiff
|
tree
2004-08-01
s
k
imo
pe
r
form range reduction if
req
u
ested
commit
|
commitdiff
|
tree
2004-08-01
skimo
only calculate o
n
ce for part tha
t
is independent of
.
.
.
commit
|
commitdiff
|
tree
2004-07-31
s
kimo
p
e
r
form another r
a
nge
r
e
d
u
ction
after summation
commit
|
commitdiff
|
tree
2004-07-31
skimo
Decomposit
i
ons base
d
on
v
ali
d
i
ty doma
i
ns and paramet
r
ic
.
.
.
commit
|
commitdiff
|
tree
2004-07-30
s
k
imo
split off
part that cert
a
inly co
n
tains
l
atti
c
e
poi
n
t
s
commit
|
commitdiff
|
tree
2004-07-30
s
kimo
routine for reducing to zero va
r
i
ables cas
e
commit
|
commitdiff
|
tree
2004-07-30
skimo
use newly a
d
d
e
d
routine
commit
|
commitdiff
|
tree
2004-07-30
ski
m
o
a p
o
l
ytope w
i
t
h rays independe
n
t
of the
e
xistential
.
.
.
commit
|
commitdiff
|
tree
2004-07-30
skimo
ch
e
c
k
f
or empty polytope
commit
|
commitdiff
|
tree
2004-07-30
skimo
sim
p
l
i
fy
const
r
a
ints on each invo
c
ation of
b
arvinok
_
enumerat
.
.
.
commit
|
commitdiff
|
tree
2004-07-30
skimo
extract
o
u
t
r
o
u
t
ine for "or
"
ing
commit
|
commitdiff
|
tree
2004-07-30
skimo
u
n
used routin
e
for
r
emovin
g
dou
b
l
e bounds
commit
|
commitdiff
|
tree
2004-07-30
skimo
s
e
n
d debug output to s
t
de
r
r in (unused
)
unfring
e
commit
|
commitdiff
|
tree
2004-07-30
skimo
mak
e
debug
g
i
n easie
r
by keeping track
of rec
u
r
s
ion
.
.
.
commit
|
commitdiff
|
tree
2004-07-30
sk
i
mo
e
x
tract out routine t
o
ali
g
n constraint along a l
i
ne
a
r
.
.
.
commit
|
commitdiff
|
tree
2004-07-30
skimo
If one of t
h
e
hyper
p
lanes has to
be
i
ndependent as
.
.
.
commit
|
commitdiff
|
tree
2004-07-30
s
k
imo
Ensure that fir
s
t variabl
e
is made negative i
n
side
.
.
.
commit
|
commitdiff
|
tree
2004-07-30
skimo
Ensu
r
e that s
p
litting will reduce
t
he number o
f
exi
s
tential
commit
|
commitdiff
|
tree
2004-07-30
skimo
abstract out
h
andling o
f
multipl
e
v
alid
i
ty domains
commit
|
commitdiff
|
tree
2004-07-29
skimo
Extr
a
check t
h
at is probably not needed
commit
|
commitdiff
|
tree
2004-07-29
ski
m
o
handle
c
om
p
osed val
i
dity do
m
ains
commit
|
commitdiff
|
tree
2004-07-29
ski
m
o
redu
c
e af
t
er summat
i
o
n
commit
|
commitdiff
|
tree
2004-07-29
skimo
don't create empty
partition
s
commit
|
commitdiff
|
tree
2004-07-29
skimo
allow
e
va
l
u
a
tion of floorings
commit
|
commitdiff
|
tree
2004-07-29
s
kimo
perform (t
r
i
v
i
al) reduction on
fl
o
orings
commit
|
commitdiff
|
tree
2004-07-29
skim
o
make reorde
r
_t
e
rms
work for floorings
commit
|
commitdiff
|
tree
2004-07-29
skimo
c
o
r
rect check for 1
commit
|
commitdiff
|
tree
2004-07-29
skimo
be
m
ore strict when
comp
a
ring t
w
o
r
ational
s
commit
|
commitdiff
|
tree
2004-07-29
skimo
typo i
n
comment
commit
|
commitdiff
|
tree
2004-07-21
skimo
handle case
of al
l
empty val
i
dity
domains
commit
|
commitdiff
|
tree
2004-07-21
skimo
support
p
olynomia
l
s in "r
e
al"
p
aram
e
ters
commit
|
commitdiff
|
tree
2004-07-21
skimo
h
a
ndle
nega
t
i
v
e values of summed
v
ariable
commit
|
commitdiff
|
tree
2004-07-21
skim
o
che
c
k
w
h
ether PO
L
YTOPE_PRE
F
IX
i
s actually set
commit
|
commitdiff
|
tree
2004-07-20
skim
o
fl
o
or
conversi
o
n
and partial implementati
o
n o
f
es
u
m
commit
|
commitdiff
|
tree
2004-07-20
skimo
p
o
s
starts at 1
commit
|
commitdiff
|
tree
2004-07-19
ski
m
o
minor reordering of c
o
d
e
commit
|
commitdiff
|
tree
2004-07-19
skimo
split of
f
more com
m
on
cod
e
commit
|
commitdiff
|
tree
2004-07-19
skimo
r
evert change commited by accident
commit
|
commitdiff
|
tree
2004-07-19
skimo
add collect_polyto
p
es
.
c
commit
|
commitdiff
|
tree
2004-07-18
skimo
recurse into the corr
e
ct version of co
u
nt_point
s
commit
|
commitdiff
|
tree
2004-07-18
skimo
"or"-split for case w
i
th onl
y
existenti
a
l
va
r
i
ables
commit
|
commitdiff
|
tree
2004-07-18
skimo
all
o
w split
o
n
oth
e
r
t
han first exi
s
tential vari
a
b
le
commit
|
commitdiff
|
tree
2004-07-18
s
k
i
m
o
ex
t
ract out c
o
de t
o
spli
t
on a
c
o
nst
r
ai
n
t
commit
|
commitdiff
|
tree
2004-07-17
sk
i
mo
"
exist
e
n
t
i
al" version of ve
r
if_ehrhart
commit
|
commitdiff
|
tree
2004-07-17
skimo
provide ev
a
lue
t
o
enumeration
conversion
commit
|
commitdiff
|
tree
2004-07-17
skimo
ada
p
t to
deal with
exi
s
tential var
i
able
s
commit
|
commitdiff
|
tree
2004-07-16
s
k
i
mo
copied from ehrhart
.
c
from Pol
y
l
i
b distribution
commit
|
commitdiff
|
tree
2004-07-14
skimo
handle
t
r
ivi
a
l case of only e
x
i
stential
v
a
riables
commit
|
commitdiff
|
tree
2004-07-14
s
kimo
It should be
s
ufficient that one of th
e
bounds
i
s
independe
n
t
commit
|
commitdiff
|
tree
2004-07-14
ski
m
o
do
n
't count storage spac
e
for the ra
y
s
commit
|
commitdiff
|
tree
2004-07-06
s
k
i
m
o
bump version
commit
|
commitdiff
|
tree
2004-07-06
skimo
fix up
c
ha
n
g
elog
commit
|
commitdiff
|
tree
2004-07-06
ski
m
o
bum
p
versio
n
s
ome more
since we
changed th
e
interface
commit
|
commitdiff
|
tree
2004-07-06
skim
o
turn of debugging
m
essages
commit
|
commitdiff
|
tree
2004-07-06
skimo
u
pdate
commit
|
commitdiff
|
tree
2004-07-06
skimo
brief
description of the input
commit
|
commitdiff
|
tree
2004-07-06
skim
o
re
p
lace mo
d
ulo by
f
ractional
commit
|
commitdiff
|
tree
2004-07-06
skimo
remove em
p
ty parti
t
ions in place
commit
|
commitdiff
|
tree
2004-07-06
sk
i
mo
mo
r
e memory leaks
commit
|
commitdiff
|
tree
2004-07-06
skimo
memory leak
commit
|
commitdiff
|
tree
2004-07-06
skimo
p
o
te
n
tial
memory
leak
commit
|
commitdiff
|
tree
2004-07-06
skimo
(potential) memory leaks
commit
|
commitdiff
|
tree
2004-07-06
skimo
print more
i
nfo
commit
|
commitdiff
|
tree
2004-07-05
skim
o
p
r
eload library t
o
count
t
he num
b
er of
v
alidity domains
commit
|
commitdiff
|
tree
2004-07-01
skim
o
memory
l
eak
commit
|
commitdiff
|
tree
2004-07-01
skimo
memory l
e
ak
commit
|
commitdiff
|
tree
2004-07-01
skimo
me
m
ory leak
commit
|
commitdiff
|
tree
2004-07-01
skimo
memory leak
commit
|
commitdiff
|
tree
2004-06-26
s
kimo
Use function for copy
i
ng
e
v
a
lu
e
.
commit
|
commitdiff
|
tree
2004-06-26
skimo
order period
i
c
s
i
n multiplicatio
n
as
wel
l
commit
|
commitdiff
|
tree
2004-06-26
skimo
copy value before freeing
commit
|
commitdiff
|
tree
2004-06-26
skimo
regression test
commit
|
commitdiff
|
tree
2004-06-26
skimo
handle case wh
e
re p
o
lytope
has no "rea
l
" dimensions
.
.
.
commit
|
commitdiff
|
tree
2004-06-25
s
kimo
Use smallest repre
s
entative in absolute
v
a
lue ra
t
her
.
.
.
commit
|
commitdiff
|
tree
2004-06-25
skimo
Debugging output to
eva
l
ua
t
e the usefulnes
s
o
f several
commit
|
commitdiff
|
tree
2004-06-25
skimo
Add con
s
t
ra
i
nt
if ex
p
ression is only integ
e
r for
a
.
.
.
commit
|
commitdiff
|
tree
2004-06-25
ski
m
o
perform ran
g
e
reduct
i
on on condition o
f
relation
commit
|
commitdiff
|
tree
2004-06-25
skimo
fully propa
g
a
te
r
eo
r
dering
commit
|
commitdiff
|
tree
2004-06-24
skimo
partia
l
ly
p
ropa
g
ate reordering and reduce in ca
s
e of
.
.
.
commit
|
commitdiff
|
tree
2004-06-24
skimo
rem
o
ve comm
e
nt
commit
|
commitdiff
|
tree
2004-06-24
skim
o
Range re
d
uction and some auxil
i
ary functions
.
commit
|
commitdiff
|
tree
2004-06-24
skim
o
Inver
t
a fract
i
onal if leading coefficient
becomes
.
.
.
commit
|
commitdiff
|
tree
2004-06-24
skimo
remove deb
u
gging
o
utput
commit
|
commitdiff
|
tree
2004-06-24
skimo
Remov
e
i
nvalid memory acc
e
s
s
.
commit
|
commitdiff
|
tree
2004-06-23
skimo
recompute
domains
commit
|
commitdiff
|
tree
2004-06-23
ski
m
o
compute size of all subdomains
commit
|
commitdiff
|
tree
2004-06-23
sk
i
m
o
trivial reco
m
b
i
natio
n
commit
|
commitdiff
|
tree
2004-06-23
s
k
imo
also
invert when constant is half t
h
e modul
o
, since
.
.
.
commit
|
commitdiff
|
tree
2004-06-23
skimo
Allow m
o
re fracitonal
s
u
b
s
titu
t
ions,
i
n particu
l
ar
commit
|
commitdiff
|
tree
2004-06-23
s
k
imo
sear
c
h
f
or pair of f
r
a
ctio
n
al
s
that c
a
n
(optimal
l
y
.
.
.
commit
|
commitdiff
|
tree
2004-06-23
skim
o
always provide su
b
st struct
u
r
e
(e
v
e
n
i
f em
p
t
y)
commit
|
commitdiff
|
tree
2004-06-22
sk
i
mo
avo
i
d
infinite loop
caused by sp
l
itting off no
t
hing
commit
|
commitdiff
|
tree
2004-06-22
skimo
rem
o
ve relation if
br
a
nches are ide
n
tica
l
commit
|
commitdiff
|
tree
2004-06-22
skimo
re
m
ove reduced re
l
ations
commit
|
commitdiff
|
tree
2004-06-21
skimo
replace { E/m
} by { (E-1)
/
m } + 1/m
if
{ E/m } !=
0
commit
|
commitdiff
|
tree
2004-06-21
skimo
numerato
r
can never be negat
i
ve inside
f
rac
t
i
ona
l
commit
|
commitdiff
|
tree
2004-06-21
s
k
imo
optionally pri
n
t "size" of enu
m
er
a
tio
n
commit
|
commitdiff
|
tree
next