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 for modulo calculations
2003-12-23
skimo
support
f
o
r modulo calculation
s
commit
|
commitdiff
|
tree
2003-12-23
s
k
imo
pi
c
k up modified vers
i
on
s
commit
|
commitdiff
|
tree
2003-12-23
ski
m
o
d
on't cons
t
ruct zero
te
r
m
commit
|
commitdiff
|
tree
2003-12-23
s
kim
o
pick
u
p mod
i
fied
v
ersions
commit
|
commitdiff
|
tree
2003-12-23
sk
i
m
o
be carefull abou
t
r
ounding an
d
modulo
commit
|
commitdiff
|
tree
2003-12-23
skimo
don't
"reposition"
m
odulo
commit
|
commitdiff
|
tree
2003-12-23
skimo
e
xtend
c
ompute_enode for modulo
commit
|
commitdiff
|
tree
2003-12-23
skimo
copied from polylib
commit
|
commitdiff
|
tree
2003-12-23
skimo
compare a
r
gument for m
o
dulo type
commit
|
commitdiff
|
tree
2003-12-23
skimo
mor
e
canonicaliza
t
i
o
n
commit
|
commitdiff
|
tree
2003-12-22
skimo
small c
l
e
an-up
commit
|
commitdiff
|
tree
2003-12-22
skimo
add periodics "canoni
c
ally"
commit
|
commitdiff
|
tree
2003-12-22
skim
o
a
dd polynomials
"
canonically"
commit
|
commitdiff
|
tree
2003-12-22
ski
m
o
small simpliciation
commit
|
commitdiff
|
tree
2003-12-22
s
k
imo
reduce
s
upport for modulo
commit
|
commitdiff
|
tree
2003-12-22
skimo
eadd an
d
emul suppor
t
f
o
r
modulo
commit
|
commitdiff
|
tree
2003-12-22
skimo
sup
p
ort
p
r
i
n
t
ing of modulo
commit
|
commitdiff
|
tree
2003-12-22
s
k
i
m
o
add "modulo" t
y
pe
commit
|
commitdiff
|
tree
2003-12-22
skimo
add "c
o
py constructor"
commit
|
commitdiff
|
tree
2003-12-22
s
kimo
c
o
py some
printing fun
c
s from polylib
commit
|
commitdiff
|
tree
2003-12-22
skimo
f
i
x
t
ypo in c
o
m
ment
commit
|
commitdiff
|
tree
2003-12-22
skimo
c
o
py some defs/f
u
ns from
polyli
b
commit
|
commitdiff
|
tree
2003-12-22
skimo
include
e
v_operations before
b
arvi
n
ok
commit
|
commitdiff
|
tree
2003-12-22
skimo
sma
l
l clean-ups
commit
|
commitdiff
|
tree
2003-12-22
s
ki
m
o
remove use of
ehrhartpol
y
nom
commit
|
commitdiff
|
tree
2003-12-22
skimo
remove param
s
commit
|
commitdiff
|
tree
2003-12-22
skimo
conv
e
r term
commit
|
commitdiff
|
tree
2003-12-22
s
k
imo
conv
e
r
t
term_info
commit
|
commitdiff
|
tree
2003-12-22
s
k
i
mo
convert
m
u
lt
i
_polynom
commit
|
commitdiff
|
tree
2003-12-22
skimo
"convert" constant
commit
|
commitdiff
|
tree
2003-12-22
s
k
imo
conve
r
t
u
ni_polynom
commit
|
commitdiff
|
tree
2003-12-22
ski
m
o
new
"
constru
c
tor"
commit
|
commitdiff
|
tree
2003-12-22
s
k
imo
f
r
ee f
a
ctor
commit
|
commitdiff
|
tree
2003-12-22
s
k
i
m
o
use
addelimina
t
edparam
s
_e
v
alue
commit
|
commitdiff
|
tree
2003-12-22
sk
i
m
o
copied
fr
o
m polyl
i
b
commit
|
commitdiff
|
tree
2003-12-22
skimo
remo
v
e
unnee
d
ed
a
rg
u
ment
commit
|
commitdiff
|
tree
2003-12-22
skimo
convert factor t
o
eva
l
ue
commit
|
commitdiff
|
tree
2003-12-22
ski
m
o
int con
s
tructor
commit
|
commitdiff
|
tree
2003-12-20
skimo
Ke
e
p the
e
quations that
P
olyhedron2Param_Simplified
D
omain
commit
|
commitdiff
|
tree
2003-12-17
sk
i
mo
check numb
e
r of ar
g
uments of count_points
commit
|
commitdiff
|
tree
2003-12-17
sk
i
mo
c
h
ec
k
number
of arguments
o
f Poly
h
e
dron
_
Enumer
a
te
commit
|
commitdiff
|
tree
2003-12-17
skimo
Do
n
't assume new_enode init
s
commit
|
commitdiff
|
tree
2003-11-27
skimo
make sure tests get includ
e
d
commit
|
commitdiff
|
tree
2003-11-27
skimo
bu
m
p version
commit
|
commitdiff
|
tree
2003-11-27
skimo
clear valu
e
befor
e
overw
r
iting
i
t
commit
|
commitdiff
|
tree
2003-11-26
skimo
D
on't assume n
e
w_enode inits
.
x
.
n a
n
d fix some m
e
mory
.
.
.
commit
|
commitdiff
|
tree
2003-11-26
skimo
don't throw away the
constra
i
nts on the parame
t
ers
commit
|
commitdiff
|
tree
2003-11-26
skimo
Deal
with
e
q
u
alities with non
-
one
coefficients
.
commit
|
commitdiff
|
tree
2003-11-26
skimo
Handle e
q
ua
l
ities
among parameters (p
a
rtially copi
e
d
.
.
.
commit
|
commitdiff
|
tree
2003-11-26
skimo
p
r
ovide more
info on failu
r
e
commit
|
commitdiff
|
tree
2003-11-26
sk
i
mo
o
n
ly
s
kip equalitie
s
commit
|
commitdiff
|
tree
2003-11-26
sk
i
mo
honou
r
argument
commit
|
commitdiff
|
tree
2003-11-26
skimo
return e
m
pty polyhedron
o
nce we'
r
e out o
f
va
r
iables
commit
|
commitdiff
|
tree
2003-11-25
skimo
leave equalities among parameters
a
l
one
commit
|
commitdiff
|
tree
2003-11-25
s
k
imo
handle non-paramet
r
iz
e
d and e
m
pty polytop
e
s
commit
|
commitdiff
|
tree
2003-11-25
skimo
init values befo
r
e
writing to th
e
m
commit
|
commitdiff
|
tree
2003-11-25
sk
i
mo
get period righ
t
commit
|
commitdiff
|
tree
2003-11-25
sk
i
mo
a
dd
(
succeedi
n
g) tests
commit
|
commitdiff
|
tree
2003-11-25
ski
m
o
remove equ
a
litie
s
f
r
o
m pa
r
ametri
z
ed
d
omains
commit
|
commitdiff
|
tree
2003-11-24
s
k
i
mo
ver
i
fy barvinok_enumerate
commit
|
commitdiff
|
tree
2003-11-24
s
kimo
copied from
po
l
yl
i
b distributi
o
n
commit
|
commitdiff
|
tree
2003-11-24
ski
m
o
more
m
emory leaks fi
x
es
commit
|
commitdiff
|
tree
2003-11-24
s
k
imo
fi
x
a f
e
w
m
e
m
ory
l
eak
s
commit
|
commitdiff
|
tree
2003-11-24
s
kim
o
fix a few me
m
ory leaks
commit
|
commitdiff
|
tree
2003-11-24
skimo
remove unused variable
commit
|
commitdiff
|
tree
2003-11-24
ski
m
o
only do d
e
c
omposition
o
nce for each
vertex
commit
|
commitdiff
|
tree
2003-11-23
skimo
print
the co
m
p
l
e
t
e list
of Enu
m
er
a
tions
commit
|
commitdiff
|
tree
2003-11-23
skimo
r
estar
t
count fo
r
e
ach
d
o
m
ain
commit
|
commitdiff
|
tree
2003-11-23
skimo
reduce fractions in generated evalues
commit
|
commitdiff
|
tree
2003-11-23
s
kim
o
call red
u
ce_eval
u
e
commit
|
commitdiff
|
tree
2003-11-23
skimo
check
w
het
h
er
reduce
_
eva
l
ue
is
e
x
ported
commit
|
commitdiff
|
tree
2003-11-23
skimo
fix parametrized ra
t
ion
a
l pol
y
topes case
commit
|
commitdiff
|
tree
2003-11-21
ski
m
o
suppor
t
for r
a
tional
p
olyt
o
pes in
multiple p
a
rameters
commit
|
commitdiff
|
tree
2003-11-21
skimo
fix s
u
p
porting_cone_p
commit
|
commitdiff
|
tree
2003-11-21
sk
i
mo
put some c
o
mmon
c
ode in a
f
unctio
n
commit
|
commitdiff
|
tree
2003-11-21
s
kimo
directly a
d
d
to c
o
rre
c
t list
commit
|
commitdiff
|
tree
2003-11-21
skimo
furthe
r
s
implification
commit
|
commitdiff
|
tree
2003-11-21
skimo
small simplificatio
n
commit
|
commitdiff
|
tree
2003-11-21
ski
m
o
g
e
t
s
ome cases of single parameter
rationa
l
pol
y
topes
.
.
.
commit
|
commitdiff
|
tree
2003-11-21
skimo
iterate over
all
d
ata in res
u
lt
commit
|
commitdiff
|
tree
2003-11-20
skimo
p
a
tch from K
r
istof
commit
|
commitdiff
|
tree
2003-11-19
sk
i
mo
lcm and
i m
i
g
h
t point to the sa
m
e
Value
commit
|
commitdiff
|
tree
2003-11-19
s
kimo
s
upport multipl
e
parameters
commit
|
commitdiff
|
tree
2003-11-19
skimo
us
e
E
hrhartPol
y
noms
commit
|
commitdiff
|
tree
2003-11-19
skimo
add mis
s
ing a
s
s
e
rt
commit
|
commitdiff
|
tree
2003-11-19
skim
o
contribut
e
d code from
K
oen
Beyls
commit
|
commitdiff
|
tree
2003-11-19
skimo
a
dd main p
r
ogram
for enumerate
commit
|
commitdiff
|
tree
2003-11-19
skimo
remove de
b
ugging output
commit
|
commitdiff
|
tree
2003-11-19
sk
i
mo
rough implementation of barvinok_enumerate for one
.
.
.
commit
|
commitdiff
|
tree
2003-11-16
skim
o
Con
s
t
r
u
c
t supporting
c
one of param
e
trized polyhedro
n
commit
|
commitdiff
|
tree
2003-11-16
skimo
Simplify sup
p
orting_
c
o
n
e
commit
|
commitdiff
|
tree
2003-11-16
skimo
n
e
w utility function
s
commit
|
commitdiff
|
tree
2003-11-06
skimo
bum
p
versio
n
commit
|
commitdiff
|
tree
2003-11-06
sk
i
mo
allow spe
c
ifica
t
i
o
n of ma
x
#constrai
n
t
s
commit
|
commitdiff
|
tree
2003-11-06
skimo
just in case
commit
|
commitdiff
|
tree
2003-11-06
skim
o
OK, so we were a
c
tual
l
y looking at
t
he lower
faces
.
.
.
commit
|
commitdiff
|
tree
2003-11-06
skim
o
remov
e
debu
g
ging output
commit
|
commitdiff
|
tree
2003-11-06
skimo
So apparently triangulization also
works if you take
.
.
.
commit
|
commitdiff
|
tree
2003-11-05
skim
o
check whether
p
o
ly
l
ib gr
o
ws
chern
i
kova ta
b
le
space
commit
|
commitdiff
|
tree
2003-11-05
skimo
add test
on r
a
ndom po
l
ytopes
commit
|
commitdiff
|
tree
next