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
support polynomials in "real" parameters
2004-07-21
skimo
supp
o
rt
p
olyn
o
mials in
"
r
eal" p
a
rameters
commit
|
commitdiff
|
tree
2004-07-21
sk
i
mo
handle negative
v
alues
o
f summed
variable
commit
|
commitdiff
|
tree
2004-07-21
skimo
check wh
e
t
her PO
L
YTOPE_PREFIX is actu
a
lly set
commit
|
commitdiff
|
tree
2004-07-20
skimo
floor co
n
ve
r
s
i
on
and parti
a
l i
m
pl
e
mentation of esum
commit
|
commitdiff
|
tree
2004-07-20
sk
i
mo
p
os
sta
r
ts at 1
commit
|
commitdiff
|
tree
2004-07-19
skimo
minor reordering of code
commit
|
commitdiff
|
tree
2004-07-19
skimo
split off more common
c
ode
commit
|
commitdiff
|
tree
2004-07-19
s
kimo
revert chan
g
e commi
t
e
d by accident
commit
|
commitdiff
|
tree
2004-07-19
skimo
add colle
c
t_po
l
ytopes
.
c
commit
|
commitdiff
|
tree
2004-07-18
skim
o
recurse into the corre
c
t ver
s
ion of count_poi
n
t
s
commit
|
commitdiff
|
tree
2004-07-18
s
k
i
mo
"or
"
-split f
o
r case with only existential variables
commit
|
commitdiff
|
tree
2004-07-18
ski
m
o
allow
s
plit
o
n other t
h
an first existe
n
tial
variable
commit
|
commitdiff
|
tree
2004-07-18
skim
o
extract out code to
split on a
c
onstraint
commit
|
commitdiff
|
tree
2004-07-17
skimo
"existential" v
e
r
sion of
v
erif_ehrhart
commit
|
commitdiff
|
tree
2004-07-17
s
k
imo
provide
e
valu
e
to enumeratio
n
c
o
nv
e
rs
i
on
commit
|
commitdiff
|
tree
2004-07-17
skimo
adapt to d
e
al
with
ex
i
stential
va
r
iables
commit
|
commitdiff
|
tree
2004-07-16
s
kimo
copied from ehrhart
.
c from Polylib
d
i
stribution
commit
|
commitdiff
|
tree
2004-07-14
skimo
handle tri
v
ial c
a
se of only
ex
i
stentia
l
variables
commit
|
commitdiff
|
tree
2004-07-14
skim
o
It should be sufficient that
o
ne of the bo
u
nds is independent
commit
|
commitdiff
|
tree
2004-07-14
s
kimo
d
on't count storag
e
space
for the rays
commit
|
commitdiff
|
tree
2004-07-06
skimo
bump version
commit
|
commitdiff
|
tree
2004-07-06
skimo
fix up cha
n
ge
l
og
commit
|
commitdiff
|
tree
2004-07-06
skimo
b
u
mp version some more sinc
e
we
c
hanged
t
he
interface
commit
|
commitdiff
|
tree
2004-07-06
skimo
turn of debuggin
g
me
s
sage
s
commit
|
commitdiff
|
tree
2004-07-06
s
k
imo
update
commit
|
commitdiff
|
tree
2004-07-06
skimo
b
rief
d
escription of the inp
u
t
commit
|
commitdiff
|
tree
2004-07-06
s
kimo
r
e
place modulo
by
f
r
a
c
t
ional
commit
|
commitdiff
|
tree
2004-07-06
s
kimo
remo
v
e e
m
pty partitio
n
s in place
commit
|
commitdiff
|
tree
2004-07-06
skimo
mo
r
e memory leaks
commit
|
commitdiff
|
tree
2004-07-06
skimo
me
m
o
r
y leak
commit
|
commitdiff
|
tree
2004-07-06
ski
m
o
potential
m
em
o
r
y leak
commit
|
commitdiff
|
tree
2004-07-06
s
kimo
(
p
o
tential) mem
o
ry leaks
commit
|
commitdiff
|
tree
2004-07-06
s
k
im
o
p
rint more info
commit
|
commitdiff
|
tree
2004-07-05
skimo
pre
l
oad library
to count the number of
validity
d
omains
commit
|
commitdiff
|
tree
2004-07-01
sk
i
mo
mem
o
ry leak
commit
|
commitdiff
|
tree
2004-07-01
sk
i
m
o
memory l
e
a
k
commit
|
commitdiff
|
tree
2004-07-01
skimo
m
e
mory l
e
ak
commit
|
commitdiff
|
tree
2004-07-01
ski
m
o
memory leak
commit
|
commitdiff
|
tree
2004-06-26
s
k
imo
Use function for copying evalue
.
commit
|
commitdiff
|
tree
2004-06-26
s
kimo
order p
e
riodics in m
u
ltiplicat
i
on as well
commit
|
commitdiff
|
tree
2004-06-26
skimo
copy
v
alue
b
efo
r
e freeing
commit
|
commitdiff
|
tree
2004-06-26
ski
m
o
regr
e
s
s
i
on
test
commit
|
commitdiff
|
tree
2004-06-26
skimo
hand
l
e c
a
se where
polyt
o
pe has
n
o
"real" dimensions
.
.
.
commit
|
commitdiff
|
tree
2004-06-25
skimo
Use
s
mallest repre
s
e
nt
a
tive in ab
s
olu
t
e value ra
t
h
e
r
.
.
.
commit
|
commitdiff
|
tree
2004-06-25
skimo
Debugging
outp
u
t
t
o evaluate the us
e
fulne
s
s
of
several
commit
|
commitdiff
|
tree
2004-06-25
skimo
Ad
d
c
o
nst
r
a
i
nt if expressio
n
is only integer for a
.
.
.
commit
|
commitdiff
|
tree
2004-06-25
skimo
perform ran
g
e reduction
o
n
condit
i
on
of rel
a
tion
commit
|
commitdiff
|
tree
2004-06-25
s
kimo
ful
l
y p
r
o
p
agate
r
eordering
commit
|
commitdiff
|
tree
2004-06-24
ski
m
o
partially propa
g
ate
r
eordering and reduc
e
i
n
case
of
.
.
.
commit
|
commitdiff
|
tree
2004-06-24
skimo
remove comment
commit
|
commitdiff
|
tree
2004-06-24
skimo
Ra
n
g
e reduction a
n
d some a
u
x
iliary functions
.
commit
|
commitdiff
|
tree
2004-06-24
skimo
Inve
r
t a fractiona
l
if leading coeffi
c
ient be
c
omes
.
.
.
commit
|
commitdiff
|
tree
2004-06-24
skimo
remove debugging o
u
tput
commit
|
commitdiff
|
tree
2004-06-24
s
kimo
Remove invalid memory
a
c
cess
.
commit
|
commitdiff
|
tree
2004-06-23
ski
m
o
re
c
o
mpute domains
commit
|
commitdiff
|
tree
2004-06-23
skimo
compu
t
e size
o
f
a
l
l subdomains
commit
|
commitdiff
|
tree
2004-06-23
skimo
tr
i
vi
a
l recombinat
i
on
commit
|
commitdiff
|
tree
2004-06-23
s
kimo
also i
n
vert when co
n
stan
t
is half the modulo, si
n
ce
.
.
.
commit
|
commitdiff
|
tree
2004-06-23
skimo
A
llow more fra
c
itonal substitut
i
ons, in part
i
cular
commit
|
commitdiff
|
tree
2004-06-23
s
kimo
sea
r
ch
f
or pair of fractio
n
a
l
s
that can
(op
t
i
m
ally
.
.
.
commit
|
commitdiff
|
tree
2004-06-23
skimo
alwa
y
s provide sub
s
t st
r
uct
u
re (even if empty)
commit
|
commitdiff
|
tree
2004-06-22
skimo
avoid infinite loop cause
d
b
y splitti
n
g of
f
no
t
hing
commit
|
commitdiff
|
tree
2004-06-22
skimo
remove rel
a
tio
n
if
branches are
ident
i
cal
commit
|
commitdiff
|
tree
2004-06-22
skimo
remove r
e
duced relations
commit
|
commitdiff
|
tree
2004-06-21
skimo
repl
a
ce { E
/
m } by {
(
E
-1)
/
m }
+ 1/
m
i
f { E
/
m
}
!= 0
commit
|
commitdiff
|
tree
2004-06-21
sk
i
mo
numera
t
or can never be n
e
gativ
e
insid
e
fractional
commit
|
commitdiff
|
tree
2004-06-21
s
kimo
optionally
print "s
i
ze" of
enumerat
i
on
commit
|
commitdiff
|
tree
2004-06-21
skimo
Enumeration_s
i
ze
commit
|
commitdiff
|
tree
2004-06-21
sk
i
mo
export domain_size
commit
|
commitdiff
|
tree
2004-06-21
skim
o
red
u
ce after conversion
commit
|
commitdiff
|
tree
2004-06-21
sk
i
mo
translate rela
t
ion
a
s we
l
l
commit
|
commitdiff
|
tree
2004-06-20
skimo
use convex hull for e
q
u
ali
t
i
e
s to us
e
in
reduc
t
ion
commit
|
commitdiff
|
tree
2004-06-20
skimo
r
e
order term
s
if needed
afte
r
re
d
u
ction
commit
|
commitdiff
|
tree
2004-06-20
s
k
imo
remove code
m
a
d
e re
d
undant by switch to fractional
commit
|
commitdiff
|
tree
2004-06-20
skimo
c
o
nvert from mod
u
l
o t
o
fractiona
l
commit
|
commitdiff
|
tree
2004-06-16
s
kimo
inform calli
n
g procedure whether a new
e
n
try was a
d
d
e
d
commit
|
commitdiff
|
tree
2004-06-16
skimo
reallocate su
b
stit
u
t
i
ons array if neces
s
ary
commit
|
commitdiff
|
tree
2004-06-15
s
kimo
m
u
l
t
iply modulo argumen
t
if this can
h
elp to el
i
minate
.
.
.
commit
|
commitdiff
|
tree
2004-06-15
s
kimo
also u
s
e equival
e
n
c
es
i
nside modulo ex
p
ress
i
ons
commit
|
commitdiff
|
tree
2004-06-15
skimo
al
l
o
w fra
c
tional substi
t
utions ou
t
side modulo (not
.
.
.
commit
|
commitdiff
|
tree
2004-06-15
skimo
P
a
rtial evaluation co
u
ld in principle lead
t
o
f
urt
h
er
.
.
.
commit
|
commitdiff
|
tree
2004-06-15
skimo
reduce constants in
s
i
de modulo
commit
|
commitdiff
|
tree
2004-06-15
ski
m
o
co
n
struct
s
u
bs
t
itutio
n
for ea
c
h equ
a
l
ity
commit
|
commitdiff
|
tree
2004-06-15
skimo
colle
c
t subst
i
tutions in one structure
commit
|
commitdiff
|
tree
2004-06-14
s
k
i
m
o
only
t
ake
d
ifference of sets that share a hyperplane
commit
|
commitdiff
|
tree
2004-06-11
skimo
also skip over
z
e
roes and
remember origina
l
location
.
.
.
commit
|
commitdiff
|
tree
2004-06-11
skimo
c
o
ntinue loo
k
ing
for
c
oefficient
s
to neg
a
te if current
.
.
.
commit
|
commitdiff
|
tree
2004-06-09
skimo
c
a
lcul
a
te "s
i
ze"
o
f po
l
yno
m
ial
s
commit
|
commitdiff
|
tree
2004-06-09
s
kim
o
com
b
ine ide
n
tical
r
ela
t
ions
commit
|
commitdiff
|
tree
2004-06-09
s
kimo
don'
t
k
n
owi
n
gly
c
r
e
ate zero
polynomia
l
s
commit
|
commitdiff
|
tree
2004-06-09
skimo
Check whe
t
her rVD
is too small in dimension *b
e
fore*
commit
|
commitdiff
|
tree
2004-06-08
s
k
imo
r
e
gression test
commit
|
commitdiff
|
tree
2004-06-08
skimo
2
Polyhedron routines ca
n
modify their argument!
commit
|
commitdiff
|
tree
2004-06-07
skimo
strict i
n
equa
l
i
t
y should be
e
n
f
o
rced *prior* to simplifica
t
ion
commit
|
commitdiff
|
tree
2004-06-06
skimo
a
n
o
ther memory leak
commit
|
commitdiff
|
tree
2004-06-06
skim
o
m
emory leak
s
commit
|
commitdiff
|
tree
2004-06-06
s
kimo
retu
r
n mall
o
ced memory since we de
f
ine a
"
C
"
inte
r
face
commit
|
commitdiff
|
tree
2004-06-06
sk
i
mo
a
l
way
s
re
t
urn re
d
uced evalue
commit
|
commitdiff
|
tree
2004-06-06
skimo
simplif
y
constraints duri
n
g m
u
ltipl
i
c
a
t
ions
a
s
well
commit
|
commitdiff
|
tree
2004-06-06
sk
i
m
o
r
egre
s
sion test for latest bug
commit
|
commitdiff
|
tree
next