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
Fix for w1.match(w2+w3) (#992)
2008-08-07
Kiril
l
Smelkov
Fix for
w
1
.
m
a
tch(w2+w3) (#992)
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-08-04
K
i
ril
l
Smelkov
Add support for var('x
,
y,z'
)
(#
9
55)
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-07-29
Kirill Smelkov
risch: "rob
u
sti
f
y" tes
t
_heurisch_fra
c
tions()
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-07-29
Kirill Smelkov
Add/Mul
-- do
n
't let is_c
o
m
mutative t
o
go t
o
a
ssumptions
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-07-28
Kiri
l
l Sme
l
k
ov
Ne
w
-
style
c
l
asses + __getattr__ sucks, here is why:
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-07-27
Kiri
l
l Smelkov
Stefano ad
d
e
d
to
R
E
ADME and credits
commit
|
commitdiff
|
tree
2008-07-26
K
irill
S
melkov
examples/
r
elativity
.
p
y -- convert o
u
tput to pprin
t
.
.
.
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-07-26
Kir
i
ll
S
m
elkov
pprint:
pr
e
ttif
y
matrix output (#495)
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-07-26
Kirill
Sm
e
lkov
Add test for
a
l
ready fixed
#
634
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-07-26
K
i
r
i
ll Smelkov
Fix str(Real) (#962)
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-07-26
K
i
rill Smelkov
"Fix" d
o
cst
r
ing
w
here outpu
t
depends o
n
internal orderin
g
.
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-07-25
Kirill Sm
e
lkov
[24/24] Mul:
more
tests for
.
is_negative & fr
i
ends
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-07-25
K
i
rill Smelkov
[23/2
4
] Pow: fix
t
ests (0**
x
)
.
is_real
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-07-25
K
i
r
i
ll Smelkov
[2
2
/24] 3 XPASS'i
n
g
tests in sympy
/
core/tes
t
s/t
e
s
t_as
s
umpti
o
.
.
.
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-07-25
Kirill
Smelkov
[21/24] New test for inference rule (
!
real -> !integer
.
.
.
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-07-25
Kirill Smelkov
[20/24]
Numbers: c
o
rrect
s
econdary tested
a
s
s
u
mptions
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-07-25
Kirill S
m
elkov
[19/24] I:
c
orrect
t
ested assu
m
ptio
n
s
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-07-25
Kirill Smelk
o
v
[18/24] Neat
i
v
eOne, Pi, Exp1:
correct te
s
ted as
s
umptions
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-07-25
Kirill
Smelko
v
[17/24]
N
aN: correct assumptions
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-07-25
Kiri
l
l
Smelkov
[
16/24] +-Infinit
y
:
corr
e
c
t
assumptions
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-07-25
Kirill S
m
elkov
[15/24] Zero: corr
e
c
t
assumptions
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-07-25
K
i
rill Smelkov
[
1
4/24] M
u
l
:
teach
.
_eval_i
s
_ne
g
at
i
ve about all-
t
e
r
ms
.
.
.
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-07-25
K
irill Smelkov
[13/
2
4] M
u
l:
teach it
t
ha
t
!integer -
>
!even & !odd
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-07-25
Kir
i
l
l
Smelkov
[12/24] Mul: teach
.
is_r
e
al &
.
i
s_imagin
a
ry
to acco
u
nt
.
.
.
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-07-25
Kirill Smelkov
[11/24
]
rework ass
u
mp
t
ions
.
p
y
to
use FactRules
.
.
.
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-07-25
Kirill S
m
elkov
[10/24] r
e
work a
s
sumptions
.
p
y
to use FactRules
.
.
.
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-07-25
Kir
i
ll Smelkov
[9
/
24]
:
re
w
ork
a
s
s
umptions
.
py to
use Fa
c
tRules (Basic
M
eta
.
.
.
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-07-25
K
irill Smelkov
[8/24]: rewor
k
assumptio
n
s to
u
se FactRule
s
(no
.
assume())
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-07-25
K
irill Smelkov
[7/24
]
: rework
assump
t
ions
to
u
se FactRul
e
s (hash)
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-07-25
Kiril
l
Smel
k
o
v
[6/24]: rewor
k
a
s
sumpti
o
ns to u
s
e FactRule
s
(Ba
s
ic)
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-07-25
Kirill Smelkov
[5/24]: rework assumptions t
o
use FactRules (Bas
i
cMeta)
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-07-25
Kir
i
l
l
Smelko
v
[
4
/
24
]
: rework
a
ssumptions
.
py to use Fac
t
R
u
les (kill
.
.
.
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-07-25
Kirill Smelkov
[3
/
24]: rework assumptions to
us
e
F
actRu
l
es (ass
u
mp
t
ions
.
p
y
)
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-07-25
Kiri
l
l Smelkov
[2/
2
4] rule ba
s
e
d
i
nfer
e
n
ce en
g
ine (eng
i
ne itself)
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-07-25
Kirill Smelkov
[1/2
4
]
rule based in
f
erence engi
n
e (l
o
gic)
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-07-25
K
i
r
ill Smelkov
pre
t
ty: fix printing
o
f
long strings e
.
g
.
pi
.
evalf
.
.
.
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-07-25
Kirill Sm
e
l
k
ov
pre
t
ty: special symbol
f
o
r
muliply
(#957)
commit
|
commitdiff
|
tree
2008-07-25
Kirill Smelkov
pretty_symbologu: xr
e
l
-> xsym -- it will be
a
ppl
i
c
able
.
.
.
commit
|
commitdiff
|
tree
2008-07-25
Kir
i
ll Sme
l
kov
te
s
t_ro
o
ts: r
o
bu
s
ti
f
y tests for roots(x**3
+ x**2
.
.
.
commit
|
commitdiff
|
tree
2008-07-25
Kirill Smelko
v
test
_
roots: u
s
e sympif
y
a
n
d st
r
ing representation for
.
.
.
commit
|
commitdiff
|
tree
2008-07-24
Kirill Sme
l
k
ov
tests for
.
a
s
_coeff_f
a
cto
r
s()
commit
|
commitdiff
|
tree
2008-07-24
Kirill Smelko
v
nseries: robustify test_bug
4
commit
|
commitdiff
|
tree
2008-07-24
Kir
i
ll
Smelkov
robustify
tests for p
o
sto
r
de
r
_
t
raversal an
d
preor
d
e
r
_traversal
commit
|
commitdiff
|
tree
2008-07-21
K
irill Smelkov
rsolve_hyper: robustif
y
tests to catch
all combinations
.
.
.
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-07-20
Kirill
Smelkov
A
d
d: fix
.
_eval_is_irrational (self[:] v
.
s
.
self
.
.
.
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-07-20
Ki
r
ill Smelko
v
Pol
y
s: robus
t
if
y
some tes
t
s which depend on und
e
rlying
.
.
.
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-07-20
Kiril
l
Smel
k
ov
p
r
e
tty:
r
o
b
us
t
ify dic
t
test
s
(
#
938)
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-07-18
Kiri
l
l Smelkov
BasicMeta: don't import
t
ypein
f
o (e
.
g
.
i
s_
I
nteger)
.
.
.
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-07-18
Kirill Smelkov
Basic
.
_
_
n
e
w__
: set
.
_a
s
s
u
mpti
o
ns to None e
a
rly
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-07-06
K
irill Sm
e
l
k
o
v
doc: sp
t
--
strip w
h
i
tespace
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-07-06
Kirill
Sme
l
k
o
v
doc: spt
-
- kil
l
duplicate leftover after a4
a
b1c50
7
2c
4
.
.
.
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-07-06
Kiril
l
Sm
e
lkov
d
oc: mention NotI
m
ple
m
entedError in
p
ython-comparisons
.
tx
t
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-07-06
Ki
r
ill Smelk
o
v
doc
:
fix typos in p
y
thon-comparisons
.
txt
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-04-26
Kiri
l
l
Smelkov
David Rob
e
rts added to README
commit
|
commitdiff
|
tree
2008-04-23
Kirill Smelkov
R
o
b
ert
o
ad
d
ed to
R
EADME
commit
|
commitdiff
|
tree
2008-04-21
Ki
r
ill Sm
e
lkov
Add Felix to RE
A
DME
commit
|
commitdiff
|
tree
2008-04-20
Kirill Smelko
v
Strip trailing whites
p
aces a
l
l over
Sy
m
Py
commit
|
commitdiff
|
tree
2008-04-19
K
ir
i
ll Smel
k
o
v
Fix Poly to be compatible
w
ith Python2
.
4
commit
|
commitdiff
|
tree
2008-04-17
Kirill
Smelkov
fix
a
cosh(
<
som
e
thing real>
)
(#
7
30)
commit
|
commitdiff
|
tree
2008-04-17
Kir
i
ll
Sm
e
lkov
tes
t
_bug2 started t
o
pass
commit
|
commitdiff
|
tree
2008-04-17
Kirill
Sme
l
k
o
v
test_Limits_simple_4
b
started t
o
pas
s
commit
|
commitdiff
|
tree
2008-04-17
Kir
i
ll Smelkov
tes
t
_a
p
art1 started
t
o pass
commit
|
commitdiff
|
tree
2008-04-17
Kirill Smelkov
pp
r
int: fix printing of
greek letters
i
n derivatives
.
.
.
commit
|
commitdiff
|
tree
2008-04-17
Kirill Smelkov
pprint: mo
v
e pretty relat
e
d te
s
ts to t
h
ei
r
h
o
me
commit
|
commitdiff
|
tree
2008-04-16
K
irill
S
melkov
ppr
i
n
t
: i
m
pl
e
ment Limit printing
commit
|
commitdiff
|
tree
2008-04-16
K
i
rill Smelkov
Rizg
a
r
added
to README
commit
|
commitdiff
|
tree
2008-04-13
Kir
i
ll Smelk
o
v
Pan
a
dded to RE
A
DM
E
commit
|
commitdiff
|
tree
2008-04-11
K
irill Smel
k
ov
rem
o
ve unneccesa
r
y commented X
F
AIL
commit
|
commitdiff
|
tree
2008-04-11
Kiri
l
l Smelkov
Add
A
bderrah
i
m
to
R
EA
D
ME
commit
|
commitdiff
|
tree
2008-04-03
Kirill Sm
e
lko
v
N
imi
s
h added to README
commit
|
commitdiff
|
tree
2008-03-26
K
irill Smelkov
d
o
c: insta
l
l spt-patch
e
s/ as well
commit
|
commitdiff
|
tree
2008-03-26
Kirill Smelkov
doc
:
s
p
t
: SAGE does pathch review
s
commit
|
commitdiff
|
tree
2008-03-26
Kirill Smelkov
doc: spt:
w
o
r
karo
u
nd sidebar rela
t
ed
b
ug in sphinx
commit
|
commitdiff
|
tree
2008-03-26
Kirill Smel
k
ov
doc: Sy
m
Py Patches
T
u
torial: add
printable
version
commit
|
commitdiff
|
tree
2008-03-26
Ki
r
ill Smelkov
.
h
g
igno
r
e +
=
doc/ bu
i
l
d stuf
f
commit
|
commitdiff
|
tree
2008-03-26
Kiril
l
Sm
e
lk
o
v
printer
.
py:
fix typos
commit
|
commitdiff
|
tree
2008-03-26
Kirill
Smelkov
pret
t
y:
fix xobj for ev
e
n height
commit
|
commitdiff
|
tree
2008-03-26
Kir
i
l
l
Smelkov
pprint: fix handling
o
f old-style class
e
s (#755)
commit
|
commitdiff
|
tree
2008-03-23
Kirill Smelkov
sli
g
htly speedu
p
Basic
.
__getattr__
commit
|
commitdiff
|
tree
2008-03-23
Kirill S
m
elk
o
v
add
c
omments to Mul
.
flatten
commit
|
commitdiff
|
tree
2008-03-23
Kirill Smelkov
[2/2] let's use __s
l
o
ts__
commit
|
commitdiff
|
tree
2008-03-23
Kir
i
l
l
Smelkov
[1
/
2
]
let's
u
se
_
_slots__
commit
|
commitdiff
|
tree
2008-03-12
K
i
rill Smelkov
[
5
/5] __eq__/__ne__ retur
n
s True
/
False directly
(
.
.
.
commit
|
commitdiff
|
tree
2008-03-12
Kirill Sme
l
ko
v
[4
/
5
] __e
q
__/
_
_
ne__ returns True/False
directly (
.
.
.
commit
|
commitdiff
|
tree
2008-03-12
Ki
r
il
l
Smelkov
[
3
/
5
] __eq
_
_
/__ne__ retur
n
s True/False
dir
e
ctly (
.
.
.
commit
|
commitdiff
|
tree
2008-03-12
Kirill Smelk
o
v
[2/
5
] __eq__/__ne__
returns
True/False directly
(
.
.
.
commit
|
commitdiff
|
tree
2008-03-12
Kirill S
m
elkov
[1/5] _
_
eq_
_
/__ne__
retu
r
ns T
r
u
e
/
F
a
lse directly
(
.
.
.
commit
|
commitdiff
|
tree
2008-03-12
Kirill Smelkov
Relational: fix for '!='
and
.
s
ub
s
commit
|
commitdiff
|
tree
2008-03-11
K
irill Smel
k
ov
Ja
m
es add
e
d to credits
commit
|
commitdiff
|
tree
2008-03-11
Kirill Smelkov
I'm guilty agai
n
:(
commit
|
commitdiff
|
tree
2008-03-11
Kiri
l
l Smelko
v
Tes
t
for
x*unknown -> unknown
.
__
r
m
u
l__ is called
.
.
.
commit
|
commitdiff
|
tree
2008-03-11
Kirill
Sme
l
kov
Remove unneeded line
s
that t
r
y to
p
ropa
g
a
te __
d
oc_
_
.
.
.
commit
|
commitdiff
|
tree
2008-02-29
Kiri
l
l Smelkov
assumptions: c
a
che 'unkn
o
wn' assump
t
ions as well
commit
|
commitdiff
|
tree
2008-02-29
K
i
r
i
l
l Smelk
o
v
sympi
f
y: add support for obj
e
cts that implemen
t
_
_
i
n
t__
.
.
.
commit
|
commitdiff
|
tree
2008-02-27
K
i
r
i
ll Smelkov
Pow
.
e
xpand(complex=True)
-
-
use at
a
n2 to obtain base
.
.
.
commit
|
commitdiff
|
tree
2008-02-27
Kirill Sme
l
kov
Add te
s
t
s
fo
r
oo*<smth> == oo
(#639)
commit
|
commitdiff
|
tree
2008-02-27
K
irill Smelkov
.
is_
p
ositive,
.
is_negativ
e
-- fall b
a
ck to
cmp(
.
evalf
.
.
.
commit
|
commitdiff
|
tree
2008-02-27
Ki
r
i
l
l
Smelkov
Fix
.
is_
c
om
p
a
r
a
b
le for funct
i
ons
commit
|
commitdiff
|
tree
2008-02-27
Kirill Smelkov
Fix thin
k
o in Pow
.
_eval_is_re
a
l
commit
|
commitdiff
|
tree
2008-02-27
Kirill Smelkov
F
ix
i
s
_nni & is_pi assumpti
o
n
aliases
commit
|
commitdiff
|
tree
next