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
Add/Mul -- introduce ._new_rawargs()
2008-08-10
Kir
i
ll Smel
k
o
v
Add/Mul --
i
ntroduce
.
_new_rawargs()
Signed-off-by: Kirill Smelkov <
kirr@landau.phys.spbu.ru
>
commit
|
commitdiff
|
tree
2008-08-09
K
i
rill Sm
e
l
k
o
v
Pow/Sy
m
bol -- don't let i
s
_c
o
mm
u
ta
t
ive to
th
r
ough assumption
s
Signed-off-by: Kirill Smelkov <
kirr@landau.phys.spbu.ru
>
commit
|
commitdiff
|
tree
2008-08-09
K
irill Smelkov
Remov
e
legac
y
a
s
s
umptions thus im
p
r
oving import time
.
.
.
Signed-off-by: Kirill Smelkov <
kirr@landau.phys.spbu.ru
>
commit
|
commitdiff
|
tree
2008-08-09
Kirill Smelk
o
v
poly_
f
a
c
t
o
rs -- rob
u
s
t
ify docstring
Signed-off-by: Kirill Smelkov <
kirr@landau.phys.spbu.ru
>
commit
|
commitdiff
|
tree
2008-08-09
Kirill
S
m
e
lkov
As the res
u
lt
o
f prevous commit, some tests started
.
.
.
Signed-off-by: Kirill Smelkov <
kirr@landau.phys.spbu.ru
>
commit
|
commitdiff
|
tree
2008-08-09
K
ir
i
ll Sm
e
lkov
Add:
current co
d
e e
x
pects
c
oeff to always
live
i
n
.
.
.
Signed-off-by: Kirill Smelkov <
kirr@landau.phys.spbu.ru
>
commit
|
commitdiff
|
tree
2008-08-09
Kir
i
l
l
S
m
elko
v
d
o
c
t
e
s
t
s: adj
u
st
to new sstrrepr out
p
u
t
Signed-off-by: Kirill Smelkov <
kirr@landau.phys.spbu.ru
>
commit
|
commitdiff
|
tree
2008-08-09
Kir
i
ll Smelko
v
tes
t
_doc:
m
ake doctestin
g
more ro
b
ust wrt hash-changes
.
.
.
Signed-off-by: Kirill Smelkov <
kirr@landau.phys.spbu.ru
>
commit
|
commitdiff
|
tree
2008-08-09
Kirill Smelkov
symp
y
.
in
t
eracti
v
e --
r
e
wor
k
in
i
t
_
printing t
o
support
.
.
.
Signed-off-by: Kirill Smelkov <
kirr@landau.phys.spbu.ru
>
commit
|
commitdiff
|
tree
2008-08-09
Kiri
l
l Smelkov
printi
n
g: add support for Geo
m
etryEntity to StrPrinter
.
.
.
Signed-off-by: Kirill Smelkov <
kirr@landau.phys.spbu.ru
>
commit
|
commitdiff
|
tree
2008-08-09
Kirill Smel
k
ov
printi
n
g:
`
srepr` sisters -- `s
s
tr` and `sstrrep
r
`
Signed-off-by: Kirill Smelkov <
kirr@landau.phys.spbu.ru
>
commit
|
commitdiff
|
tree
2008-08-08
K
irill Smelk
o
v
[6
/
6] l
e
t
'
s remove mult
i
ple in
h
eri
t
a
nce
(
n
ote on
.
.
.
Signed-off-by: Kirill Smelkov <
kirr@landau.phys.spbu.ru
>
commit
|
commitdiff
|
tree
2008-08-08
Ki
r
i
l
l Smelkov
[5/
6
] let'
s
remove multi
p
l
e
i
nheritance (RelMeths
.
.
.
Signed-off-by: Kirill Smelkov <
kirr@landau.phys.spbu.ru
>
commit
|
commitdiff
|
tree
2008-08-08
K
i
r
ill Smelkov
[4/6] let
'
s rem
o
v
e
mult
i
ple inheritance (Re
l
Meth
s
.
.
.
Signed-off-by: Kirill Smelkov <
kirr@landau.phys.spbu.ru
>
commit
|
commitdiff
|
tree
2008-08-08
K
i
rill
Smelkov
[
3
/6] let's r
e
move multiple inheritan
c
e
(
NoRelMeths
)
Signed-off-by: Kirill Smelkov <
kirr@landau.phys.spbu.ru
>
commit
|
commitdiff
|
tree
2008-08-08
Kirill
Smelko
v
[2/6]
l
et's remove multiple inher
i
ta
n
ce
(
N
oA
r
ithMeths)
Signed-off-by: Kirill Smelkov <
kirr@landau.phys.spbu.ru
>
commit
|
commitdiff
|
tree
2008-08-08
Kiri
l
l Smelkov
[1/6]
let'
s
remove mult
i
ple inheritance (
S
ingleton)
Signed-off-by: Kirill Smelkov <
kirr@landau.phys.spbu.ru
>
commit
|
commitdiff
|
tree
2008-08-07
K
i
r
i
ll Sm
e
l
kov
Teach tsolve how
t
o solve
a
*cos(x) = y
Signed-off-by: Kirill Smelkov <
kirr@landau.phys.spbu.ru
>
commit
|
commitdiff
|
tree
2008-08-07
Kirill S
m
elkov
printing: add support for
s
ets for str and
pretty pr
i
n
t
ers
Signed-off-by: Kirill Smelkov <
kirr@landau.phys.spbu.ru
>
commit
|
commitdiff
|
tree
2008-08-07
K
i
rill Sm
e
l
kov
pr
i
nting: l
e
t's pre
t
ty-sort dicts
Signed-off-by: Kirill Smelkov <
kirr@landau.phys.spbu.ru
>
commit
|
commitdiff
|
tree
2008-08-07
Kiril
l
Smelkov
Basic
.
compare_pretty -- to
pr
e
tty-compare both
SymPy
.
.
.
Signed-off-by: Kirill Smelkov <
kirr@landau.phys.spbu.ru
>
commit
|
commitdiff
|
tree
2008-08-07
Kirill Smelkov
M
o
ve Add
.
c
ompare_te
r
m
s to Basic
.
_compare_pretty
Signed-off-by: Kirill Smelkov <
kirr@landau.phys.spbu.ru
>
commit
|
commitdiff
|
tree
2008-08-07
Kirill Smel
k
ov
pret
t
y: merge
h
andling of str and unicod
e
Signed-off-by: Kirill Smelkov <
kirr@landau.phys.spbu.ru
>
commit
|
commitdiff
|
tree
2008-08-07
K
i
rill Smel
k
ov
Robert C
i
mrman added to abou
t
us
.
txt
commit
|
commitdiff
|
tree
2008-08-07
Kiri
l
l Smelkov
Bastian Weber added to credits
commit
|
commitdiff
|
tree
2008-08-07
Kiril
l
Sm
e
lkov
p
rinting
.
str -
-
add
appropria
t
e tes
t
s f
o
r #99
2
Signed-off-by: Kirill Smelkov <
kirr@landau.phys.spbu.ru
>
commit
|
commitdiff
|
tree
2008-08-07
Kirill Smelk
o
v
prin
t
ing
.
str -- remove H
A
C
K
in _pr
i
nt_Add
Signed-off-by: Kirill Smelkov <
kirr@landau.phys.spbu.ru
>
commit
|
commitdiff
|
tree
2008-08-07
Ki
r
ill Smelkov
Fix for w1
.
match
(
w2+w3) (#
9
92)
Signed-off-by: Kirill Smelkov <
kirr@landau.phys.spbu.ru
>
commit
|
commitdiff
|
tree
2008-08-04
Kiri
l
l
S
melkov
Add
s
upport
f
or var('x,y,z
'
)
(#9
5
5)
Signed-off-by: Kirill Smelkov <
kirr@landau.phys.spbu.ru
>
commit
|
commitdiff
|
tree
2008-07-29
Kiri
l
l Smelk
o
v
r
i
sch: "robustify" test_h
e
uris
c
h_fractions()
Signed-off-by: Kirill Smelkov <
kirr@landau.phys.spbu.ru
>
commit
|
commitdiff
|
tree
2008-07-29
Kirill Smelkov
A
dd/Mu
l
-- don't let is_commutative to go to ass
u
mptions
Signed-off-by: Kirill Smelkov <
kirr@landau.phys.spbu.ru
>
commit
|
commitdiff
|
tree
2008-07-28
Kirill
S
m
e
lkov
Ne
w
-s
t
yle clas
s
es +
_
_get
a
ttr__ suck
s
, he
r
e is why
:
Signed-off-by: Kirill Smelkov <
kirr@landau.phys.spbu.ru
>
commit
|
commitdiff
|
tree
2008-07-27
Kirill Smelk
o
v
Stefano added
to
R
E
AD
M
E a
n
d
credits
commit
|
commitdiff
|
tree
2008-07-26
K
irill
S
melkov
exampl
e
s
/rela
t
ivity
.
py -- conver
t
output to
p
print
.
.
.
Signed-off-by: Kirill Smelkov <
kirr@landau.phys.spbu.ru
>
commit
|
commitdiff
|
tree
2008-07-26
Kirill Smelkov
p
print:
p
rettify matrix output (#4
9
5
)
Signed-off-by: Kirill Smelkov <
kirr@landau.phys.spbu.ru
>
commit
|
commitdiff
|
tree
2008-07-26
K
i
r
i
ll Sm
e
lkov
A
d
d
t
est for
a
l
ready
f
ixed #634
Signed-off-by: Kirill Smelkov <
kirr@landau.phys.spbu.ru
>
commit
|
commitdiff
|
tree
2008-07-26
Kirill
S
melkov
F
ix str(Real)
(
#
962)
Signed-off-by: Kirill Smelkov <
kirr@landau.phys.spbu.ru
>
commit
|
commitdiff
|
tree
2008-07-26
Kirill
S
melko
v
"Fix" docstring where output d
e
pends on internal order
i
ng
.
Signed-off-by: Kirill Smelkov <
kirr@landau.phys.spbu.ru
>
commit
|
commitdiff
|
tree
2008-07-25
Kiril
l
Smelkov
[24/2
4
] Mul: m
o
re
t
e
sts f
o
r
.
i
s_ne
g
a
tive
&
f
riend
s
Signed-off-by: Kirill Smelkov <
kirr@landau.phys.spbu.ru
>
commit
|
commitdiff
|
tree
2008-07-25
Kirill
S
melkov
[23/24] Pow
:
f
i
x
t
e
sts (0**x)
.
is_real
Signed-off-by: Kirill Smelkov <
kirr@landau.phys.spbu.ru
>
commit
|
commitdiff
|
tree
2008-07-25
K
i
rill Smelkov
[22
/
24] 3
X
PASS'ing tests in sympy
/
c
o
re/tests/t
e
st_
a
ssumptio
.
.
.
Signed-off-by: Kirill Smelkov <
kirr@landau.phys.spbu.ru
>
commit
|
commitdiff
|
tree
2008-07-25
Kirill Smelkov
[21/24]
N
e
w test
for inference rule
(!real -> !inte
g
er
.
.
.
Signed-off-by: Kirill Smelkov <
kirr@landau.phys.spbu.ru
>
commit
|
commitdiff
|
tree
2008-07-25
K
i
rill Smelkov
[20/24]
Numbers: correct second
a
ry te
s
ted a
s
s
u
m
p
tio
n
s
Signed-off-by: Kirill Smelkov <
kirr@landau.phys.spbu.ru
>
commit
|
commitdiff
|
tree
2008-07-25
Kiri
l
l
Smelkov
[
19/24] I:
correct
t
e
s
t
ed assumptions
Signed-off-by: Kirill Smelkov <
kirr@landau.phys.spbu.ru
>
commit
|
commitdiff
|
tree
2008-07-25
K
i
ri
l
l
Smelkov
[
18/24]
NeativeOne, Pi, Exp1: co
r
rect t
e
ste
d
assump
t
ions
Signed-off-by: Kirill Smelkov <
kirr@landau.phys.spbu.ru
>
commit
|
commitdiff
|
tree
2008-07-25
Kirill Smelko
v
[17/24] Na
N
: correct assumptions
Signed-off-by: Kirill Smelkov <
kirr@landau.phys.spbu.ru
>
commit
|
commitdiff
|
tree
2008-07-25
Kirill S
m
elkov
[16/24]
+
-
Inf
i
nity:
c
orrec
t
assumptions
Signed-off-by: Kirill Smelkov <
kirr@landau.phys.spbu.ru
>
commit
|
commitdiff
|
tree
2008-07-25
Kir
i
ll S
m
elkov
[15/24] Zero: correct assumptions
Signed-off-by: Kirill Smelkov <
kirr@landau.phys.spbu.ru
>
commit
|
commitdiff
|
tree
2008-07-25
K
i
rill Smelkov
[
1
4/24] Mul: te
a
ch
.
_eval_is_negative ab
o
u
t
all-t
e
r
ms
.
.
.
Signed-off-by: Kirill Smelkov <
kirr@landau.phys.spbu.ru
>
commit
|
commitdiff
|
tree
2008-07-25
Kirill Sm
e
lkov
[13/24] Mul:
t
each it t
h
a
t !inte
g
er
-> !even & !o
d
d
Signed-off-by: Kirill Smelkov <
kirr@landau.phys.spbu.ru
>
commit
|
commitdiff
|
tree
2008-07-25
Kirill Smelkov
[1
2
/24] M
u
l:
te
a
ch
.
is_rea
l
&
.
is_imag
i
nar
y
to
acc
o
unt
.
.
.
Signed-off-by: Kirill Smelkov <
kirr@landau.phys.spbu.ru
>
commit
|
commitdiff
|
tree
2008-07-25
Kirill Smel
k
ov
[11/24] rework assump
t
ions
.
py
t
o
u
s
e
FactRules
.
.
.
Signed-off-by: Kirill Smelkov <
kirr@landau.phys.spbu.ru
>
commit
|
commitdiff
|
tree
2008-07-25
Kirill Smelkov
[10/24]
r
ewor
k
a
s
s
u
mptio
n
s
.
py to use Fa
c
tRul
e
s
.
.
.
Signed-off-by: Kirill Smelkov <
kirr@landau.phys.spbu.ru
>
commit
|
commitdiff
|
tree
2008-07-25
Kirill Smelkov
[9/24]: rework assum
p
tions
.
py to u
s
e
FactRule
s
(BasicMeta
.
.
.
Signed-off-by: Kirill Smelkov <
kirr@landau.phys.spbu.ru
>
commit
|
commitdiff
|
tree
2008-07-25
Kirill
S
melkov
[8/24]: rework assumptions to use FactRules (no
.
assume())
Signed-off-by: Kirill Smelkov <
kirr@landau.phys.spbu.ru
>
commit
|
commitdiff
|
tree
2008-07-25
Kirill Smelkov
[7/24]: rework assumptions to use
F
actRu
l
es
(hash)
Signed-off-by: Kirill Smelkov <
kirr@landau.phys.spbu.ru
>
commit
|
commitdiff
|
tree
2008-07-25
Kirill Sme
l
k
o
v
[6/24]: rework assumption
s
to u
s
e FactRules (Basic)
Signed-off-by: Kirill Smelkov <
kirr@landau.phys.spbu.ru
>
commit
|
commitdiff
|
tree
2008-07-25
Kirill
Sme
l
kov
[5
/
24]: rework as
s
umpt
i
ons to u
s
e
Fa
c
tRules (Bas
i
cMeta)
Signed-off-by: Kirill Smelkov <
kirr@landau.phys.spbu.ru
>
commit
|
commitdiff
|
tree
2008-07-25
Kiril
l
Smelkov
[4/24]: rewor
k
assum
p
tio
n
s
.
py to use Fac
t
Rul
e
s (kill
.
.
.
Signed-off-by: Kirill Smelkov <
kirr@landau.phys.spbu.ru
>
commit
|
commitdiff
|
tree
2008-07-25
Kirill Sme
l
ko
v
[
3
/24]:
r
ew
o
r
k
assumptions
t
o u
s
e F
a
ctRules (assumption
s
.
py)
Signed-off-by: Kirill Smelkov <
kirr@landau.phys.spbu.ru
>
commit
|
commitdiff
|
tree
2008-07-25
Kirill Smelko
v
[2/
2
4] r
u
le b
a
sed in
f
erence eng
i
ne (engine itself)
Signed-off-by: Kirill Smelkov <
kirr@landau.phys.spbu.ru
>
commit
|
commitdiff
|
tree
2008-07-25
Kir
i
ll Smelkov
[1/24] ru
l
e based inference eng
i
ne (logic)
Signed-off-by: Kirill Smelkov <
kirr@landau.phys.spbu.ru
>
commit
|
commitdiff
|
tree
2008-07-25
Kirill Smelkov
pr
e
tty: f
i
x
p
rinti
n
g of
long str
i
ngs e
.
g
.
pi
.
evalf
.
.
.
Signed-off-by: Kirill Smelkov <
kirr@landau.phys.spbu.ru
>
commit
|
commitdiff
|
tree
2008-07-25
Kirill Sme
l
kov
pretty:
s
pecial symbol for muliply
(#
9
57)
commit
|
commitdiff
|
tree
2008-07-25
Kiri
l
l Smelkov
pretty_s
y
mbolo
g
u
: xr
e
l
-
> xsy
m
-- i
t
will b
e
applicable
.
.
.
commit
|
commitdiff
|
tree
2008-07-25
Kirill Smel
k
ov
test_r
o
ots: r
o
bustif
y
test
s
for roots(x**3 + x**2
.
.
.
commit
|
commitdiff
|
tree
2008-07-25
Kiri
l
l Smelkov
test_roo
t
s: us
e
s
y
m
p
ify
a
nd string representat
i
on for
.
.
.
commit
|
commitdiff
|
tree
2008-07-24
Kirill Smelkov
tests fo
r
.
as_coeff_fac
t
o
r
s()
commit
|
commitdiff
|
tree
2008-07-24
Ki
r
ill Smelkov
n
s
eries
:
robustify test
_
bug4
commit
|
commitdiff
|
tree
2008-07-24
Kirill Smel
k
ov
robustify te
s
ts for postorder_
t
r
a
v
ersal and pre
o
rder_tr
a
versal
commit
|
commitdiff
|
tree
2008-07-21
Ki
r
i
ll S
m
elk
o
v
r
s
o
lve_hyper:
robustify tests to catch all co
m
binat
i
o
ns
.
.
.
Signed-off-by: Kirill Smelkov <
kirr@landau.phys.spbu.ru
>
commit
|
commitdiff
|
tree
2008-07-20
Kirill Sme
l
kov
Add:
f
ix
.
_eval_
i
s_
i
rrational (s
e
lf[:] v
.
s
.
s
e
lf
.
.
.
Signed-off-by: Kirill Smelkov <
kirr@landau.phys.spbu.ru
>
commit
|
commitdiff
|
tree
2008-07-20
K
irill Smelko
v
Polys: robus
t
ify
s
ome test
s
which depend on underlying
.
.
.
Signed-off-by: Kirill Smelkov <
kirr@landau.phys.spbu.ru
>
commit
|
commitdiff
|
tree
2008-07-20
K
i
r
i
l
l Sme
l
kov
prett
y
: ro
b
usti
f
y
dict te
s
ts (#938)
Signed-off-by: Kirill Smelkov <
kirr@landau.phys.spbu.ru
>
commit
|
commitdiff
|
tree
2008-07-18
Ki
r
ill Smelko
v
Ba
s
icMeta: don't imp
o
rt 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 Sme
l
kov
Basic
.
__new__
:
set
.
_
a
ssumpti
o
ns to None ea
r
ly
Signed-off-by: Kirill Smelkov <
kirr@landau.phys.spbu.ru
>
commit
|
commitdiff
|
tree
2008-07-06
Kirill Smelkov
doc: spt -- s
t
rip whitespace
Signed-off-by: Kirill Smelkov <
kirr@landau.phys.spbu.ru
>
commit
|
commitdiff
|
tree
2008-07-06
Kiri
l
l Smel
k
ov
doc
:
spt -- kill du
p
licate
l
eftover after a
4
ab1
c
5
0
7
2c4
.
.
.
Signed-off-by: Kirill Smelkov <
kirr@landau.phys.spbu.ru
>
commit
|
commitdiff
|
tree
2008-07-06
Kirill Smel
k
ov
d
o
c: menti
o
n
N
otImplementedError in p
y
t
h
on-co
m
p
a
riso
n
s
.
txt
Signed-off-by: Kirill Smelkov <
kirr@landau.phys.spbu.ru
>
commit
|
commitdiff
|
tree
2008-07-06
K
i
rill Smelkov
d
oc: f
i
x typos
i
n python-comparisons
.
txt
Signed-off-by: Kirill Smelkov <
kirr@landau.phys.spbu.ru
>
commit
|
commitdiff
|
tree
2008-04-26
Kirill S
m
elko
v
David Roberts a
d
ded
t
o README
commit
|
commitdiff
|
tree
2008-04-23
Kirill
Smelkov
Roberto added to READ
M
E
commit
|
commitdiff
|
tree
2008-04-21
Kiri
l
l Smelkov
Add Felix to README
commit
|
commitdiff
|
tree
2008-04-20
K
i
r
ill Smelkov
St
r
ip trai
l
ing whitespaces
all ov
e
r SymPy
commit
|
commitdiff
|
tree
2008-04-19
Kir
i
ll Smelkov
Fix Po
l
y to be compatible
with Python2
.
4
commit
|
commitdiff
|
tree
2008-04-17
K
i
ril
l
Smelkov
fix
a
cosh(<
s
o
mething real>) (#730)
commit
|
commitdiff
|
tree
2008-04-17
Kirill
S
melkov
test_b
u
g2 started to
p
ass
commit
|
commitdiff
|
tree
2008-04-17
Kiri
l
l Sme
l
kov
test_Lim
i
ts
_
s
imple_4b started to pass
commit
|
commitdiff
|
tree
2008-04-17
Kirill Smelkov
tes
t
_
a
p
art1 s
t
a
r
ted to pass
commit
|
commitdiff
|
tree
2008-04-17
Kirill
S
melko
v
pprin
t
: fix
printin
g
of greek l
e
tters
in derivativ
e
s
.
.
.
commit
|
commitdiff
|
tree
2008-04-17
Kirill
S
m
e
l
k
ov
pprint: m
o
ve pretty relate
d
tests
to their home
commit
|
commitdiff
|
tree
2008-04-16
Kirill Smelkov
pprint:
implement Limit printing
commit
|
commitdiff
|
tree
2008-04-16
Kirill
Smelkov
Rizgar
a
d
d
ed
t
o README
commit
|
commitdiff
|
tree
2008-04-13
Ki
r
i
l
l Sme
l
kov
P
a
n
adde
d
to
R
EADME
commit
|
commitdiff
|
tree
2008-04-11
Kiril
l
Sm
e
lkov
remove unneccesary commented X
F
AIL
commit
|
commitdiff
|
tree
2008-04-11
Kirill Sm
e
lk
o
v
A
d
d Abder
r
ahi
m
to README
commit
|
commitdiff
|
tree
2008-04-03
Kirill Smelkov
Nimish added to REA
D
ME
commit
|
commitdiff
|
tree
2008-03-26
K
i
rill
S
m
e
l
kov
doc: install spt-p
a
tches/
as well
commit
|
commitdiff
|
tree
2008-03-26
Kir
i
l
l
Smelkov
doc: spt:
S
A
G
E does pathch rev
i
ews
commit
|
commitdiff
|
tree
2008-03-26
K
iri
l
l Smelkov
d
o
c:
spt:
w
orkaround sidebar related
b
u
g
in s
p
hinx
commit
|
commitdiff
|
tree
next