repo.or.cz
/
sympy.git
/
search
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
log
|
graphiclog1
|
graphiclog2
|
commit
|
commitdiff
|
tree
|
refs
|
edit
|
fork
first
·
prev
·
next
Robert Cimrman added to aboutus.txt
2008-08-07
Kirill Smelkov
Ro
b
ert Cimrman added to aboutus
.
txt
commit
|
commitdiff
|
tree
2008-08-07
Kir
i
ll Smelkov
B
astian We
b
er added to credits
commit
|
commitdiff
|
tree
2008-08-07
Kirill Smel
k
o
v
pr
i
nting
.
st
r
-- a
d
d appropria
t
e
tests for
#992
Signed-off-by: Kirill Smelkov <
kirr@landau.phys.spbu.ru
>
commit
|
commitdiff
|
tree
2008-08-07
Kirill
S
melkov
pr
i
n
t
i
n
g
.
s
t
r -- remove HACK in _pr
i
nt_Add
Signed-off-by: Kirill Smelkov <
kirr@landau.phys.spbu.ru
>
commit
|
commitdiff
|
tree
2008-08-07
Kirill Smelkov
Fix
f
or w1
.
match
(
w2+w3)
(
#
9
92)
Signed-off-by: Kirill Smelkov <
kirr@landau.phys.spbu.ru
>
commit
|
commitdiff
|
tree
2008-08-04
Kirill Smelkov
Add
s
upport for var
(
'
x,y,z
'
) (#955)
Signed-off-by: Kirill Smelkov <
kirr@landau.phys.spbu.ru
>
commit
|
commitdiff
|
tree
2008-07-29
Kirill S
m
e
lkov
r
isch:
"
robustify"
t
es
t
_
h
e
urisch_f
r
actio
n
s()
Signed-off-by: Kirill Smelkov <
kirr@landau.phys.spbu.ru
>
commit
|
commitdiff
|
tree
2008-07-29
Kirill Sme
l
kov
Add/Mul -- don't
let is_commutative to go
to
a
ss
u
mpt
i
ons
Signed-off-by: Kirill Smelkov <
kirr@landau.phys.spbu.ru
>
commit
|
commitdiff
|
tree
2008-07-28
K
i
rill Smelkov
Ne
w
-styl
e
cl
a
sses + __getattr__ suc
k
s,
h
ere is why:
Signed-off-by: Kirill Smelkov <
kirr@landau.phys.spbu.ru
>
commit
|
commitdiff
|
tree
2008-07-27
Ki
r
ill Smelk
o
v
S
t
efano added to README and credits
commit
|
commitdiff
|
tree
2008-07-26
Kirill S
m
elkov
ex
a
mples/rela
t
ivity
.
py
-- conve
r
t output to
p
p
rint
.
.
.
Signed-off-by: Kirill Smelkov <
kirr@landau.phys.spbu.ru
>
commit
|
commitdiff
|
tree
2008-07-26
Ki
r
ill Smelkov
p
print: p
r
ettify m
a
tri
x
o
utput (#4
9
5)
Signed-off-by: Kirill Smelkov <
kirr@landau.phys.spbu.ru
>
commit
|
commitdiff
|
tree
2008-07-26
Kirill Smelkov
Add
test
for already fixed #634
Signed-off-by: Kirill Smelkov <
kirr@landau.phys.spbu.ru
>
commit
|
commitdiff
|
tree
2008-07-26
Ki
r
i
ll Smelkov
Fix str(R
e
al) (#9
6
2)
Signed-off-by: Kirill Smelkov <
kirr@landau.phys.spbu.ru
>
commit
|
commitdiff
|
tree
2008-07-26
Ki
r
il
l
Smelkov
"
F
ix"
d
o
c
string where output
d
e
pends on i
n
tern
a
l o
r
dering
.
Signed-off-by: Kirill Smelkov <
kirr@landau.phys.spbu.ru
>
commit
|
commitdiff
|
tree
2008-07-25
Kirill
S
melkov
[24/24] Mul
:
m
ore tests for
.
is_n
e
g
a
ti
v
e &
f
ri
e
nd
s
Signed-off-by: Kirill Smelkov <
kirr@landau.phys.spbu.ru
>
commit
|
commitdiff
|
tree
2008-07-25
Kirill Smelkov
[23/24] Pow: fix test
s
(0
*
*x)
.
is_real
Signed-off-by: Kirill Smelkov <
kirr@landau.phys.spbu.ru
>
commit
|
commitdiff
|
tree
2008-07-25
K
i
rill Sm
e
lkov
[22/2
4
]
3 XPA
S
S'i
n
g
t
e
sts in sympy/core/test
s
/test_assumpt
i
o
.
.
.
Signed-off-by: Kirill Smelkov <
kirr@landau.phys.spbu.ru
>
commit
|
commitdiff
|
tree
2008-07-25
Kiri
l
l
Smelkov
[21/24] New test for inf
e
re
n
c
e rule (
!
real -> !i
n
teger
.
.
.
Signed-off-by: Kirill Smelkov <
kirr@landau.phys.spbu.ru
>
commit
|
commitdiff
|
tree
2008-07-25
Kirill Smelkov
[
2
0/24] Numbers:
c
orrect secon
d
ar
y
tes
t
e
d assumptions
Signed-off-by: Kirill Smelkov <
kirr@landau.phys.spbu.ru
>
commit
|
commitdiff
|
tree
2008-07-25
Kir
i
ll Smelk
o
v
[19/
2
4] I: correct tested ass
u
mpti
o
ns
Signed-off-by: Kirill Smelkov <
kirr@landau.phys.spbu.ru
>
commit
|
commitdiff
|
tree
2008-07-25
Ki
r
ill Smelkov
[18
/
24] NeativeOne
,
Pi, Exp1
:
correct tes
t
ed ass
u
mptions
Signed-off-by: Kirill Smelkov <
kirr@landau.phys.spbu.ru
>
commit
|
commitdiff
|
tree
2008-07-25
Kirill Smelkov
[17/2
4
] NaN: correct assumptions
Signed-off-by: Kirill Smelkov <
kirr@landau.phys.spbu.ru
>
commit
|
commitdiff
|
tree
2008-07-25
K
i
rill Sm
e
l
k
ov
[16
/
24]
+-Infini
t
y: corr
e
ct assump
t
io
n
s
Signed-off-by: Kirill Smelkov <
kirr@landau.phys.spbu.ru
>
commit
|
commitdiff
|
tree
2008-07-25
Kiril
l
Smel
k
ov
[15/24] Ze
r
o
:
corr
e
ct assumptions
Signed-off-by: Kirill Smelkov <
kirr@landau.phys.spbu.ru
>
commit
|
commitdiff
|
tree
2008-07-25
Kirill Smelkov
[
1
4/24] Mul: teach
.
_eval_is_ne
g
a
tive about all-terms
.
.
.
Signed-off-by: Kirill Smelkov <
kirr@landau.phys.spbu.ru
>
commit
|
commitdiff
|
tree
2008-07-25
Kiri
l
l
Smelkov
[
13/24] M
u
l: teach i
t
that !int
e
ger -> !even
&
!o
d
d
Signed-off-by: Kirill Smelkov <
kirr@landau.phys.spbu.ru
>
commit
|
commitdiff
|
tree
2008-07-25
Kiril
l
Sm
e
lko
v
[12
/
24]
M
ul: teach
.
i
s
_real &
.
is
_
imaginary to a
c
count
.
.
.
Signed-off-by: Kirill Smelkov <
kirr@landau.phys.spbu.ru
>
commit
|
commitdiff
|
tree
2008-07-25
Kiri
l
l Smelkov
[11/
2
4] r
e
w
ork as
s
umptions
.
py to u
s
e Fa
c
tRules
.
.
.
Signed-off-by: Kirill Smelkov <
kirr@landau.phys.spbu.ru
>
commit
|
commitdiff
|
tree
2008-07-25
Kirill Smelkov
[10/24] rewor
k
a
s
su
m
p
t
ions
.
py to use F
a
ctRules
.
.
.
Signed-off-by: Kirill Smelkov <
kirr@landau.phys.spbu.ru
>
commit
|
commitdiff
|
tree
2008-07-25
Kirill
S
m
elkov
[9/24]: rewo
r
k
a
s
sumption
s
.
py to
u
se
Fac
t
Rules (BasicMeta
.
.
.
Signed-off-by: Kirill Smelkov <
kirr@landau.phys.spbu.ru
>
commit
|
commitdiff
|
tree
2008-07-25
Kiril
l
Smelkov
[8/24]
:
re
w
o
r
k assu
m
ptions to use
F
actRules
(
no
.
ass
u
me())
Signed-off-by: Kirill Smelkov <
kirr@landau.phys.spbu.ru
>
commit
|
commitdiff
|
tree
2008-07-25
Kirill S
m
elk
o
v
[
7
/
2
4
]: rework assu
m
p
t
i
ons to
u
se
FactR
u
l
e
s (hash)
Signed-off-by: Kirill Smelkov <
kirr@landau.phys.spbu.ru
>
commit
|
commitdiff
|
tree
2008-07-25
K
irill Smelkov
[6
/
24]: rework assumptions t
o
us
e
FactRules (Basic)
Signed-off-by: Kirill Smelkov <
kirr@landau.phys.spbu.ru
>
commit
|
commitdiff
|
tree
2008-07-25
K
i
rill Smelkov
[5/24]: rework a
s
sumptions to us
e
F
a
ctR
u
les
(BasicMeta)
Signed-off-by: Kirill Smelkov <
kirr@landau.phys.spbu.ru
>
commit
|
commitdiff
|
tree
2008-07-25
Kir
i
ll Sm
e
lko
v
[
4
/
24]: r
e
work a
s
su
m
ptions
.
py to use FactR
u
l
e
s (kill
.
.
.
Signed-off-by: Kirill Smelkov <
kirr@landau.phys.spbu.ru
>
commit
|
commitdiff
|
tree
2008-07-25
Kirill Smel
k
o
v
[3/
2
4]:
r
ework assumpt
i
ons to use
FactRules (assump
t
ions
.
py)
Signed-off-by: Kirill Smelkov <
kirr@landau.phys.spbu.ru
>
commit
|
commitdiff
|
tree
2008-07-25
Kirill Smelkov
[2/24] rule
b
ased inference engi
n
e (engine itse
l
f
)
Signed-off-by: Kirill Smelkov <
kirr@landau.phys.spbu.ru
>
commit
|
commitdiff
|
tree
2008-07-25
K
irill Smel
k
ov
[1
/
24] rule based inference e
n
gine (logi
c
)
Signed-off-by: Kirill Smelkov <
kirr@landau.phys.spbu.ru
>
commit
|
commitdiff
|
tree
2008-07-25
Kir
i
ll Smelko
v
pretty: fix pri
n
t
i
ng of long string
s
e
.
g
.
pi
.
evalf
.
.
.
Signed-off-by: Kirill Smelkov <
kirr@landau.phys.spbu.ru
>
commit
|
commitdiff
|
tree
2008-07-25
Kirill Smelkov
pretty: specia
l
symbo
l
f
o
r muliply (#
9
57)
commit
|
commitdiff
|
tree
2008-07-25
Ki
r
ill Smelkov
pretty_symbologu: xrel
-> x
s
ym
-
- i
t
w
i
ll be
applica
b
l
e
.
.
.
commit
|
commitdiff
|
tree
2008-07-25
Kirill S
m
elk
o
v
test_roots:
r
ob
u
s
t
i
f
y
tests
f
or roots(x**3 + x**2
.
.
.
commit
|
commitdiff
|
tree
2008-07-25
Kirill S
m
el
k
ov
t
e
st_roots: use
symp
i
fy and
s
tring
repres
e
ntation for
.
.
.
commit
|
commitdiff
|
tree
2008-07-24
Kiril
l
Smelko
v
tes
t
s for
.
as_coeff_factors()
commit
|
commitdiff
|
tree
2008-07-24
Kir
i
ll S
m
elko
v
nserie
s
: ro
b
ustify
t
est
_
b
u
g4
commit
|
commitdiff
|
tree
2008-07-24
Kirill Sme
l
kov
robustify tests fo
r
pos
t
orde
r
_
t
rave
r
sa
l
and preorder_traversal
commit
|
commitdiff
|
tree
2008-07-21
Kirill
S
melkov
rsol
v
e_hy
p
er: robustify tests t
o
c
a
tch a
l
l c
o
mbinations
.
.
.
Signed-off-by: Kirill Smelkov <
kirr@landau.phys.spbu.ru
>
commit
|
commitdiff
|
tree
2008-07-20
Kiril
l
Smelkov
A
d
d
:
fix
.
_eval_is_irration
a
l (self[:] v
.
s
.
self
.
.
.
Signed-off-by: Kirill Smelkov <
kirr@landau.phys.spbu.ru
>
commit
|
commitdiff
|
tree
2008-07-20
Kirill Smelkov
Polys: robustify some
t
ests which depend
on und
e
r
l
ying
.
.
.
Signed-off-by: Kirill Smelkov <
kirr@landau.phys.spbu.ru
>
commit
|
commitdiff
|
tree
2008-07-20
Kirill Smelkov
pretty:
r
obustify di
c
t
tests (#938)
Signed-off-by: Kirill Smelkov <
kirr@landau.phys.spbu.ru
>
commit
|
commitdiff
|
tree
2008-07-18
Kiril
l
Smelkov
Ba
s
icMeta: don't import typei
n
fo (e
.
g
.
is_Integer)
.
.
.
Signed-off-by: Kirill Smelkov <
kirr@landau.phys.spbu.ru
>
commit
|
commitdiff
|
tree
2008-07-18
K
irill
S
melkov
Bas
i
c
.
__new
_
_ : s
e
t
.
_assu
m
ption
s
to No
n
e
early
Signed-off-by: Kirill Smelkov <
kirr@landau.phys.spbu.ru
>
commit
|
commitdiff
|
tree
2008-07-06
Kirill Smelk
o
v
doc: spt -
-
strip whitespace
Signed-off-by: Kirill Smelkov <
kirr@landau.phys.spbu.ru
>
commit
|
commitdiff
|
tree
2008-07-06
Kirill Smelkov
doc: spt --
k
i
ll duplicate le
f
tover a
f
t
e
r
a4ab1c5072c4
.
.
.
Signed-off-by: Kirill Smelkov <
kirr@landau.phys.spbu.ru
>
commit
|
commitdiff
|
tree
2008-07-06
K
i
r
ill S
m
e
lkov
do
c
: mention
NotImplementedError in pyth
o
n-comparisons
.
txt
Signed-off-by: Kirill Smelkov <
kirr@landau.phys.spbu.ru
>
commit
|
commitdiff
|
tree
2008-07-06
Kirill
Smelkov
do
c
:
f
ix typos in python-compariso
n
s
.
txt
Signed-off-by: Kirill Smelkov <
kirr@landau.phys.spbu.ru
>
commit
|
commitdiff
|
tree
2008-04-26
Kiri
l
l S
m
elkov
David Roberts ad
d
ed
t
o README
commit
|
commitdiff
|
tree
2008-04-23
K
i
r
ill
S
melkov
Ro
b
erto added to README
commit
|
commitdiff
|
tree
2008-04-21
K
ir
i
ll
S
melko
v
Add Felix to
R
E
A
DME
commit
|
commitdiff
|
tree
2008-04-20
Kirill Smelk
o
v
St
r
ip
t
railing whites
p
ac
e
s
all
over
S
y
mPy
commit
|
commitdiff
|
tree
2008-04-19
Kirill Smelkov
Fix
Poly to be compatible w
i
th Pyth
o
n2
.
4
commit
|
commitdiff
|
tree
2008-04-17
K
i
rill
Sm
e
lkov
fi
x
acosh(<someth
i
ng real>)
(#73
0
)
commit
|
commitdiff
|
tree
2008-04-17
Kiri
l
l Smelkov
test_bug
2
start
e
d to pass
commit
|
commitdiff
|
tree
2008-04-17
K
i
rill
S
m
el
k
o
v
t
est_Limit
s
_
simple_4b star
t
ed to pass
commit
|
commitdiff
|
tree
2008-04-17
Ki
r
i
l
l Smelko
v
te
s
t_apart
1
st
a
rted to pass
commit
|
commitdiff
|
tree
2008-04-17
Kirill S
m
elkov
p
p
rint: fix p
r
intin
g
o
f greek letters in d
e
rivati
v
es
.
.
.
commit
|
commitdiff
|
tree
2008-04-17
Ki
r
ill Smelkov
pprint: mov
e
pr
e
tty related tes
t
s to t
h
eir home
commit
|
commitdiff
|
tree
2008-04-16
K
i
rill Smelkov
pprint: implem
e
nt Limit print
i
ng
commit
|
commitdiff
|
tree
2008-04-16
Kiril
l
Smelk
o
v
Rizga
r
a
dded to R
E
AD
M
E
commit
|
commitdiff
|
tree
2008-04-13
Kir
i
ll S
m
el
k
ov
Pa
n
added to RE
A
DME
commit
|
commitdiff
|
tree
2008-04-11
Kiril
l
Smelkov
r
e
move unnecces
a
ry com
m
ented XFAIL
commit
|
commitdiff
|
tree
2008-04-11
K
i
rill Smelkov
Add Abderra
h
im t
o
README
commit
|
commitdiff
|
tree
2008-04-03
K
i
rill
S
melko
v
Nimi
s
h
a
dd
e
d to READ
M
E
commit
|
commitdiff
|
tree
2008-03-26
K
i
rill
S
m
el
k
ov
doc: inst
a
ll spt-p
a
t
ches/ as
well
commit
|
commitdiff
|
tree
2008-03-26
K
i
rill Smel
k
ov
doc:
s
pt
:
SAGE does path
c
h reviews
commit
|
commitdiff
|
tree
2008-03-26
Kirill Smelkov
doc:
s
pt: workaround sideb
a
r
related bug in sphin
x
commit
|
commitdiff
|
tree
2008-03-26
Kir
i
ll Smelk
o
v
doc: SymPy Patches Tutorial: add
p
r
intabl
e
versi
o
n
commit
|
commitdiff
|
tree
2008-03-26
Kiri
l
l Smelkov
.
hgi
g
n
ore
+= do
c
/ bui
l
d stuff
commit
|
commitdiff
|
tree
2008-03-26
Kirill Smelkov
p
rinter
.
py: fix typo
s
commit
|
commitdiff
|
tree
2008-03-26
Kirill Smelk
o
v
pret
t
y: fix xobj for even height
commit
|
commitdiff
|
tree
2008-03-26
Kir
i
ll Smelkov
ppri
n
t: fix ha
n
d
lin
g
of o
l
d-style cla
s
ses (#7
5
5)
commit
|
commitdiff
|
tree
2008-03-23
K
iri
l
l
Smel
k
o
v
s
l
i
ghtly spe
e
d
u
p Basic
.
__getattr__
commit
|
commitdiff
|
tree
2008-03-23
K
i
rill Smelkov
add comments to Mul
.
flatten
commit
|
commitdiff
|
tree
2008-03-23
Kirill Smel
k
ov
[2/2] let
'
s use __slots__
commit
|
commitdiff
|
tree
2008-03-23
Kirill Smelkov
[1/2] let's use __slo
t
s__
commit
|
commitdiff
|
tree
2008-03-12
Kirill Smelk
o
v
[5/5] __eq
_
_/_
_
ne__ returns T
r
ue/F
a
lse direct
l
y (
.
.
.
commit
|
commitdiff
|
tree
2008-03-12
Kirill Smelkov
[4/5] _
_
eq__/__
n
e
__ returns
True/Fal
s
e dir
e
ctly (
.
.
.
commit
|
commitdiff
|
tree
2008-03-12
Kirill Smelkov
[3/
5
]
__eq__/__ne__ ret
u
rns True/False directly (
.
.
.
commit
|
commitdiff
|
tree
2008-03-12
Kirill Smelkov
[2/5] __eq__/__ne__ returns True/False dire
c
tly (
.
.
.
commit
|
commitdiff
|
tree
2008-03-12
Kirill Smelkov
[1/5]
__eq__/__ne__
returns Tru
e
/False
d
irectly (
.
.
.
commit
|
commitdiff
|
tree
2008-03-12
Kirill Sme
l
kov
Relational: fix fo
r
'
!
=' and
.
subs
commit
|
commitdiff
|
tree
2008-03-11
Kirill Smel
k
ov
J
ames adde
d
to credits
commit
|
commitdiff
|
tree
2008-03-11
Kirill Smelkov
I'm gu
i
lt
y
again
:
(
commit
|
commitdiff
|
tree
2008-03-11
Kirill Smelk
o
v
Test
for
x
*unknown ->
u
nknown
.
__rmul__ is calle
d
.
.
.
commit
|
commitdiff
|
tree
2008-03-11
Kirill
Sme
l
kov
R
emove u
n
needed lines
t
h
at try to
p
r
opag
a
te
__doc__
.
.
.
commit
|
commitdiff
|
tree
2008-02-29
Kiri
l
l S
m
elkov
assump
t
ions: cache
'unknown' a
s
sumptions as well
commit
|
commitdiff
|
tree
2008-02-29
Ki
r
ill Smelkov
s
ympify: add support f
o
r objec
t
s
t
hat implement _
_
in
t
_
_
.
.
.
commit
|
commitdiff
|
tree
2008-02-27
Kiri
l
l
Smelkov
Pow
.
expa
n
d(complex=Tr
u
e) -- use atan2 to
o
btain
b
as
e
.
.
.
commit
|
commitdiff
|
tree
2008-02-27
K
i
rill Smelkov
Add tests f
o
r o
o
*<smth> == oo (#639)
commit
|
commitdiff
|
tree
next