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
always provide subst structure (even if empty)
2004-02-15
sk
i
mo
experimental "unfringe" code
commit
|
commitdiff
|
tree
2004-02-15
skimo
type
commit
|
commitdiff
|
tree
2004-02-06
sk
i
mo
fix
d
ecompositio
n
t
est and add
pol
a
r
i
zed
d
ecomp
o
st
i
on
.
.
.
commit
|
commitdiff
|
tree
2004-01-26
skimo
e
l
i
m
inate a vari
a
ble i
f
we can (not tested)
commit
|
commitdiff
|
tree
2004-01-26
skimo
oop
s
; we ne
e
d quotient rathe
r
tha
n
r
emainder
commit
|
commitdiff
|
tree
2004-01-25
skimo
h
a
n
d
l
e
equalities
commit
|
commitdiff
|
tree
2004-01-25
s
k
imo
Handle ONE
_
NEG
for any position of the vari
a
b
l
e correctly
commit
|
commitdiff
|
tree
2004-01-25
skimo
Hand
l
e
ONE_NEG for any position of
t
he
var
i
able
.
commit
|
commitdiff
|
tree
2004-01-25
skimo
Only
use inde
p
e
nde
n
t bo
u
nd
s
t
o
co
n
st
r
uct the one_de
p
.
commit
|
commitdiff
|
tree
2004-01-25
skimo
T
ruly p
a
rtition validity
d
omains
.
commit
|
commitdiff
|
tree
2004-01-25
skimo
co
p
y in_domain from polylib
commit
|
commitdiff
|
tree
2004-01-25
skimo
Special cas
e
"infin
i
t
e" polyt
o
p
es, i
.
e
.
, those w
i
th
commit
|
commitdiff
|
tree
2004-01-25
ski
m
o
Initial implementation
of barvinok_enumerate_e
.
commit
|
commitdiff
|
tree
2004-01-23
skimo
Don't use modulo
i
f quotient is the
sa
m
e over the
w
h
o
le
commit
|
commitdiff
|
tree
2004-01-22
s
kimo
r
emove note to self
commit
|
commitdiff
|
tree
2004-01-22
skimo
support
a
d
d
f
or
p
artitions
commit
|
commitdiff
|
tree
2004-01-21
skimo
rem
o
ve debug
.
{cpp,h}
commit
|
commitdiff
|
tree
2004-01-21
skimo
support free and
d
u
mmy add for partitions
commit
|
commitdiff
|
tree
2004-01-21
skimo
supp
o
rt printing for
p
artition
s
commit
|
commitdiff
|
tree
2004-01-20
skimo
C
alculate count as
a
partit
i
on a
n
d
c
onvert to
E
numeration
.
.
.
commit
|
commitdiff
|
tree
2004-01-20
skimo
define p
a
rtition type
commit
|
commitdiff
|
tree
2004-01-20
skimo
Partial imp
l
ementation of parametr
i
c polyhedral reduc
t
io
n
.
commit
|
commitdiff
|
tree
2004-01-19
skimo
s
/
in
d
icat
o
r/relation/
commit
|
commitdiff
|
tree
2004-01-16
s
k
imo
simpli
f
y Polyhedron_Reduce a
bit
commit
|
commitdiff
|
tree
2004-01-15
s
kimo
change comment ab
o
ut
m
odulo rep
commit
|
commitdiff
|
tree
2004-01-13
skimo
add tests
/
ehrhar
t
/equal5
commit
|
commitdiff
|
tree
2004-01-13
sk
i
mo
b
um
p
versio
n
commit
|
commitdiff
|
tree
2004-01-13
skimo
use i
n
di
c
ator
f
unctions t
o
mask wh
e
n us
i
ng modulo expres
s
ion
s
commit
|
commitdiff
|
tree
2004-01-13
s
k
imo
partial "indi
c
ator
f
unct
i
on" support
commit
|
commitdiff
|
tree
2004-01-12
skimo
add comme
n
t on
f
actor paramet
e
r
commit
|
commitdiff
|
tree
2004-01-12
sk
i
mo
add constant in multi_monom
commit
|
commitdiff
|
tree
2004-01-12
skimo
fre
e
argument of modulo when red
u
cing strength
commit
|
commitdiff
|
tree
2004-01-12
skimo
remove ty
p
o introduced
b
y p
r
e
v
i
ous p
a
t
c
h
commit
|
commitdiff
|
tree
2004-01-12
skimo
fix memleak
i
n red
u
c
e
_
e
v
alue
commit
|
commitdiff
|
tree
2004-01-12
skimo
re
m
ove
a
few memor
y
leaks
commit
|
commitdiff
|
tree
2004-01-11
sk
i
mo
sil
l
y opti
m
ization for special c
a
se of mod 2
commit
|
commitdiff
|
tree
2004-01-11
skimo
handle sum
o
f
m
odulo
p
olynomials of different
si
z
e
commit
|
commitdiff
|
tree
2004-01-09
skimo
add warning about
modulo representation
commit
|
commitdiff
|
tree
2004-01-09
s
ki
m
o
avoid warnings
commit
|
commitdiff
|
tree
2004-01-09
sk
i
mo
bump version
commit
|
commitdiff
|
tree
2003-12-25
sk
i
m
o
make u
s
e
of
modu
l
o conf
i
gurable
commit
|
commitdiff
|
tree
2003-12-23
skimo
s
u
pport
f
or modul
o
calculat
i
ons
commit
|
commitdiff
|
tree
2003-12-23
skimo
p
i
ck up modifie
d
versions
commit
|
commitdiff
|
tree
2003-12-23
ski
m
o
don't constr
u
ct zero term
commit
|
commitdiff
|
tree
2003-12-23
skimo
p
i
c
k up modified versions
commit
|
commitdiff
|
tree
2003-12-23
skimo
be car
e
fu
l
l
ab
o
ut rounding an
d
modulo
commit
|
commitdiff
|
tree
2003-12-23
skimo
don'
t
"re
p
osition" modulo
commit
|
commitdiff
|
tree
2003-12-23
skimo
ext
e
nd com
p
ute_en
o
de
for modulo
commit
|
commitdiff
|
tree
2003-12-23
skimo
copied from polylib
commit
|
commitdiff
|
tree
2003-12-23
skimo
compa
r
e argument for
mod
u
lo ty
p
e
commit
|
commitdiff
|
tree
2003-12-23
skimo
m
ore ca
n
o
nica
l
iz
a
tion
commit
|
commitdiff
|
tree
2003-12-22
skimo
small c
l
ean
-
up
commit
|
commitdiff
|
tree
2003-12-22
skimo
a
d
d per
i
odics "
c
anonical
l
y"
commit
|
commitdiff
|
tree
2003-12-22
skimo
a
d
d
polynomials "can
o
nica
l
ly"
commit
|
commitdiff
|
tree
2003-12-22
skimo
small simp
l
i
c
iati
o
n
commit
|
commitdiff
|
tree
2003-12-22
skimo
reduce
su
p
po
r
t for modu
l
o
commit
|
commitdiff
|
tree
2003-12-22
s
k
imo
eadd and emul
s
upport for
m
odulo
commit
|
commitdiff
|
tree
2003-12-22
s
k
imo
supp
o
rt printing
of modulo
commit
|
commitdiff
|
tree
2003-12-22
ski
m
o
add "modulo" type
commit
|
commitdiff
|
tree
2003-12-22
skimo
add "copy constru
c
tor"
commit
|
commitdiff
|
tree
2003-12-22
skimo
copy some pri
n
ti
n
g funcs
f
rom polylib
commit
|
commitdiff
|
tree
2003-12-22
sk
i
mo
f
i
x typ
o
in comment
commit
|
commitdiff
|
tree
2003-12-22
skimo
copy s
o
me defs/funs from poly
l
ib
commit
|
commitdiff
|
tree
2003-12-22
ski
m
o
includ
e
ev_o
p
erations before barvi
n
o
k
commit
|
commitdiff
|
tree
2003-12-22
skimo
sma
l
l clean
-
u
p
s
commit
|
commitdiff
|
tree
2003-12-22
skimo
rem
o
ve use of
e
hrha
r
tpol
y
nom
commit
|
commitdiff
|
tree
2003-12-22
skimo
remove
p
a
r
ams
commit
|
commitdiff
|
tree
2003-12-22
skimo
c
onver term
commit
|
commitdiff
|
tree
2003-12-22
sk
i
mo
convert te
r
m_
i
nf
o
commit
|
commitdiff
|
tree
2003-12-22
s
k
imo
convert mul
t
i_pol
y
no
m
commit
|
commitdiff
|
tree
2003-12-22
sk
i
mo
"c
o
nvert" constant
commit
|
commitdiff
|
tree
2003-12-22
skimo
c
o
n
v
e
r
t uni
_
p
olynom
commit
|
commitdiff
|
tree
2003-12-22
skim
o
new "
c
onstruc
t
or"
commit
|
commitdiff
|
tree
2003-12-22
s
kimo
f
r
e
e factor
commit
|
commitdiff
|
tree
2003-12-22
skimo
use a
d
deliminatedparams_e
v
al
u
e
commit
|
commitdiff
|
tree
2003-12-22
skimo
cop
i
ed from polylib
commit
|
commitdiff
|
tree
2003-12-22
sk
i
mo
remove unneeded a
r
gument
commit
|
commitdiff
|
tree
2003-12-22
s
kimo
c
o
nvert fac
t
o
r to eva
l
u
e
commit
|
commitdiff
|
tree
2003-12-22
s
ki
m
o
int
const
r
u
c
tor
commit
|
commitdiff
|
tree
2003-12-20
skimo
Keep the equations that Polyhed
r
on2Param_Simplifie
d
Domain
commit
|
commitdiff
|
tree
2003-12-17
skimo
chec
k
n
u
mber
o
f arguments of count_
p
o
i
nts
commit
|
commitdiff
|
tree
2003-12-17
skimo
check number
of ar
g
u
ments
o
f
Polyhedron
_
Enume
r
ate
commit
|
commitdiff
|
tree
2003-12-17
skim
o
Don't as
s
ume new_enod
e
i
nits
commit
|
commitdiff
|
tree
2003-11-27
skimo
make sure te
s
ts get in
c
luded
commit
|
commitdiff
|
tree
2003-11-27
skimo
bump version
commit
|
commitdiff
|
tree
2003-11-27
skim
o
clear value
b
e
f
o
r
e
o
v
erwriting it
commit
|
commitdiff
|
tree
2003-11-26
skimo
D
o
n'
t
assume new_eno
d
e ini
t
s
.
x
.
n and
fix some memory
.
.
.
commit
|
commitdiff
|
tree
2003-11-26
skimo
don't
throw a
w
a
y
the constraints on the parame
t
ers
commit
|
commitdiff
|
tree
2003-11-26
skimo
Dea
l
with e
q
ualitie
s
wi
t
h non-one c
o
effic
i
ents
.
commit
|
commitdiff
|
tree
2003-11-26
sk
i
mo
Hand
l
e
equali
t
ies among paramet
e
r
s (partially copied
.
.
.
commit
|
commitdiff
|
tree
2003-11-26
skimo
provide more
inf
o
on
failure
commit
|
commitdiff
|
tree
2003-11-26
s
kim
o
only
s
k
ip equalities
commit
|
commitdiff
|
tree
2003-11-26
skimo
ho
n
our
argument
commit
|
commitdiff
|
tree
2003-11-26
skimo
return empty polyhedro
n
once w
e
're out
of v
a
riables
commit
|
commitdiff
|
tree
2003-11-25
sk
i
mo
leave equalities a
m
on
g
parameters alone
commit
|
commitdiff
|
tree
2003-11-25
skimo
handle non-para
m
etrized and
empty polytopes
commit
|
commitdiff
|
tree
2003-11-25
skimo
init value
s
befo
r
e writin
g
t
o t
h
em
commit
|
commitdiff
|
tree
2003-11-25
sk
i
mo
get p
e
riod right
commit
|
commitdiff
|
tree
2003-11-25
ski
m
o
a
dd (succee
d
ing) t
e
sts
commit
|
commitdiff
|
tree
2003-11-25
s
k
i
mo
r
e
m
o
ve equalities
from paramet
r
ized domains
commit
|
commitdiff
|
tree
next