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
Kirill
Smelk
o
v
Add/
M
ul --
intr
o
duce
.
_new_rawargs()
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-08-09
Kirill Smelkov
Po
w
/Symbol --
don't
l
et is
_
c
o
m
m
utativ
e
to through as
s
u
mptions
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-08-09
Kiri
l
l Smelkov
R
e
move legacy assumptions th
u
s
i
m
proving import time
.
.
.
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-08-09
Kirill Smelkov
p
oly
_
factors -- robustify docstring
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-08-09
K
i
r
il
l
Smelk
o
v
As the re
s
u
lt of prevous commi
t
, some t
e
s
t
s start
e
d
.
.
.
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-08-09
Kirill
S
m
e
lkov
Add: cur
r
e
n
t code expects
c
oeff to alwa
y
s
l
i
v
e in
.
.
.
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-08-09
Kiril
l
S
melk
o
v
doctests: adjust to new s
s
t
r
repr output
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-08-09
Kirill S
m
elkov
te
s
t_do
c
:
make doc
t
est
i
ng m
o
re
robus
t
wrt hash-ch
a
nges
.
.
.
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-08-09
Kir
i
ll Smelko
v
sympy
.
intera
c
t
i
v
e
-- r
e
w
ork init_printing to s
u
pport
.
.
.
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-08-09
K
i
rill Smelkov
prin
t
ing:
add su
p
por
t
for Geomet
r
yE
n
tity
to StrPrinte
r
.
.
.
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-08-09
Kirill Smel
k
ov
pri
n
ting: `srepr`
sisters -- `sstr` an
d
`sstrrepr`
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-08-08
Ki
r
ill Sme
l
kov
[6/6] let
'
s remove multiple in
h
eritance (note on
.
.
.
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-08-08
Kirill Sme
l
kov
[5/6] le
t
's rem
o
ve multi
p
le
i
n
h
eritance
(Rel
M
eths
.
.
.
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-08-08
Kir
i
l
l
Smelkov
[4/6] let's remove
multiple inheri
t
ance (RelM
e
ths
.
.
.
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-08-08
Kiri
l
l Smelkov
[3/6]
l
et's remove multiple inheritance (NoRelMe
t
hs)
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-08-08
K
i
rill
S
melkov
[2/6]
let's remov
e
multi
p
le inherit
a
nce
(
NoArithMeths)
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-08-08
K
i
r
ill Smelkov
[1/6]
l
et's remove
multip
l
e inh
e
r
itance (Singleto
n
)
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-08-07
Kirill Sme
l
kov
Tea
c
h tsolve
h
ow to
s
olve a*cos(x) = y
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-08-07
Kirill Sm
e
lko
v
printing:
a
dd support for
set
s
for str
a
nd pretty printers
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-08-07
Kirill Smelkov
print
i
ng: l
e
t's pret
t
y-sort d
i
cts
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-08-07
K
i
rill
S
melkov
Ba
s
ic
.
comp
a
re_pretty -- to p
r
ett
y
-
compare
b
o
t
h
SymP
y
.
.
.
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-08-07
Kirill Sme
l
kov
Move Add
.
compare_terms to B
a
sic
.
_co
m
pare_pretty
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-08-07
Kirill Sme
l
kov
p
retty: me
r
ge handling of st
r
and unicode
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-08-07
Kirill Smelkov
Rob
e
rt Cimrman
add
e
d
t
o aboutus
.
txt
commit
|
commitdiff
|
tree
2008-08-07
Kirill
Smelkov
Basti
a
n
Weber
ad
d
e
d to credits
commit
|
commitdiff
|
tree
2008-08-07
Kirill Smelkov
printi
n
g
.
s
t
r -- add ap
p
ropriate tests for #992
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-08-07
Kiri
l
l
S
melkov
printing
.
str -- remove HACK in _print_Ad
d
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-08-07
Kirill Smelkov
F
i
x for
w
1
.
mat
c
h(w2+w3) (#992)
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-08-04
Kiri
l
l Smelkov
Add support for var
(
'x,y,z') (#955)
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-07-29
Ki
r
ill Smelko
v
risch: "rob
u
stify" t
e
s
t
_
heuri
s
c
h_frac
t
ions()
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-07-29
Ki
r
ill Smelkov
Add/Mul -- don't let is_commuta
t
ive to
g
o
t
o assumptions
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-07-28
K
irill Smel
k
ov
New-
s
t
yle classes + __getat
t
r
__ sucks, h
e
re is why:
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-07-27
Kiri
l
l
Smelkov
Stefano add
e
d to
R
EADME and credits
commit
|
commitdiff
|
tree
2008-07-26
Kirill Smelkov
examples/relativity
.
py -- co
n
ve
r
t out
p
u
t t
o
pp
r
i
nt
.
.
.
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-07-26
K
irill
Sm
e
lkov
pprint: prettify matrix
output
(
#
49
5
)
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-07-26
K
irill Smelkov
Add test for a
l
ready fixe
d
#
63
4
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-07-26
Kirill S
m
elko
v
Fix
s
tr(Real) (#962)
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-07-26
K
i
rill Smel
k
ov
"F
i
x
"
docstring
w
here ou
t
put depen
d
s on int
e
rnal ord
e
ring
.
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-07-25
Kirill Smelk
o
v
[2
4
/24] Mul: more tests for
.
is_neg
a
tive & f
r
iends
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-07-25
Kiril
l
Smelkov
[23/24]
P
ow:
f
ix
t
ests (0**x)
.
is_real
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-07-25
Kirill Smelk
o
v
[
2
2/2
4
] 3 XPASS'ing tests in
s
y
mpy/core
/
tes
t
s/t
e
st_assumptio
.
.
.
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-07-25
Kirill
S
mel
k
o
v
[
2
1/24] N
e
w test f
o
r infe
r
e
nce
r
ule
(
!
r
eal -> !i
n
tege
r
.
.
.
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-07-25
Kir
i
ll S
m
elk
o
v
[20/24] Numbers: correct seconda
r
y
teste
d
assumptions
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-07-25
Kiril
l
Smelk
o
v
[19
/
24] I: corre
c
t test
e
d ass
u
m
ptions
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-07-25
K
i
rill Smelkov
[18/24] Neati
v
eOne
,
Pi, Exp1: correct tested a
s
sumptions
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-07-25
Kirill S
m
elkov
[1
7
/24]
NaN
:
correct ass
u
m
ptions
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-07-25
Kirill Smelkov
[16/24] +-
I
nfinity: correct
assumptio
n
s
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-07-25
K
i
rill Smelkov
[15/24]
Z
ero
:
c
orrect
a
ssumptions
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-07-25
K
i
rill Smelkov
[14/24]
M
ul: teach
.
_
e
va
l
_is_nega
t
ive about al
l
-terms
.
.
.
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-07-25
Kirill
S
melkov
[13/24] Mul:
te
a
ch it that !integer
-> !eve
n
& !odd
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-07-25
K
irill Smelkov
[
1
2
/
2
4]
Mul: teach
.
i
s_real
&
.
is_imaginary to account
.
.
.
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
o
rk assumpti
o
ns
.
py to use
F
actRul
e
s
.
.
.
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-07-25
Kirill Smelko
v
[10/24] rewor
k
a
s
su
m
ptions
.
py to use FactRules
.
.
.
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-07-25
Kiril
l
Sm
e
lkov
[
9
/24]: rew
o
rk
a
ssumption
s
.
py to use FactRule
s
(Bas
i
cMeta
.
.
.
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-07-25
K
irill Smelkov
[8/24]
:
rework assum
p
t
i
ons to us
e
Fa
c
tRul
e
s (no
.
assume())
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-07-25
Kirill S
m
elkov
[7/
2
4
]:
rework assumptions to use FactRules (ha
s
h)
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-07-25
Kirill S
m
elkov
[6/24
]
:
rework ass
u
mptio
n
s
t
o use FactRules
(Basic)
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-07-25
Kirill
S
melk
o
v
[
5
/24]: r
e
wo
r
k assumptions to
us
e
F
actRules (BasicMeta)
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-07-25
Ki
r
i
l
l S
m
elkov
[4/24]: r
e
wo
r
k as
s
umptions
.
py to
u
se Fa
c
tRul
e
s
(k
i
ll
.
.
.
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-07-25
K
i
r
i
ll S
m
e
lkov
[3/24]
:
rework assu
m
p
t
ions
t
o
u
se
F
actRules
(
assu
m
ptions
.
py
)
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-07-25
Kirill Smelko
v
[2/24] rule b
a
sed i
n
fer
e
n
ce en
g
ine (
e
ngine itsel
f
)
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-07-25
Kirill Smelkov
[1/24]
r
ule based infere
n
c
e
engine (logic
)
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-07-25
Kiri
l
l Smelkov
pretty: fix printin
g
of lon
g
strings e
.
g
.
pi
.
evalf
.
.
.
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-07-25
Kiril
l
Sme
l
kov
pretty: special symbol
f
or mu
l
iply (#957)
commit
|
commitdiff
|
tree
2008-07-25
Kirill Smel
k
ov
pret
t
y_sy
m
bologu: xrel -> xsy
m
-
-
it
will be appli
c
able
.
.
.
commit
|
commitdiff
|
tree
2008-07-25
Kirill S
m
el
k
ov
test_roo
t
s: ro
b
u
sti
f
y tests for roo
t
s(x**3 +
x**2
.
.
.
commit
|
commitdiff
|
tree
2008-07-25
Kirill Smelk
o
v
test
_
r
o
ots: use sympify and
s
tring represe
n
tation for
.
.
.
commit
|
commitdiff
|
tree
2008-07-24
K
irill Smelk
o
v
tests for
.
as_coef
f
_f
a
ctors()
commit
|
commitdiff
|
tree
2008-07-24
K
irill Smelkov
nser
i
e
s
: robustify
t
es
t
_
b
ug4
commit
|
commitdiff
|
tree
2008-07-24
Kirill Smelkov
rob
u
stify
t
ests for
p
o
st
o
rder
_
trav
e
rsa
l
and preo
r
der_traversal
commit
|
commitdiff
|
tree
2008-07-21
Kirill S
m
elkov
rsol
v
e
_
hyper: robus
t
ify tests
t
o
catch all
comb
i
nations
.
.
.
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-07-20
Kirill Smelkov
Add
:
fix
.
_
e
val_is_irrat
i
o
nal (self[:
]
v
.
s
.
self
.
.
.
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-07-20
Kiri
l
l Smelkov
Polys: robust
i
f
y
some tests whic
h
d
e
pend on underlying
.
.
.
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-07-20
Kirill Sm
e
lkov
p
r
etty: robustify d
i
ct 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 typ
e
info
(e
.
g
.
is_Integer)
.
.
.
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-07-18
Kirill Smelk
o
v
Basic
.
_
_
n
e
w__ : set
.
_
as
s
u
m
p
tions to None
early
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-07-06
Kirill Smel
k
ov
doc: spt -- strip
w
hitespa
c
e
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-07-06
Kirill Smel
k
ov
doc: spt -- k
i
ll
duplicate leftover after a4ab1c5072c4
.
.
.
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-07-06
Kirill Sm
e
lko
v
doc
:
mention NotImpleme
n
ted
E
rro
r
in python-
c
om
p
arisons
.
txt
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-07-06
Kirill Smelkov
doc:
f
ix
t
y
p
os in
py
t
hon-
c
omparisons
.
txt
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-04-26
Kirill Smelkov
David Robert
s
a
dded to README
commit
|
commitdiff
|
tree
2008-04-23
Kirill
Smelkov
Roberto added to
README
commit
|
commitdiff
|
tree
2008-04-21
Ki
r
ill
Smelkov
Add F
e
lix to RE
A
DME
commit
|
commitdiff
|
tree
2008-04-20
Kirill Sm
e
lk
o
v
Strip trailing whitespaces all
o
v
e
r SymPy
commit
|
commitdiff
|
tree
2008-04-19
Kirill Smelkov
F
ix
Po
l
y
t
o
be c
o
m
p
a
tibl
e
with P
y
thon2
.
4
commit
|
commitdiff
|
tree
2008-04-17
Kirill Smelkov
fix
acos
h
(<somethi
n
g
real>)
(
#73
0
)
commit
|
commitdiff
|
tree
2008-04-17
Kirill Sm
e
l
k
ov
test_bug
2
s
t
arted
t
o
pas
s
commit
|
commitdiff
|
tree
2008-04-17
K
irill S
m
elkov
tes
t
_Limits_simple_4b started to
pass
commit
|
commitdiff
|
tree
2008-04-17
Kirill Sme
l
kov
t
e
s
t_apar
t
1 s
t
a
rted to p
a
ss
commit
|
commitdiff
|
tree
2008-04-17
Kiri
l
l Smel
k
o
v
pprint: fix
printing of gr
e
ek
l
etters in de
r
ivatives
.
.
.
commit
|
commitdiff
|
tree
2008-04-17
Kir
i
l
l
Smel
k
ov
p
pri
n
t:
mo
v
e pretty
rel
a
ted tests to their
h
ome
commit
|
commitdiff
|
tree
2008-04-16
Ki
r
il
l
Smelkov
pp
r
int: imp
l
ement
L
imit pr
i
nting
commit
|
commitdiff
|
tree
2008-04-16
K
i
r
ill Smelkov
Rizgar
a
d
ded to RE
A
D
ME
commit
|
commitdiff
|
tree
2008-04-13
Kirill Smelkov
Pan added to README
commit
|
commitdiff
|
tree
2008-04-11
Kiri
l
l Smelkov
remove unneccesa
r
y commented
X
FAIL
commit
|
commitdiff
|
tree
2008-04-11
Kir
i
ll Smelk
o
v
Ad
d
Abderrahim to
README
commit
|
commitdiff
|
tree
2008-04-03
Kirill Smelkov
Nimish adde
d
to README
commit
|
commitdiff
|
tree
2008-03-26
Kirill Smelkov
doc: instal
l
spt-patches/ as wel
l
commit
|
commitdiff
|
tree
2008-03-26
Kiril
l
Smelk
o
v
doc
:
spt
:
SAGE does
pathch revi
e
ws
commit
|
commitdiff
|
tree
2008-03-26
Kirill Sm
e
lko
v
doc
:
spt:
wo
r
k
around
s
idebar related bu
g
in s
p
hinx
commit
|
commitdiff
|
tree
next