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
correct check for 1
2004-07-29
skimo
correct
chec
k
for 1
commit
|
commitdiff
|
tree
2004-07-29
skimo
be
m
ore str
i
ct when
comparing two rationals
commit
|
commitdiff
|
tree
2004-07-29
sk
i
mo
typ
o
i
n
comment
commit
|
commitdiff
|
tree
2004-07-21
skimo
h
andle
case of all empt
y
validity doma
i
ns
commit
|
commitdiff
|
tree
2004-07-21
skimo
support polynomials in "real" parameters
commit
|
commitdiff
|
tree
2004-07-21
skimo
ha
n
dle
n
egat
i
ve values of summ
e
d variable
commit
|
commitdiff
|
tree
2004-07-21
s
ki
m
o
check wh
e
ther
POL
Y
TOPE_PREFIX
is actually
set
commit
|
commitdiff
|
tree
2004-07-20
skimo
floo
r
conversion and par
t
ial implementation of esum
commit
|
commitdiff
|
tree
2004-07-20
skimo
pos starts at 1
commit
|
commitdiff
|
tree
2004-07-19
skimo
minor
r
e
o
rdering of code
commit
|
commitdiff
|
tree
2004-07-19
skimo
split
off more common code
commit
|
commitdiff
|
tree
2004-07-19
skimo
revert change c
o
mmit
e
d
by
accid
e
nt
commit
|
commitdiff
|
tree
2004-07-19
sk
i
m
o
add co
l
lect_polytopes
.
c
commit
|
commitdiff
|
tree
2004-07-18
s
k
i
mo
rec
u
rse into the co
r
rect ver
s
ion
o
f count
_
points
commit
|
commitdiff
|
tree
2004-07-18
s
k
imo
"or"-split for case
w
ith only existen
t
ial variables
commit
|
commitdiff
|
tree
2004-07-18
skimo
allow split on othe
r
than first existent
i
al va
r
iable
commit
|
commitdiff
|
tree
2004-07-18
sk
i
mo
extrac
t
out code to s
p
lit on a constraint
commit
|
commitdiff
|
tree
2004-07-17
s
kim
o
"existent
i
al" versio
n
of veri
f
_e
h
rhart
commit
|
commitdiff
|
tree
2004-07-17
skimo
provide
evalue to enume
r
ation
conver
s
ion
commit
|
commitdiff
|
tree
2004-07-17
skimo
adapt to deal with existential variables
commit
|
commitdiff
|
tree
2004-07-16
skimo
copied from ehrhart
.
c
f
rom
Polylib distr
i
b
u
tion
commit
|
commitdiff
|
tree
2004-07-14
s
k
i
m
o
handle
t
rivial case of only exi
s
tential vari
a
bles
commit
|
commitdiff
|
tree
2004-07-14
skimo
It s
h
ould be suff
i
c
i
ent
t
hat o
n
e of the bounds
is independent
commit
|
commitdiff
|
tree
2004-07-14
sk
i
mo
don't count s
t
o
rage space f
o
r the
r
ays
commit
|
commitdiff
|
tree
2004-07-06
skimo
bump version
commit
|
commitdiff
|
tree
2004-07-06
skimo
f
ix up changelog
commit
|
commitdiff
|
tree
2004-07-06
skimo
b
u
mp vers
i
on so
m
e more since we changed
t
he interfa
c
e
commit
|
commitdiff
|
tree
2004-07-06
skimo
turn of debugg
i
ng messag
e
s
commit
|
commitdiff
|
tree
2004-07-06
ski
m
o
u
pdat
e
commit
|
commitdiff
|
tree
2004-07-06
skimo
brief de
s
cription of the input
commit
|
commitdiff
|
tree
2004-07-06
skimo
repl
a
ce modu
l
o by f
r
act
i
onal
commit
|
commitdiff
|
tree
2004-07-06
s
k
imo
remov
e
empty part
i
tion
s
in place
commit
|
commitdiff
|
tree
2004-07-06
skimo
more
m
em
o
ry
leak
s
commit
|
commitdiff
|
tree
2004-07-06
skimo
m
e
m
ory leak
commit
|
commitdiff
|
tree
2004-07-06
skimo
potential memory leak
commit
|
commitdiff
|
tree
2004-07-06
skimo
(p
o
ten
t
ial)
m
e
m
o
r
y leak
s
commit
|
commitdiff
|
tree
2004-07-06
skim
o
print more inf
o
commit
|
commitdiff
|
tree
2004-07-05
skimo
p
reload libr
a
ry to co
u
nt
t
he numb
e
r
o
f vali
d
ity do
m
a
i
ns
commit
|
commitdiff
|
tree
2004-07-01
sk
i
mo
m
emor
y
leak
commit
|
commitdiff
|
tree
2004-07-01
sk
i
mo
memory
l
eak
commit
|
commitdiff
|
tree
2004-07-01
skimo
memory
l
eak
commit
|
commitdiff
|
tree
2004-07-01
skimo
memory leak
commit
|
commitdiff
|
tree
2004-06-26
skimo
Use function
f
o
r
copying evalue
.
commit
|
commitdiff
|
tree
2004-06-26
skimo
order period
i
cs in mult
i
plicatio
n
as well
commit
|
commitdiff
|
tree
2004-06-26
skimo
c
o
p
y
value
be
f
ore freeing
commit
|
commitdiff
|
tree
2004-06-26
skimo
regression tes
t
commit
|
commitdiff
|
tree
2004-06-26
skimo
handl
e
ca
s
e where
polytop
e
h
as no "rea
l
" dimensions
.
.
.
commit
|
commitdiff
|
tree
2004-06-25
skimo
Use
s
m
al
l
est representative in ab
s
olute value rat
h
er
.
.
.
commit
|
commitdiff
|
tree
2004-06-25
sk
i
mo
Debugging output to evaluate the us
e
fu
l
ness of sev
e
ral
commit
|
commitdiff
|
tree
2004-06-25
sk
i
mo
Add constraint i
f
expressi
o
n is onl
y
integer
f
o
r
a
.
.
.
commit
|
commitdiff
|
tree
2004-06-25
skimo
pe
r
form range reduction on
condition o
f
relat
i
o
n
commit
|
commitdiff
|
tree
2004-06-25
skimo
fully propagate
reordering
commit
|
commitdiff
|
tree
2004-06-24
skimo
partially propagate reorderi
n
g and reduce
i
n ca
s
e
of
.
.
.
commit
|
commitdiff
|
tree
2004-06-24
s
k
i
mo
remove commen
t
commit
|
commitdiff
|
tree
2004-06-24
skimo
Ran
g
e reduction a
n
d
s
ome au
x
ili
a
ry fu
n
cti
o
ns
.
commit
|
commitdiff
|
tree
2004-06-24
skimo
Invert a fractional if leadi
n
g co
e
fficient becomes
.
.
.
commit
|
commitdiff
|
tree
2004-06-24
sk
i
mo
rem
o
ve
d
e
bugging outp
u
t
commit
|
commitdiff
|
tree
2004-06-24
sk
i
mo
Rem
o
ve
invalid memo
r
y access
.
commit
|
commitdiff
|
tree
2004-06-23
skimo
recompute domains
commit
|
commitdiff
|
tree
2004-06-23
skimo
compute size o
f
all s
u
bdomains
commit
|
commitdiff
|
tree
2004-06-23
skimo
trivia
l
recombina
t
io
n
commit
|
commitdiff
|
tree
2004-06-23
skimo
also invert when co
n
st
a
nt is h
a
lf the mod
u
lo,
since
.
.
.
commit
|
commitdiff
|
tree
2004-06-23
s
kimo
Allow more
f
ra
c
itonal
subs
t
itutions, in p
a
rti
c
ular
commit
|
commitdiff
|
tree
2004-06-23
ski
m
o
se
a
rch
f
or pai
r
of fr
a
ctionals that can (o
p
timally
.
.
.
commit
|
commitdiff
|
tree
2004-06-23
sk
i
m
o
always provide
subst structu
r
e (even if
e
mp
t
y)
commit
|
commitdiff
|
tree
2004-06-22
skimo
avo
i
d infinite loop
caused by
splitting off nothing
commit
|
commitdiff
|
tree
2004-06-22
skim
o
remove
re
l
at
i
on if bran
c
h
es are i
d
en
t
i
c
a
l
commit
|
commitdiff
|
tree
2004-06-22
skimo
remove red
u
ced rela
t
i
o
ns
commit
|
commitdiff
|
tree
2004-06-21
skimo
repl
a
ce { E/m } by { (E-1
)
/m }
+
1/m if { E/m } !
=
0
commit
|
commitdiff
|
tree
2004-06-21
skimo
n
u
merator ca
n
ne
v
er be
negati
v
e
insi
d
e
f
ract
i
onal
commit
|
commitdiff
|
tree
2004-06-21
ski
m
o
optionally
p
r
int "size" of en
u
meration
commit
|
commitdiff
|
tree
2004-06-21
skimo
Enumerati
o
n_size
commit
|
commitdiff
|
tree
2004-06-21
s
k
imo
export do
m
ain_size
commit
|
commitdiff
|
tree
2004-06-21
s
kim
o
reduce after c
o
nversion
commit
|
commitdiff
|
tree
2004-06-21
skimo
translate re
l
ati
o
n
as w
e
ll
commit
|
commitdiff
|
tree
2004-06-20
skimo
use co
n
vex hull for equal
i
ties
to use in reduction
commit
|
commitdiff
|
tree
2004-06-20
skimo
reor
d
er terms if
needed after reduct
i
o
n
commit
|
commitdiff
|
tree
2004-06-20
skimo
r
e
move code made
redundant b
y
switch to fractional
commit
|
commitdiff
|
tree
2004-06-20
sk
i
mo
c
o
n
vert fro
m
modulo to f
r
acti
o
nal
commit
|
commitdiff
|
tree
2004-06-16
skimo
inform cal
l
ing pr
o
cedure whether a n
e
w entry was
a
d
d
ed
commit
|
commitdiff
|
tree
2004-06-16
s
kimo
realloc
a
t
e
su
b
stitutions arr
a
y i
f
necessar
y
commit
|
commitdiff
|
tree
2004-06-15
skimo
multiply modulo argument
if th
i
s
can
h
elp to el
i
m
i
nate
.
.
.
commit
|
commitdiff
|
tree
2004-06-15
sk
i
mo
a
l
so use equivalence
s
inside
modulo expr
e
ssions
commit
|
commitdiff
|
tree
2004-06-15
sk
i
mo
al
l
ow f
r
a
c
t
i
ona
l
s
u
bstitutions outs
i
de modulo (not
.
.
.
commit
|
commitdiff
|
tree
2004-06-15
skimo
Partial eva
l
u
ation could in principle
l
ead to furth
e
r
.
.
.
commit
|
commitdiff
|
tree
2004-06-15
sk
i
m
o
reduce
constants inside
m
o
d
u
lo
commit
|
commitdiff
|
tree
2004-06-15
skimo
construct substi
t
u
t
ion for each e
q
uality
commit
|
commitdiff
|
tree
2004-06-15
skimo
col
l
ect substitu
t
ions i
n
o
ne structure
commit
|
commitdiff
|
tree
2004-06-14
s
k
i
mo
only
t
ake dif
f
erenc
e
of se
t
s
t
hat share a hyp
e
rplane
commit
|
commitdiff
|
tree
2004-06-11
skimo
als
o
skip over zeroes and remember o
r
iginal locat
i
o
n
.
.
.
commit
|
commitdiff
|
tree
2004-06-11
skimo
continue look
i
ng
for c
o
efficients
to negate if
c
urr
e
n
t
.
.
.
commit
|
commitdiff
|
tree
2004-06-09
skimo
cal
c
u
l
ate "size" of polynomials
commit
|
commitdiff
|
tree
2004-06-09
skimo
combine i
d
entical rel
a
t
ions
commit
|
commitdiff
|
tree
2004-06-09
skimo
do
n
't know
i
ngly create zero poly
n
omials
commit
|
commitdiff
|
tree
2004-06-09
skimo
Check whethe
r
rVD is too s
m
all in dimension *before*
commit
|
commitdiff
|
tree
2004-06-08
skimo
regress
i
on test
commit
|
commitdiff
|
tree
2004-06-08
s
kimo
2Po
l
yhedr
o
n routines
c
an modify their argument!
commit
|
commitdiff
|
tree
2004-06-07
ski
m
o
st
r
ic
t
i
neq
u
al
i
ty should be enforced *prior
*
to
si
m
pli
f
ication
commit
|
commitdiff
|
tree
2004-06-06
skimo
another memo
r
y
leak
commit
|
commitdiff
|
tree
2004-06-06
skimo
m
emory leaks
commit
|
commitdiff
|
tree
next