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
bump version
2004-01-09
ski
m
o
bump version
commit
|
commitdiff
|
tree
2003-12-25
skimo
make u
s
e of mod
u
lo configurable
commit
|
commitdiff
|
tree
2003-12-23
skimo
s
u
p
port for mo
d
ulo calculati
o
ns
commit
|
commitdiff
|
tree
2003-12-23
skimo
pick up modifie
d
versions
commit
|
commitdiff
|
tree
2003-12-23
sk
i
mo
don't construc
t
zero term
commit
|
commitdiff
|
tree
2003-12-23
skimo
pick up modified versi
o
ns
commit
|
commitdiff
|
tree
2003-12-23
skim
o
b
e
carefull ab
o
ut rounding and m
o
dulo
commit
|
commitdiff
|
tree
2003-12-23
skimo
don't
"reposit
i
o
n
" mod
u
lo
commit
|
commitdiff
|
tree
2003-12-23
skimo
ex
t
end co
m
pu
t
e_enode for modulo
commit
|
commitdiff
|
tree
2003-12-23
ski
m
o
c
o
pied from polyl
i
b
commit
|
commitdiff
|
tree
2003-12-23
skimo
compa
r
e
ar
g
ument
f
o
r
modulo type
commit
|
commitdiff
|
tree
2003-12-23
s
kimo
m
o
r
e
canonicalizatio
n
commit
|
commitdiff
|
tree
2003-12-22
skimo
small cl
e
an-up
commit
|
commitdiff
|
tree
2003-12-22
ski
m
o
add periodics "canonically"
commit
|
commitdiff
|
tree
2003-12-22
skimo
add po
l
ynomials "can
o
nically"
commit
|
commitdiff
|
tree
2003-12-22
s
k
imo
small simpli
c
iatio
n
commit
|
commitdiff
|
tree
2003-12-22
sk
i
mo
r
educe supp
o
r
t
for modulo
commit
|
commitdiff
|
tree
2003-12-22
sk
i
mo
eadd and emu
l
s
u
pport for modulo
commit
|
commitdiff
|
tree
2003-12-22
s
kimo
support printing
of m
o
dulo
commit
|
commitdiff
|
tree
2003-12-22
skimo
a
d
d "mo
d
ulo" type
commit
|
commitdiff
|
tree
2003-12-22
skimo
add "copy constructor"
commit
|
commitdiff
|
tree
2003-12-22
skimo
copy
s
ome printin
g
f
u
n
cs from polylib
commit
|
commitdiff
|
tree
2003-12-22
s
kim
o
fix typo in
c
omment
commit
|
commitdiff
|
tree
2003-12-22
sk
i
mo
c
opy some
defs/fun
s
from
polyli
b
commit
|
commitdiff
|
tree
2003-12-22
skimo
i
n
clude ev_ope
r
ati
o
ns before barvinok
commit
|
commitdiff
|
tree
2003-12-22
skimo
s
m
a
l
l clean
-
u
ps
commit
|
commitdiff
|
tree
2003-12-22
skimo
remove us
e
of ehrhartpolynom
commit
|
commitdiff
|
tree
2003-12-22
s
k
im
o
remove pa
r
a
m
s
commit
|
commitdiff
|
tree
2003-12-22
skimo
conver term
commit
|
commitdiff
|
tree
2003-12-22
skimo
convert
term_info
commit
|
commitdiff
|
tree
2003-12-22
skimo
convert
multi
_
polynom
commit
|
commitdiff
|
tree
2003-12-22
skimo
"c
o
nvert" c
o
nstant
commit
|
commitdiff
|
tree
2003-12-22
skimo
convert un
i
_pol
y
n
o
m
commit
|
commitdiff
|
tree
2003-12-22
skimo
new "
c
onstructor"
commit
|
commitdiff
|
tree
2003-12-22
skimo
free
f
actor
commit
|
commitdiff
|
tree
2003-12-22
skimo
use addeliminatedparams_evalue
commit
|
commitdiff
|
tree
2003-12-22
ski
m
o
copied from
polyl
i
b
commit
|
commitdiff
|
tree
2003-12-22
s
k
imo
rem
o
ve unne
e
ded a
r
gument
commit
|
commitdiff
|
tree
2003-12-22
skimo
con
v
e
r
t
f
actor to e
v
a
lue
commit
|
commitdiff
|
tree
2003-12-22
skimo
in
t
constructo
r
commit
|
commitdiff
|
tree
2003-12-20
skimo
K
e
e
p
the equations t
h
at Polyhedron2Para
m
_Simpl
i
fiedD
o
main
commit
|
commitdiff
|
tree
2003-12-17
skimo
c
heck number
o
f argum
e
nts of c
o
unt
_
points
commit
|
commitdiff
|
tree
2003-12-17
skimo
check number of
arg
u
ments of Polyhedr
o
n_Enumera
t
e
commit
|
commitdiff
|
tree
2003-12-17
skimo
Don't assume new_enode inits
commit
|
commitdiff
|
tree
2003-11-27
ski
m
o
m
a
ke sur
e
tes
t
s
get in
c
lude
d
commit
|
commitdiff
|
tree
2003-11-27
skimo
bum
p
version
commit
|
commitdiff
|
tree
2003-11-27
skimo
clear v
a
lue b
e
fore ove
r
writing it
commit
|
commitdiff
|
tree
2003-11-26
skimo
Don't a
s
su
m
e
new_enode inits
.
x
.
n
and fix some memory
.
.
.
commit
|
commitdiff
|
tree
2003-11-26
s
k
imo
don't throw
a
w
a
y
t
he constr
a
i
n
ts on th
e
p
a
rameters
commit
|
commitdiff
|
tree
2003-11-26
s
k
imo
Deal
with equalities with non-one coefficients
.
commit
|
commitdiff
|
tree
2003-11-26
skimo
Ha
n
dle equalities a
m
on
g
parameters (partia
l
ly copied
.
.
.
commit
|
commitdiff
|
tree
2003-11-26
ski
m
o
provide
m
ore info on failu
r
e
commit
|
commitdiff
|
tree
2003-11-26
ski
m
o
only s
k
ip equalities
commit
|
commitdiff
|
tree
2003-11-26
skimo
hon
o
ur ar
g
um
e
nt
commit
|
commitdiff
|
tree
2003-11-26
skimo
re
t
urn
e
m
p
ty polyhe
d
ron once we're out of v
a
riabl
e
s
commit
|
commitdiff
|
tree
2003-11-25
skimo
lea
v
e eq
u
aliti
e
s amon
g
pa
r
ameter
s
a
lone
commit
|
commitdiff
|
tree
2003-11-25
skimo
h
a
ndle non
-
parametrize
d
and
e
mpt
y
polytope
s
commit
|
commitdiff
|
tree
2003-11-25
ski
m
o
init val
u
es before writing t
o
them
commit
|
commitdiff
|
tree
2003-11-25
skimo
get
p
eriod
r
ight
commit
|
commitdiff
|
tree
2003-11-25
skimo
add (succeeding) t
e
sts
commit
|
commitdiff
|
tree
2003-11-25
ski
m
o
remove equa
l
ities from para
m
e
trized dom
a
ins
commit
|
commitdiff
|
tree
2003-11-24
ski
m
o
v
erify barvinok_en
u
merate
commit
|
commitdiff
|
tree
2003-11-24
skimo
copied from polyl
i
b distribution
commit
|
commitdiff
|
tree
2003-11-24
skimo
more
m
emory l
e
a
k
s fix
e
s
commit
|
commitdiff
|
tree
2003-11-24
skimo
fi
x
a few memory
l
e
a
k
s
commit
|
commitdiff
|
tree
2003-11-24
skimo
fix a few me
m
ory
lea
k
s
commit
|
commitdiff
|
tree
2003-11-24
skimo
remove unused
var
i
able
commit
|
commitdiff
|
tree
2003-11-24
skimo
only do decomposition once for each v
e
rtex
commit
|
commitdiff
|
tree
2003-11-23
sk
i
mo
p
r
int
t
he compl
e
te
l
i
st of En
u
merat
i
ons
commit
|
commitdiff
|
tree
2003-11-23
skimo
restart
count for
e
ach dom
a
in
commit
|
commitdiff
|
tree
2003-11-23
skimo
reduce
fractions in ge
n
er
a
ted e
v
alu
e
s
commit
|
commitdiff
|
tree
2003-11-23
skimo
call
r
educe_evalue
commit
|
commitdiff
|
tree
2003-11-23
s
k
imo
c
h
eck whether reduce_eval
u
e is exp
o
rted
commit
|
commitdiff
|
tree
2003-11-23
skimo
fix parametrized
r
ational po
l
ytopes case
commit
|
commitdiff
|
tree
2003-11-21
skimo
su
p
port for rational polyt
o
pes in multiple
p
a
rameters
commit
|
commitdiff
|
tree
2003-11-21
s
k
imo
fix supporting_cone_
p
commit
|
commitdiff
|
tree
2003-11-21
skimo
pu
t
s
o
me common code in a f
u
nction
commit
|
commitdiff
|
tree
2003-11-21
skimo
di
r
ectly add to c
o
r
rect list
commit
|
commitdiff
|
tree
2003-11-21
skimo
f
urther sim
p
lification
commit
|
commitdiff
|
tree
2003-11-21
skimo
s
mall
s
im
p
l
i
fication
commit
|
commitdiff
|
tree
2003-11-21
skimo
get
s
ome cas
e
s of single p
a
ra
m
e
ter rational p
o
lytopes
.
.
.
commit
|
commitdiff
|
tree
2003-11-21
skimo
iterate o
v
er all
d
ata
i
n
r
e
s
u
l
t
commit
|
commitdiff
|
tree
2003-11-20
skimo
patch from Kristo
f
commit
|
commitdiff
|
tree
2003-11-19
s
k
imo
lcm and i might poi
n
t
t
o the same Value
commit
|
commitdiff
|
tree
2003-11-19
ski
m
o
support
m
ultiple parameters
commit
|
commitdiff
|
tree
2003-11-19
ski
m
o
us
e
Ehrh
a
rtPol
y
noms
commit
|
commitdiff
|
tree
2003-11-19
skim
o
add missing a
s
sert
commit
|
commitdiff
|
tree
2003-11-19
s
k
i
m
o
c
ontribut
e
d code from Koen
B
eyls
commit
|
commitdiff
|
tree
2003-11-19
skimo
add main program for en
u
merate
commit
|
commitdiff
|
tree
2003-11-19
skimo
remove debugging output
commit
|
commitdiff
|
tree
2003-11-19
s
k
imo
rough implement
a
tion of barvinok_enu
m
e
r
ate
f
or on
e
.
.
.
commit
|
commitdiff
|
tree
2003-11-16
ski
m
o
Construct supp
o
rtin
g
cone of p
a
rametr
i
z
e
d
p
olyhedr
o
n
commit
|
commitdiff
|
tree
2003-11-16
s
kimo
Simplify supporting
_
con
e
commit
|
commitdiff
|
tree
2003-11-16
skimo
new util
i
t
y
functions
commit
|
commitdiff
|
tree
2003-11-06
skimo
bump version
commit
|
commitdiff
|
tree
2003-11-06
skimo
allow specificati
o
n of max #cons
t
r
ai
n
t
s
commit
|
commitdiff
|
tree
2003-11-06
skimo
just in ca
s
e
commit
|
commitdiff
|
tree
2003-11-06
skimo
OK, s
o
we w
e
re ac
t
ually loo
k
i
ng
a
t
t
he lower faces
.
.
.
commit
|
commitdiff
|
tree
2003-11-06
skimo
re
m
ove de
b
u
g
gin
g
output
commit
|
commitdiff
|
tree
2003-11-06
ski
m
o
So ap
p
arent
l
y triangu
l
ization also works if you take
.
.
.
commit
|
commitdiff
|
tree
next