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: optimize collect of poly terms (2*x*y + 3*x*z) + general speedup
2008-08-10
Kirill Smelk
o
v
Add: optimize collect of
poly terms (2*x*y + 3*x*z
.
.
.
Signed-off-by: Kirill Smelkov <
kirr@landau.phys.spbu.ru
>
commit
|
commitdiff
|
tree
2008-08-10
Kirill Smelko
v
Add/Mul -- introduc
e
.
_
new_rawargs()
Signed-off-by: Kirill Smelkov <
kirr@landau.phys.spbu.ru
>
commit
|
commitdiff
|
tree
2008-08-09
Kirill
Smelk
o
v
P
ow/Symbol -- don't let is_commut
a
tive to through assumptio
n
s
Signed-off-by: Kirill Smelkov <
kirr@landau.phys.spbu.ru
>
commit
|
commitdiff
|
tree
2008-08-09
Kiri
l
l
S
m
elkov
Remove legacy as
s
umptions th
u
s improving import t
i
me
.
.
.
Signed-off-by: Kirill Smelkov <
kirr@landau.phys.spbu.ru
>
commit
|
commitdiff
|
tree
2008-08-09
Kirill Smelkov
pol
y
_
f
a
ctors -- robustify
d
ocst
r
ing
Signed-off-by: Kirill Smelkov <
kirr@landau.phys.spbu.ru
>
commit
|
commitdiff
|
tree
2008-08-09
Kirill S
m
e
lk
o
v
As the result of prevou
s
commit, so
m
e tests sta
r
ted
.
.
.
Signed-off-by: Kirill Smelkov <
kirr@landau.phys.spbu.ru
>
commit
|
commitdiff
|
tree
2008-08-09
Kiri
l
l Smelkov
Ad
d
:
c
urrent co
d
e exp
e
c
ts c
o
eff to
a
lways
l
i
ve in
.
.
.
Signed-off-by: Kirill Smelkov <
kirr@landau.phys.spbu.ru
>
commit
|
commitdiff
|
tree
2008-08-09
Kirill Smelko
v
d
octests
:
adjust to new
sstrrepr output
Signed-off-by: Kirill Smelkov <
kirr@landau.phys.spbu.ru
>
commit
|
commitdiff
|
tree
2008-08-09
Kiri
l
l Smelko
v
t
es
t
_doc: make
doctesting more ro
b
ust w
r
t
h
as
h
-changes
.
.
.
Signed-off-by: Kirill Smelkov <
kirr@landau.phys.spbu.ru
>
commit
|
commitdiff
|
tree
2008-08-09
Kiri
l
l
S
melkov
s
y
m
p
y
.
i
n
teractive -- rework
ini
t
_printing t
o
suppo
r
t
.
.
.
Signed-off-by: Kirill Smelkov <
kirr@landau.phys.spbu.ru
>
commit
|
commitdiff
|
tree
2008-08-09
Kirill Smelkov
printing: add suppor
t
for
GeometryEn
t
ity to St
r
Pr
i
nter
.
.
.
Signed-off-by: Kirill Smelkov <
kirr@landau.phys.spbu.ru
>
commit
|
commitdiff
|
tree
2008-08-09
K
irill Smelkov
p
r
inting: `srepr` siste
r
s -- `sstr` and
`sst
r
repr`
Signed-off-by: Kirill Smelkov <
kirr@landau.phys.spbu.ru
>
commit
|
commitdiff
|
tree
2008-08-08
Kir
i
ll Smelkov
[
6
/6]
l
et's rem
o
ve m
u
ltiple inheritanc
e
(note
o
n
.
.
.
Signed-off-by: Kirill Smelkov <
kirr@landau.phys.spbu.ru
>
commit
|
commitdiff
|
tree
2008-08-08
Kirill Smelkov
[
5/6] l
e
t's
r
emove
m
u
lti
p
le inher
i
tance
(
R
e
l
Meths
.
.
.
Signed-off-by: Kirill Smelkov <
kirr@landau.phys.spbu.ru
>
commit
|
commitdiff
|
tree
2008-08-08
Kirill Smelkov
[4/
6
]
l
et's
r
emov
e
multiple in
h
eritan
c
e
(
R
elMeths
.
.
.
Signed-off-by: Kirill Smelkov <
kirr@landau.phys.spbu.ru
>
commit
|
commitdiff
|
tree
2008-08-08
Kirill
Smelkov
[
3
/6] let's r
e
move multipl
e
inheri
t
an
c
e
(
NoRelMeths)
Signed-off-by: Kirill Smelkov <
kirr@landau.phys.spbu.ru
>
commit
|
commitdiff
|
tree
2008-08-08
Kirill Smelkov
[2/6]
let
'
s
remov
e
multiple inheritance (NoAr
i
thMeths)
Signed-off-by: Kirill Smelkov <
kirr@landau.phys.spbu.ru
>
commit
|
commitdiff
|
tree
2008-08-08
Kirill Smelkov
[1/6] le
t
's remove mult
i
ple inherit
a
nce
(Singleton)
Signed-off-by: Kirill Smelkov <
kirr@landau.phys.spbu.ru
>
commit
|
commitdiff
|
tree
2008-08-07
Kirill
S
me
l
kov
Teach
t
solve h
o
w
to solve a*cos(x) = y
Signed-off-by: Kirill Smelkov <
kirr@landau.phys.spbu.ru
>
commit
|
commitdiff
|
tree
2008-08-07
K
i
r
i
ll Smelkov
p
r
i
nting: add support fo
r
s
e
ts
for
s
t
r
and pret
t
y p
r
inter
s
Signed-off-by: Kirill Smelkov <
kirr@landau.phys.spbu.ru
>
commit
|
commitdiff
|
tree
2008-08-07
K
i
rill S
m
elk
o
v
printing: l
e
t
'
s prett
y
-so
r
t dicts
Signed-off-by: Kirill Smelkov <
kirr@landau.phys.spbu.ru
>
commit
|
commitdiff
|
tree
2008-08-07
Kirill Smelkov
Basic
.
compare_p
r
etty
-
- t
o
pre
t
t
y
-comp
a
re both SymPy
.
.
.
Signed-off-by: Kirill Smelkov <
kirr@landau.phys.spbu.ru
>
commit
|
commitdiff
|
tree
2008-08-07
Kirill Smelkov
Move Add
.
compare
_
terms to Basic
.
_
c
ompare_pret
t
y
Signed-off-by: Kirill Smelkov <
kirr@landau.phys.spbu.ru
>
commit
|
commitdiff
|
tree
2008-08-07
Kirill Smelkov
pretty: merge
handling of str an
d
unicode
Signed-off-by: Kirill Smelkov <
kirr@landau.phys.spbu.ru
>
commit
|
commitdiff
|
tree
2008-08-07
K
i
r
ill Smelkov
Robe
r
t Cim
r
ma
n
adde
d
t
o
aboutus
.
txt
commit
|
commitdiff
|
tree
2008-08-07
Kirill Smelk
o
v
Bast
i
a
n
Weber added to cr
e
dits
commit
|
commitdiff
|
tree
2008-08-07
Kirill Smelkov
printing
.
str -- ad
d
ap
p
ropriate tests f
o
r #9
9
2
Signed-off-by: Kirill Smelkov <
kirr@landau.phys.spbu.ru
>
commit
|
commitdiff
|
tree
2008-08-07
Kirill Smelkov
printing
.
str -- remove HACK in _
p
r
int_Add
Signed-off-by: Kirill Smelkov <
kirr@landau.phys.spbu.ru
>
commit
|
commitdiff
|
tree
2008-08-07
Kirill S
m
e
lkov
Fix for w1
.
ma
t
ch(w2+w3
)
(#9
9
2)
Signed-off-by: Kirill Smelkov <
kirr@landau.phys.spbu.ru
>
commit
|
commitdiff
|
tree
2008-08-04
Kirill S
m
elko
v
Add s
u
ppor
t
for
var('
x
,y,z') (
#
955
)
Signed-off-by: Kirill Smelkov <
kirr@landau.phys.spbu.ru
>
commit
|
commitdiff
|
tree
2008-07-29
Kirill Smel
k
ov
risch: "ro
b
ust
i
f
y
"
t
est_heurisch_fr
a
ctions()
Signed-off-by: Kirill Smelkov <
kirr@landau.phys.spbu.ru
>
commit
|
commitdiff
|
tree
2008-07-29
Kiril
l
Smelk
o
v
Add/Mul --
d
o
n't
l
et
is_commu
t
ative to
g
o to assumptions
Signed-off-by: Kirill Smelkov <
kirr@landau.phys.spbu.ru
>
commit
|
commitdiff
|
tree
2008-07-28
Kiri
l
l Smelkov
N
ew-style
c
l
as
s
es + __g
e
t
a
ttr__ sucks,
h
ere is why:
Signed-off-by: Kirill Smelkov <
kirr@landau.phys.spbu.ru
>
commit
|
commitdiff
|
tree
2008-07-27
Ki
r
ill S
m
e
l
ko
v
Stefano
a
d
d
ed to RE
A
DME and cre
d
its
commit
|
commitdiff
|
tree
2008-07-26
Kiril
l
Smelk
o
v
examples/re
l
a
t
ivity
.
py --
c
on
v
ert
o
ut
p
ut to pprint
.
.
.
Signed-off-by: Kirill Smelkov <
kirr@landau.phys.spbu.ru
>
commit
|
commitdiff
|
tree
2008-07-26
Kirill Smelk
o
v
pprint: prettify mat
r
ix
o
utput (
#
4
95)
Signed-off-by: Kirill Smelkov <
kirr@landau.phys.spbu.ru
>
commit
|
commitdiff
|
tree
2008-07-26
K
i
r
ill Smelko
v
Add test for already
f
ixed #634
Signed-off-by: Kirill Smelkov <
kirr@landau.phys.spbu.ru
>
commit
|
commitdiff
|
tree
2008-07-26
Kirill S
m
elkov
Fix str(Real)
(#962)
Signed-off-by: Kirill Smelkov <
kirr@landau.phys.spbu.ru
>
commit
|
commitdiff
|
tree
2008-07-26
Kiri
l
l Smelkov
"Fix" do
c
str
i
ng wher
e
outp
u
t dep
e
nds
o
n int
e
rnal orderin
g
.
Signed-off-by: Kirill Smelkov <
kirr@landau.phys.spbu.ru
>
commit
|
commitdiff
|
tree
2008-07-25
Ki
r
ill S
m
elkov
[2
4
/24]
Mul: more
tests for
.
i
s
_negative
& friends
Signed-off-by: Kirill Smelkov <
kirr@landau.phys.spbu.ru
>
commit
|
commitdiff
|
tree
2008-07-25
Kirill Smel
k
ov
[23/24] Pow:
f
ix te
s
ts (0**x)
.
is_real
Signed-off-by: Kirill Smelkov <
kirr@landau.phys.spbu.ru
>
commit
|
commitdiff
|
tree
2008-07-25
Kirill Sm
e
lkov
[22/24] 3 XPASS
'
i
ng tests in sympy/cor
e
/tests
/
test_
a
s
s
u
m
ptio
.
.
.
Signed-off-by: Kirill Smelkov <
kirr@landau.phys.spbu.ru
>
commit
|
commitdiff
|
tree
2008-07-25
Kirill Smelkov
[21/24] New test
fo
r
inference rule
(!real -> !integer
.
.
.
Signed-off-by: Kirill Smelkov <
kirr@landau.phys.spbu.ru
>
commit
|
commitdiff
|
tree
2008-07-25
Kirill Sme
l
kov
[20/24]
N
um
b
ers: co
r
re
c
t se
c
ondary teste
d
ass
u
mpti
o
ns
Signed-off-by: Kirill Smelkov <
kirr@landau.phys.spbu.ru
>
commit
|
commitdiff
|
tree
2008-07-25
Kiri
l
l Smelkov
[
1
9/24] I: correct teste
d
assumptions
Signed-off-by: Kirill Smelkov <
kirr@landau.phys.spbu.ru
>
commit
|
commitdiff
|
tree
2008-07-25
K
irill Smelkov
[18/24] NeativeOn
e
,
Pi,
E
x
p1: correct tested assumpti
o
ns
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
Kirill Smelkov
[1
6
/24
]
+-I
n
fi
n
ity: correct assumptions
Signed-off-by: Kirill Smelkov <
kirr@landau.phys.spbu.ru
>
commit
|
commitdiff
|
tree
2008-07-25
Ki
r
il
l
Smelkov
[15/24] Zero:
c
orrect assumptions
Signed-off-by: Kirill Smelkov <
kirr@landau.phys.spbu.ru
>
commit
|
commitdiff
|
tree
2008-07-25
Kiril
l
Smelkov
[14/24] M
u
l:
t
each
.
_e
v
al_is_negative
about all
-
terms
.
.
.
Signed-off-by: Kirill Smelkov <
kirr@landau.phys.spbu.ru
>
commit
|
commitdiff
|
tree
2008-07-25
K
irill Smelkov
[
13
/
24] Mu
l
: tea
c
h it th
a
t
!integer -> !even & !odd
Signed-off-by: Kirill Smelkov <
kirr@landau.phys.spbu.ru
>
commit
|
commitdiff
|
tree
2008-07-25
Ki
r
ill S
m
el
k
o
v
[12/24] Mul: teach
.
is_real &
.
is_imagin
a
ry
t
o account
.
.
.
Signed-off-by: Kirill Smelkov <
kirr@landau.phys.spbu.ru
>
commit
|
commitdiff
|
tree
2008-07-25
Kirill Smelkov
[
1
1/24]
rework assu
m
pti
o
ns
.
py to use FactRules
.
.
.
Signed-off-by: Kirill Smelkov <
kirr@landau.phys.spbu.ru
>
commit
|
commitdiff
|
tree
2008-07-25
Kirill Smelkov
[10/24] rework ass
u
m
p
t
i
on
s
.
py to u
s
e FactRules
.
.
.
Signed-off-by: Kirill Smelkov <
kirr@landau.phys.spbu.ru
>
commit
|
commitdiff
|
tree
2008-07-25
Kirill Smelkov
[9/24]:
r
ework assumptions
.
p
y
to use Fa
c
tRules (Basi
c
Meta
.
.
.
Signed-off-by: Kirill Smelkov <
kirr@landau.phys.spbu.ru
>
commit
|
commitdiff
|
tree
2008-07-25
Kirill S
m
elkov
[
8/24]: rework assumptio
n
s
t
o use FactRules (
n
o
.
assume())
Signed-off-by: Kirill Smelkov <
kirr@landau.phys.spbu.ru
>
commit
|
commitdiff
|
tree
2008-07-25
Kirill Smelkov
[
7/24]: rework
a
ssumpti
o
ns
t
o use FactRules (
h
a
sh)
Signed-off-by: Kirill Smelkov <
kirr@landau.phys.spbu.ru
>
commit
|
commitdiff
|
tree
2008-07-25
Kirill Smelkov
[
6
/24]: rework as
s
umptio
n
s to use FactRules (
B
asic)
Signed-off-by: Kirill Smelkov <
kirr@landau.phys.spbu.ru
>
commit
|
commitdiff
|
tree
2008-07-25
Kirill Smel
k
ov
[5/
2
4]: rewor
k
as
s
umpti
o
ns to use F
a
c
t
Rules (BasicMet
a
)
Signed-off-by: Kirill Smelkov <
kirr@landau.phys.spbu.ru
>
commit
|
commitdiff
|
tree
2008-07-25
Kirill
Smelkov
[4/24]: rework assum
p
t
i
o
ns
.
py to use F
a
ct
R
ules (kill
.
.
.
Signed-off-by: Kirill Smelkov <
kirr@landau.phys.spbu.ru
>
commit
|
commitdiff
|
tree
2008-07-25
Kir
i
ll Smelkov
[3
/
24
]
: rework
assump
t
ions t
o
use FactRules
(assumpti
o
n
s
.
py)
Signed-off-by: Kirill Smelkov <
kirr@landau.phys.spbu.ru
>
commit
|
commitdiff
|
tree
2008-07-25
Kirill
S
m
elkov
[
2
/
2
4] rule based inference engine (e
n
gine i
t
self)
Signed-off-by: Kirill Smelkov <
kirr@landau.phys.spbu.ru
>
commit
|
commitdiff
|
tree
2008-07-25
Kirill
S
melkov
[
1
/
24] rule base
d
i
nfer
e
nce en
g
ine
(
logic)
Signed-off-by: Kirill Smelkov <
kirr@landau.phys.spbu.ru
>
commit
|
commitdiff
|
tree
2008-07-25
Kir
i
l
l
Smelkov
pr
e
tty:
f
ix printing of long s
t
ri
n
g
s
e
.
g
.
pi
.
evalf
.
.
.
Signed-off-by: Kirill Smelkov <
kirr@landau.phys.spbu.ru
>
commit
|
commitdiff
|
tree
2008-07-25
K
i
ri
l
l Smelkov
pretty: specia
l
sym
b
ol for
mul
i
ply (#957)
commit
|
commitdiff
|
tree
2008-07-25
Kirill Smelkov
pret
t
y_symbologu:
xrel -> xsym -- it
w
ill be a
p
plica
b
le
.
.
.
commit
|
commitdiff
|
tree
2008-07-25
Kirill
S
m
e
lkov
test_roots: robustify tests for root
s
(x**3
+
x
*
*2
.
.
.
commit
|
commitdiff
|
tree
2008-07-25
Kirill Smelkov
test_roots: use sympif
y
and st
r
ing
r
epr
e
senta
t
ion for
.
.
.
commit
|
commitdiff
|
tree
2008-07-24
Kirill Smelko
v
tests fo
r
.
as
_
coeff_
f
ac
t
o
r
s()
commit
|
commitdiff
|
tree
2008-07-24
Kirill Sme
l
kov
n
s
eries: robustify
test_bug4
commit
|
commitdiff
|
tree
2008-07-24
Ki
r
ill Smelkov
robustify tes
t
s
f
o
r postorder_traversal and preor
d
er
_
tr
a
versal
commit
|
commitdiff
|
tree
2008-07-21
Kirill Smelkov
r
s
olve_hyper:
r
obustify
t
ests to catch all combinations
.
.
.
Signed-off-by: Kirill Smelkov <
kirr@landau.phys.spbu.ru
>
commit
|
commitdiff
|
tree
2008-07-20
Kirill Smelkov
Add: fix
.
_ev
a
l_is_irra
t
ional (self[:]
v
.
s
.
self
.
.
.
Signed-off-by: Kirill Smelkov <
kirr@landau.phys.spbu.ru
>
commit
|
commitdiff
|
tree
2008-07-20
Kirill Smelkov
Polys
:
rob
u
stify some
tests
w
hich depend o
n
und
e
r
lying
.
.
.
Signed-off-by: Kirill Smelkov <
kirr@landau.phys.spbu.ru
>
commit
|
commitdiff
|
tree
2008-07-20
Kirill Smelkov
pretty: robustify di
c
t tests (#9
3
8)
Signed-off-by: Kirill Smelkov <
kirr@landau.phys.spbu.ru
>
commit
|
commitdiff
|
tree
2008-07-18
Kirill Smel
k
ov
Ba
s
icMe
t
a: don
'
t im
p
o
r
t ty
p
e
i
nfo (e
.
g
.
is_In
t
eger)
.
.
.
Signed-off-by: Kirill Smelkov <
kirr@landau.phys.spbu.ru
>
commit
|
commitdiff
|
tree
2008-07-18
Ki
r
ill Smelkov
Bas
i
c
.
__new__ : set
.
_assumptions to None early
Signed-off-by: Kirill Smelkov <
kirr@landau.phys.spbu.ru
>
commit
|
commitdiff
|
tree
2008-07-06
Kirill Smelkov
doc: spt -
-
st
r
ip white
s
pac
e
Signed-off-by: Kirill Smelkov <
kirr@landau.phys.spbu.ru
>
commit
|
commitdiff
|
tree
2008-07-06
Kiri
l
l Smelkov
d
oc: spt -- kill dupli
c
ate leftov
e
r
afte
r
a4ab1c5072c4
.
.
.
Signed-off-by: Kirill Smelkov <
kirr@landau.phys.spbu.ru
>
commit
|
commitdiff
|
tree
2008-07-06
Kirill Smelkov
doc: mention NotImplementedError
in p
y
thon-
c
omparisons
.
txt
Signed-off-by: Kirill Smelkov <
kirr@landau.phys.spbu.ru
>
commit
|
commitdiff
|
tree
2008-07-06
Kirill Smelkov
doc:
fi
x
typos
i
n py
t
h
on-compari
s
on
s
.
txt
Signed-off-by: Kirill Smelkov <
kirr@landau.phys.spbu.ru
>
commit
|
commitdiff
|
tree
2008-04-26
Kirill Sme
l
kov
David Roberts added t
o
RE
A
DME
commit
|
commitdiff
|
tree
2008-04-23
Kiril
l
Sm
e
lkov
R
oberto added
t
o
README
commit
|
commitdiff
|
tree
2008-04-21
Kirill Smelkov
Add
F
e
lix t
o
README
commit
|
commitdiff
|
tree
2008-04-20
Kirill Smelkov
S
trip trailing wh
i
tespaces
a
ll o
v
er Sym
P
y
commit
|
commitdiff
|
tree
2008-04-19
Kirill Sme
l
kov
Fix Pol
y
to be compatible w
i
t
h
P
y
t
h
on2
.
4
commit
|
commitdiff
|
tree
2008-04-17
Kir
i
ll Smelko
v
f
ix aco
s
h(<somethin
g
real>) (#730)
commit
|
commitdiff
|
tree
2008-04-17
Kirill Smelkov
test_bug2 started to pass
commit
|
commitdiff
|
tree
2008-04-17
Kiril
l
Smelkov
test_Limits
_
simple_4b started to pass
commit
|
commitdiff
|
tree
2008-04-17
K
i
r
i
l
l
S
melk
o
v
te
s
t_ap
a
r
t1
started to pass
commit
|
commitdiff
|
tree
2008-04-17
Kirill Smelkov
pprint: fi
x
print
i
ng
o
f
greek let
t
e
rs in derivati
v
es
.
.
.
commit
|
commitdiff
|
tree
2008-04-17
K
iril
l
Smelkov
pprint: move prett
y
relat
e
d
tests to th
e
ir home
commit
|
commitdiff
|
tree
2008-04-16
Kirill Smelkov
p
print: implement
L
im
i
t p
r
inti
n
g
commit
|
commitdiff
|
tree
2008-04-16
Kir
i
ll
Smelkov
Rizgar added to R
E
A
D
ME
commit
|
commitdiff
|
tree
2008-04-13
Kirill Smelkov
Pan added
t
o README
commit
|
commitdiff
|
tree
2008-04-11
Kirill Sm
e
lkov
remove
u
nneccesary commented XFA
I
L
commit
|
commitdiff
|
tree
2008-04-11
Kirill Sme
l
kov
Add Abderrahim to README
commit
|
commitdiff
|
tree
2008-04-03
Kirill Smelkov
N
imish added
t
o READM
E
commit
|
commitdiff
|
tree
2008-03-26
Ki
r
i
ll Sm
e
lkov
doc
:
insta
l
l
spt
-
patches/
as w
e
ll
commit
|
commitdiff
|
tree
2008-03-26
Kirill Sme
l
k
ov
doc:
s
pt: SAGE doe
s
path
c
h r
e
vie
w
s
commit
|
commitdiff
|
tree
next