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
Stefano added to README and credits
2008-07-27
K
i
rill S
m
elkov
S
t
efano added to README and credits
commit
|
commitdiff
|
tree
2008-07-26
Kirill Smelkov
e
x
a
mpl
e
s/r
e
lativity
.
py -- c
o
nvert outp
u
t t
o
pprint
.
.
.
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-07-26
Kirill Smelkov
pprint: prett
i
fy matri
x
ou
t
pu
t
(#495)
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-07-26
K
i
rill
Smel
k
o
v
Add test for already fixed
#634
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-07-26
Kir
i
l
l
Sme
l
kov
Fix str
(
Real) (#962
)
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-07-26
Kirill Smelkov
"
F
ix" docstring
w
h
e
re
o
utput depends on in
t
ernal
o
rdering
.
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-07-25
Kirill Smelkov
[24
/
24]
Mul: more tests
f
or
.
i
s
_
ne
g
ativ
e
&
friends
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-07-25
Kirill Smelkov
[2
3
/24] Pow: fix te
s
ts (0**x)
.
is_real
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-07-25
Kiri
l
l
Smelkov
[22/24
]
3 XPASS'ing te
s
t
s in sympy/co
r
e/tests/test_assum
p
tio
.
.
.
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-07-25
Ki
r
ill Sm
e
lkov
[21/24] Ne
w
t
est for inference r
u
l
e
(
!
real -> !int
e
g
e
r
.
.
.
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-07-25
Kiril
l
Smelkov
[20/24] Numbers: corre
c
t s
e
c
o
ndary
tes
t
ed assumptions
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-07-25
Kirill
Smelk
o
v
[19/24] I:
correct tested a
s
s
u
mptions
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-07-25
Ki
r
ill Smelkov
[18/24] Neati
v
eO
n
e, Pi
,
Exp1: correct t
e
sted assum
p
tion
s
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-07-25
Kiri
l
l Smelko
v
[17
/
2
4
] NaN: correct
a
s
sumptions
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-07-25
K
i
rill Smelkov
[16/24] +-Infinity: correct ass
u
mptions
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-07-25
Kiril
l
Sme
l
kov
[15/24] Zero:
c
o
rrect assumptions
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-07-25
Kiri
l
l Smelko
v
[14/
2
4] Mul: teach
.
_e
v
a
l
_is
_
ne
g
ati
v
e about a
l
l-te
r
ms
.
.
.
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-07-25
Ki
r
ill Smelkov
[13/24
]
Mul: teach it that !int
e
ge
r
-> !even & !odd
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-07-25
Kiri
l
l Smelkov
[12/24
]
M
u
l:
t
e
ach
.
is
_
re
a
l &
.
i
s_imagin
a
ry to account
.
.
.
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-07-25
Kirill Smelkov
[11/24] rew
o
rk assumptions
.
py to use FactRules
.
.
.
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-07-25
K
i
rill
Smelkov
[10/24] rework assump
t
i
o
ns
.
p
y
to us
e
FactRules
.
.
.
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-07-25
Kirill
S
melkov
[9/24]: r
e
work assu
m
ptions
.
py to use Fa
c
t
Rules (BasicMeta
.
.
.
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-07-25
K
irill
Smelkov
[8/24]: rework assumptions to u
s
e FactRu
l
es
(n
o
.
ass
u
me())
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-07-25
Kiri
l
l Smelkov
[7/24]: rework assumption
s
to u
s
e FactRules (hash
)
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-07-25
Kirill
S
melkov
[
6/24]: rework assumpt
i
on
s
to use FactRules (Basic)
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-07-25
Kiril
l
Smelko
v
[
5
/
24]:
rewor
k
assu
m
ptions to use Fac
t
Rules (
B
a
sicMeta)
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-07-25
Kirill Smelkov
[4/
2
4]: rework ass
u
mptions
.
p
y
t
o use FactRules (kill
.
.
.
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-07-25
Kirill Smelkov
[3/24]:
r
ework assumptions to use FactRules (ass
u
m
ptions
.
py)
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-07-25
Kirill Smelk
o
v
[2/24] rule bas
e
d inf
e
ren
c
e engi
n
e (engine itself
)
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-07-25
Kiril
l
Smelkov
[1/24] rule b
a
s
ed in
f
erence engine (
l
ogic)
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-07-25
Kirill
S
m
elko
v
pretty: fix
pr
i
n
ting of long strin
g
s e
.
g
.
pi
.
evalf
.
.
.
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-07-25
Kirill Smelkov
pretty: spec
i
al symbol
f
or
muliply (
#
95
7
)
commit
|
commitdiff
|
tree
2008-07-25
Kirill Smelkov
pr
e
tty_s
y
m
b
ol
o
gu: xre
l
-> xsym -- it will be a
p
plicab
l
e
.
.
.
commit
|
commitdiff
|
tree
2008-07-25
Kirill
Sme
l
kov
te
s
t_r
o
ot
s
: robustify tests for root
s
(x**3 + x**2
.
.
.
commit
|
commitdiff
|
tree
2008-07-25
Kirill Sm
e
lkov
test_roots: use s
y
mpify and st
r
i
ng repres
e
ntation for
.
.
.
commit
|
commitdiff
|
tree
2008-07-24
Kiril
l
Smelko
v
tes
t
s for
.
a
s_coeff_factors()
commit
|
commitdiff
|
tree
2008-07-24
K
irill
Smelkov
n
s
e
ries: robustify te
s
t_bug4
commit
|
commitdiff
|
tree
2008-07-24
K
irill Smelkov
r
obu
s
tify tests for postorder
_
traversal
and preorder_
t
ra
v
e
r
s
al
commit
|
commitdiff
|
tree
2008-07-21
Kirill Smelkov
rsolve_hyper: robustify tests to cat
c
h all combina
t
i
ons
.
.
.
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-07-20
Kirill S
m
elkov
Add: fix
.
_ev
a
l_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 Sm
e
lkov
Pol
y
s
: robustify some te
s
ts which dep
e
nd on un
d
erlying
.
.
.
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-07-20
Kiri
l
l
S
melkov
pre
t
ty: robustify di
c
t
t
ests
(#938)
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-07-18
Kirill Smelko
v
Bas
i
cM
e
ta: don't
i
mport typeinfo (e
.
g
.
is_Integer)
.
.
.
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-07-18
Kiri
l
l Smelkov
B
asic
.
__
n
ew__
: set
.
_ass
u
mptions
t
o
None
e
a
rly
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-07-06
Kirill Smelkov
doc: s
p
t --
strip whitespa
c
e
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-07-06
K
i
rill Smelkov
doc: spt -- kill duplic
a
te le
f
t
o
ver after a4ab1c5072c4
.
.
.
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-07-06
Kirill Smelkov
doc: mention NotImpleme
n
tedErro
r
in py
t
hon-comparisons
.
txt
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-07-06
Kir
i
l
l
Sm
e
lkov
doc
:
fix typos in python-compar
i
sons
.
txt
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-04-26
Kir
i
l
l Smelko
v
Davi
d
Roberts added to README
commit
|
commitdiff
|
tree
2008-04-23
Kir
i
ll Smelkov
Rober
t
o added to README
commit
|
commitdiff
|
tree
2008-04-21
Kirill Smelkov
A
d
d Fe
l
ix to R
E
ADME
commit
|
commitdiff
|
tree
2008-04-20
Kirill Sm
e
l
kov
Strip
t
railing
whi
t
e
s
p
aces all over S
y
m
P
y
commit
|
commitdiff
|
tree
2008-04-19
Kirill Smelkov
Fix Poly
t
o be comp
a
tible wit
h
Python2
.
4
commit
|
commitdiff
|
tree
2008-04-17
Kirill S
m
e
lkov
fix
ac
o
s
h
(<something real>) (
#
730
)
commit
|
commitdiff
|
tree
2008-04-17
Kirill Smelkov
tes
t
_
b
ug2 started to
p
ass
commit
|
commitdiff
|
tree
2008-04-17
K
i
rill Smelkov
tes
t
_Limits_simple_4
b
started
t
o
pass
commit
|
commitdiff
|
tree
2008-04-17
Kiri
l
l
Smelk
o
v
test_apart1 st
a
r
t
ed to p
a
ss
commit
|
commitdiff
|
tree
2008-04-17
Ki
r
ill
Smelkov
pprint: f
i
x printing
of greek l
e
t
te
r
s i
n
de
r
i
v
ativ
e
s
.
.
.
commit
|
commitdiff
|
tree
2008-04-17
Kirill Smelkov
pprint: move
p
re
t
ty r
e
lated
tests to their home
commit
|
commitdiff
|
tree
2008-04-16
K
i
rill Smelkov
pprin
t
: implement Limi
t
pri
n
ting
commit
|
commitdiff
|
tree
2008-04-16
Kirill Sme
l
kov
Rizgar
a
dded to README
commit
|
commitdiff
|
tree
2008-04-13
Kirill Sm
e
lkov
Pan ad
d
ed to REA
D
ME
commit
|
commitdiff
|
tree
2008-04-11
Kirill Smelkov
rem
o
ve unne
c
cesary
com
m
ente
d
XF
A
IL
commit
|
commitdiff
|
tree
2008-04-11
Kirill Smelkov
Add Abderrahim to README
commit
|
commitdiff
|
tree
2008-04-03
Kirill Smelkov
Nimish adde
d
to READM
E
commit
|
commitdiff
|
tree
2008-03-26
Kiri
l
l
Sme
l
kov
doc: insta
l
l
s
pt-patches/ as well
commit
|
commitdiff
|
tree
2008-03-26
Kirill Sme
l
k
ov
d
o
c: spt: SAGE does pathch review
s
commit
|
commitdiff
|
tree
2008-03-26
K
i
r
ill Smelkov
doc:
spt: w
o
rkaround
s
idebar re
l
ated b
u
g in
sphinx
commit
|
commitdiff
|
tree
2008-03-26
Ki
r
ill Smel
k
ov
do
c
:
S
ymPy Patc
h
es Tutoria
l
: add pri
n
table
v
er
s
i
o
n
commit
|
commitdiff
|
tree
2008-03-26
Kirill
S
m
elkov
.
hgi
g
nore += d
o
c/ b
u
i
l
d s
t
uff
commit
|
commitdiff
|
tree
2008-03-26
Kirill Smelkov
p
r
inter
.
py: fix
typos
commit
|
commitdiff
|
tree
2008-03-26
Kiri
l
l
Smelkov
p
retty: fix xobj
f
o
r
even height
commit
|
commitdiff
|
tree
2008-03-26
Kirill
S
m
elkov
pprint: fix han
d
ling of old-st
y
le classes (#755
)
commit
|
commitdiff
|
tree
2008-03-23
Kirill Sm
e
lkov
slightly speedup Basic
.
__getattr_
_
commit
|
commitdiff
|
tree
2008-03-23
Kirill Smel
k
ov
add co
m
ments to Mul
.
flatten
commit
|
commitdiff
|
tree
2008-03-23
Kiril
l
S
m
elkov
[2/2] let
'
s
use __s
l
ots__
commit
|
commitdiff
|
tree
2008-03-23
Kirill Sm
e
lkov
[1/2
]
let's use __sl
o
ts__
commit
|
commitdiff
|
tree
2008-03-12
Kirill Smelkov
[5/5] __eq__/__
n
e__
returns True/False directly (
.
.
.
commit
|
commitdiff
|
tree
2008-03-12
Kirill Sme
l
k
ov
[4/5] __eq__/__ne__
r
e
t
urns Tru
e
/False directly (
.
.
.
commit
|
commitdiff
|
tree
2008-03-12
Kirill S
m
elk
o
v
[3/5] __eq__/__ne__ retur
n
s Tr
u
e/False
direct
l
y (
.
.
.
commit
|
commitdiff
|
tree
2008-03-12
Kirill Smelkov
[2/5] __eq__/__ne__
r
eturns True/Fals
e
di
r
ectly (
.
.
.
commit
|
commitdiff
|
tree
2008-03-12
Kirill Smelk
o
v
[1/5] __eq__/__ne__ returns
T
r
u
e/False directly (
.
.
.
commit
|
commitdiff
|
tree
2008-03-12
K
iril
l
Smelkov
Relational: fix for '!=' and
.
subs
commit
|
commitdiff
|
tree
2008-03-11
Kirill Smelkov
James added
to
c
redi
t
s
commit
|
commitdiff
|
tree
2008-03-11
Kirill S
m
elkov
I'm guilty again :(
commit
|
commitdiff
|
tree
2008-03-11
Kirill
S
me
l
kov
Test for
x
*unknown
->
u
nknown
.
__rmul__ is ca
l
led
.
.
.
commit
|
commitdiff
|
tree
2008-03-11
Kirill Smelkov
Remove
unneeded lines that try to
propagate __doc__
.
.
.
commit
|
commitdiff
|
tree
2008-02-29
K
ir
i
ll Smelkov
assumpt
i
o
ns: cache 'unknown' assumptions as well
commit
|
commitdiff
|
tree
2008-02-29
Kirill Smelkov
sympif
y
: ad
d
support for ob
j
ect
s
t
hat
im
p
le
m
e
nt _
_
i
n
t__
.
.
.
commit
|
commitdiff
|
tree
2008-02-27
Kirill Smel
k
ov
Pow
.
expand(c
o
mplex
=
True) -- use atan2 to ob
t
ain base
.
.
.
commit
|
commitdiff
|
tree
2008-02-27
Kirill
S
me
l
kov
Add tests for
o
o
*
<smth> =
=
oo (#639)
commit
|
commitdiff
|
tree
2008-02-27
Kirill
S
mel
k
o
v
.
is_positive,
.
is_negative -- fall
back to
c
mp
(
.
evalf
.
.
.
commit
|
commitdiff
|
tree
2008-02-27
Kirill
S
mel
k
ov
Fix
.
is_comparable for func
t
ions
commit
|
commitdiff
|
tree
2008-02-27
Kir
i
ll
Smelkov
Fix thin
k
o in Pow
.
_
e
va
l
_is
_
real
commit
|
commitdiff
|
tree
2008-02-27
Kirill Smelkov
Fix is_n
n
i
&
is_pi as
s
umption aliases
commit
|
commitdiff
|
tree
2008-02-27
Kiri
l
l
Smelko
v
[2/2] Add, Mul
,
Pow: tests for is_
c
o
m
parable
commit
|
commitdiff
|
tree
2008-02-27
K
irill
Sme
l
ko
v
[1/2] Add, Mul, Pow: te
s
ts
for i
s
_compara
b
le
commit
|
commitdiff
|
tree
2008-02-27
K
i
rill Smelkov
Fix code typo in Po
w
.
_eval
_
i
s_co
m
par
a
b
le
commit
|
commitdiff
|
tree
2008-02-24
Kir
i
ll Sme
l
kov
o
o
ps, reorder terms
i
n doctest
s
to match actual output
.
commit
|
commitdiff
|
tree
2008-02-23
Kirill
Smelkov
oo
p
s, s
h
ame on me!
commit
|
commitdiff
|
tree
next