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
[14/24] Mul: teach ._eval_is_negative about all-terms-are-positive expressions (e...
2008-07-25
Kirill Smelko
v
[14/24] Mul: t
e
ach
.
_eval_is_negative abo
u
t all-terms
.
.
.
Signed-off-by: Kirill Smelkov <
kirr@landau.phys.spbu.ru
>
commit
|
commitdiff
|
tree
2008-07-25
K
irill
S
melk
o
v
[13/24]
Mul: te
a
ch it that !integer -> !even & !odd
Signed-off-by: Kirill Smelkov <
kirr@landau.phys.spbu.ru
>
commit
|
commitdiff
|
tree
2008-07-25
Kirill
S
melkov
[1
2
/24] Mul: t
e
ach
.
is_r
e
al &
.
is_imag
i
nary to acco
u
nt
.
.
.
Signed-off-by: Kirill Smelkov <
kirr@landau.phys.spbu.ru
>
commit
|
commitdiff
|
tree
2008-07-25
Kiri
l
l
S
m
elkov
[11/24] rework assumptions
.
p
y
to use
Fa
c
tRule
s
.
.
.
Signed-off-by: Kirill Smelkov <
kirr@landau.phys.spbu.ru
>
commit
|
commitdiff
|
tree
2008-07-25
Kirill Smel
k
ov
[10/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
Ki
r
il
l
Sme
l
kov
[9/24
]
: rewor
k
assump
t
ions
.
py to use
F
actRu
l
es
(
BasicMeta
.
.
.
Signed-off-by: Kirill Smelkov <
kirr@landau.phys.spbu.ru
>
commit
|
commitdiff
|
tree
2008-07-25
Kiri
l
l Smelkov
[
8
/
24]: rework ass
u
m
p
tions to u
s
e F
a
ctR
u
les (no
.
assume())
Signed-off-by: Kirill Smelkov <
kirr@landau.phys.spbu.ru
>
commit
|
commitdiff
|
tree
2008-07-25
Kir
i
ll Smelkov
[7/24]: rework assumptions
t
o u
s
e Fac
t
Rules
(
h
ash)
Signed-off-by: Kirill Smelkov <
kirr@landau.phys.spbu.ru
>
commit
|
commitdiff
|
tree
2008-07-25
K
irill Smelkov
[6/24]
:
rework
ass
u
m
p
tions t
o
use FactRules (Basic)
Signed-off-by: Kirill Smelkov <
kirr@landau.phys.spbu.ru
>
commit
|
commitdiff
|
tree
2008-07-25
Kiri
l
l Smelkov
[5/24]:
r
ew
o
rk assumptions to use
FactRules (BasicMeta)
Signed-off-by: Kirill Smelkov <
kirr@landau.phys.spbu.ru
>
commit
|
commitdiff
|
tree
2008-07-25
Kirill Smelkov
[4/24]: r
e
work
assumptions
.
p
y to
use FactRules (
k
ill
.
.
.
Signed-off-by: Kirill Smelkov <
kirr@landau.phys.spbu.ru
>
commit
|
commitdiff
|
tree
2008-07-25
Kiri
l
l Smelkov
[3/24]: rework a
s
sumpt
i
ons to use FactRules
(assumptions
.
p
y
)
Signed-off-by: Kirill Smelkov <
kirr@landau.phys.spbu.ru
>
commit
|
commitdiff
|
tree
2008-07-25
Kirill Smel
k
ov
[2/24] rule base
d
i
n
ference
e
ngine
(engi
n
e itself)
Signed-off-by: Kirill Smelkov <
kirr@landau.phys.spbu.ru
>
commit
|
commitdiff
|
tree
2008-07-25
Kiril
l
Smelkov
[
1/24] rule based i
n
ference engine (logic
)
Signed-off-by: Kirill Smelkov <
kirr@landau.phys.spbu.ru
>
commit
|
commitdiff
|
tree
2008-07-25
Kirill S
m
elkov
pretty: fix printing of lo
n
g strings e
.
g
.
pi
.
evalf
.
.
.
Signed-off-by: Kirill Smelkov <
kirr@landau.phys.spbu.ru
>
commit
|
commitdiff
|
tree
2008-07-25
K
i
rill
Smelko
v
pr
e
tty: special sy
m
bol
f
or muliply
(#957)
commit
|
commitdiff
|
tree
2008-07-25
K
i
r
i
ll Sme
l
kov
pretty_sy
m
bologu
:
xrel
->
x
sym -- i
t
will be applicable
.
.
.
commit
|
commitdiff
|
tree
2008-07-25
Kirill
S
melkov
test_r
o
ots: robustify te
s
t
s for
roo
t
s(x**3 +
x**2
.
.
.
commit
|
commitdiff
|
tree
2008-07-25
Kiri
l
l Smelk
o
v
t
e
s
t
_ro
o
ts: u
s
e
sympify and
s
tring representation for
.
.
.
commit
|
commitdiff
|
tree
2008-07-24
Ki
r
i
l
l Smel
k
ov
t
ests
fo
r
.
a
s
_
c
o
eff
_
fac
t
ors()
commit
|
commitdiff
|
tree
2008-07-24
Kirill Smelkov
nseri
e
s: ro
b
ustify
te
s
t_bug4
commit
|
commitdiff
|
tree
2008-07-24
Kiri
l
l S
m
elko
v
robustify tests
f
o
r
po
s
torder_tr
a
versal an
d
preorder_trav
e
rsal
commit
|
commitdiff
|
tree
2008-07-21
Kirill Sm
e
lkov
rsolve_hyper: rob
u
stify tests to catch a
l
l combinations
.
.
.
Signed-off-by: Kirill Smelkov <
kirr@landau.phys.spbu.ru
>
commit
|
commitdiff
|
tree
2008-07-20
Kirill Smelk
o
v
Add: fix
.
_eval_is_ir
r
at
i
o
n
al (
s
elf[:] v
.
s
.
self
.
.
.
Signed-off-by: Kirill Smelkov <
kirr@landau.phys.spbu.ru
>
commit
|
commitdiff
|
tree
2008-07-20
Kirill Smel
k
o
v
Po
l
ys: rob
u
stify
some tests wh
i
ch depend
o
n
under
l
ying
.
.
.
Signed-off-by: Kirill Smelkov <
kirr@landau.phys.spbu.ru
>
commit
|
commitdiff
|
tree
2008-07-20
K
i
ri
l
l Smelk
o
v
pretty: r
o
busti
f
y
dict t
e
sts
(#9
3
8
)
Signed-off-by: Kirill Smelkov <
kirr@landau.phys.spbu.ru
>
commit
|
commitdiff
|
tree
2008-07-18
Kirill Smel
k
ov
BasicMet
a
: don'
t
i
mport typeinf
o
(e
.
g
.
is_Integer)
.
.
.
Signed-off-by: Kirill Smelkov <
kirr@landau.phys.spbu.ru
>
commit
|
commitdiff
|
tree
2008-07-18
K
i
r
i
l
l Smelkov
Basic
.
__n
e
w__ : set
.
_a
s
su
m
ptions t
o
N
o
ne
e
a
r
ly
Signed-off-by: Kirill Smelkov <
kirr@landau.phys.spbu.ru
>
commit
|
commitdiff
|
tree
2008-07-06
Kirill
S
melko
v
d
oc:
spt -- strip whitespace
Signed-off-by: Kirill Smelkov <
kirr@landau.phys.spbu.ru
>
commit
|
commitdiff
|
tree
2008-07-06
Kirill Sme
l
kov
d
o
c: spt -- kill duplicate leftover
afte
r
a
4ab
1
c5072c4
.
.
.
Signed-off-by: Kirill Smelkov <
kirr@landau.phys.spbu.ru
>
commit
|
commitdiff
|
tree
2008-07-06
Kiri
l
l Smelk
o
v
d
o
c: mention NotImple
m
entedErr
o
r in python-comparisons
.
txt
Signed-off-by: Kirill Smelkov <
kirr@landau.phys.spbu.ru
>
commit
|
commitdiff
|
tree
2008-07-06
K
i
ril
l
Smelkov
doc: fix typos in python-comparisons
.
txt
Signed-off-by: Kirill Smelkov <
kirr@landau.phys.spbu.ru
>
commit
|
commitdiff
|
tree
2008-04-26
K
i
rill Smelkov
D
a
vid Roberts added
t
o README
commit
|
commitdiff
|
tree
2008-04-23
Kiri
l
l Smelkov
Roberto added
t
o
RE
A
DME
commit
|
commitdiff
|
tree
2008-04-21
Kirill Sme
l
kov
Ad
d
Fel
i
x t
o
README
commit
|
commitdiff
|
tree
2008-04-20
Kirill Smelk
o
v
Strip trailing whitespaces a
l
l over SymPy
commit
|
commitdiff
|
tree
2008-04-19
Kiri
l
l Smelkov
Fix P
o
l
y to
be com
p
atible wi
t
h
P
ython2
.
4
commit
|
commitdiff
|
tree
2008-04-17
Kirill Sm
e
lk
o
v
f
i
x acosh(<
s
omething real>)
(
#730)
commit
|
commitdiff
|
tree
2008-04-17
Kirill
S
mel
k
ov
test
_
bug2 started to pass
commit
|
commitdiff
|
tree
2008-04-17
K
i
rill Smelkov
t
e
st_Limits_simple_
4
b
started
t
o
pass
commit
|
commitdiff
|
tree
2008-04-17
Ki
r
ill Smelkov
test_apart1 sta
r
ted to pass
commit
|
commitdiff
|
tree
2008-04-17
Kirill Smelkov
p
p
r
int: fix printi
n
g
of greek
l
etters
i
n deriva
t
ives
.
.
.
commit
|
commitdiff
|
tree
2008-04-17
K
i
rill Smelkov
pprint:
m
ove pretty
r
e
l
ated te
s
ts to their home
commit
|
commitdiff
|
tree
2008-04-16
Kir
i
ll Smelkov
pprint: implement Limit printing
commit
|
commitdiff
|
tree
2008-04-16
K
i
rill S
m
el
k
ov
Ri
z
gar add
e
d to README
commit
|
commitdiff
|
tree
2008-04-13
Kirill Smelkov
Pan added to README
commit
|
commitdiff
|
tree
2008-04-11
Kirill
Smelkov
remove unne
c
c
e
sary
commented XFAIL
commit
|
commitdiff
|
tree
2008-04-11
Kirill Smelkov
A
dd Abderrahim to README
commit
|
commitdiff
|
tree
2008-04-03
Kirill Smelkov
N
i
mish added to R
E
A
DME
commit
|
commitdiff
|
tree
2008-03-26
Kirill Smelkov
do
c
: install
spt-pa
t
ch
e
s/
a
s well
commit
|
commitdiff
|
tree
2008-03-26
Kiri
l
l
S
melkov
doc:
s
pt
:
SAGE does p
a
thch reviews
commit
|
commitdiff
|
tree
2008-03-26
Kirill S
m
elk
o
v
doc
:
spt: worka
r
ound sid
e
b
ar related
b
ug
in sphinx
commit
|
commitdiff
|
tree
2008-03-26
Kiri
l
l Smelkov
doc: SymPy
P
atch
e
s
Tut
o
rial
:
add pr
i
n
t
a
ble versi
o
n
commit
|
commitdiff
|
tree
2008-03-26
Ki
r
ill Smelkov
.
hgignore += doc/
build
stuff
commit
|
commitdiff
|
tree
2008-03-26
K
i
rill Smelkov
printer
.
py: fix typ
o
s
commit
|
commitdiff
|
tree
2008-03-26
Kirill
Sme
l
kov
pr
e
tty:
fix xobj
fo
r
even height
commit
|
commitdiff
|
tree
2008-03-26
Kirill S
m
elkov
ppr
i
nt: fix
hand
l
ing
o
f
old-style classes (#
7
55)
commit
|
commitdiff
|
tree
2008-03-23
Kiri
l
l Sm
e
l
kov
s
li
g
htly speedup Basic
.
_
_
getatt
r
__
commit
|
commitdiff
|
tree
2008-03-23
Kiril
l
Smelkov
a
dd
c
ommen
t
s to Mu
l
.
f
l
a
t
ten
commit
|
commitdiff
|
tree
2008-03-23
Kirill
S
melkov
[
2
/2] let's us
e
__slots__
commit
|
commitdiff
|
tree
2008-03-23
Kirill
S
melkov
[1/2]
let's use __
s
l
o
ts__
commit
|
commitdiff
|
tree
2008-03-12
Kirill S
m
elk
o
v
[
5/5
]
__eq
_
_/__ne__ re
t
u
r
n
s Tru
e
/
F
alse
direct
l
y (
.
.
.
commit
|
commitdiff
|
tree
2008-03-12
Kir
i
ll Smelkov
[4/5]
_
_eq__/__ne__ r
e
tu
r
n
s True/False directly (
.
.
.
commit
|
commitdiff
|
tree
2008-03-12
Ki
r
ill Smelkov
[3/5
]
__e
q
__
/
__ne__ retu
r
ns Tru
e
/
F
a
lse directly (
.
.
.
commit
|
commitdiff
|
tree
2008-03-12
Kirill
S
m
elkov
[2/5]
_
_eq__/__ne__
re
t
urn
s
True/False direc
t
ly
(
.
.
.
commit
|
commitdiff
|
tree
2008-03-12
Kirill Smelkov
[1
/
5] __eq__/__
n
e__ returns True/False direc
t
ly (
.
.
.
commit
|
commitdiff
|
tree
2008-03-12
Kirill
S
melkov
Re
l
atio
n
al: fix
for '!=' a
n
d
.
subs
commit
|
commitdiff
|
tree
2008-03-11
Kirill Smelkov
Jam
e
s a
d
de
d
to credi
t
s
commit
|
commitdiff
|
tree
2008-03-11
Kirill Smelkov
I
'
m
g
uilty
a
gain
:(
commit
|
commitdiff
|
tree
2008-03-11
Kirill Smelko
v
Test
for x*unknown -> u
n
know
n
.
__
r
mul__ is
cal
l
e
d
.
.
.
commit
|
commitdiff
|
tree
2008-03-11
Kirill
Smel
k
ov
Remove unneede
d
lines that t
r
y
t
o propa
g
a
t
e __
d
oc__
.
.
.
commit
|
commitdiff
|
tree
2008-02-29
Kiri
l
l Smelkov
a
s
s
umpt
i
ons: cache 'unknown'
assumptio
n
s as w
e
ll
commit
|
commitdiff
|
tree
2008-02-29
Kiril
l
Smelkov
s
y
mp
i
fy: add suppor
t
f
or obj
e
cts that
i
m
plement __i
n
t__
.
.
.
commit
|
commitdiff
|
tree
2008-02-27
Kirill Smelkov
Pow
.
e
x
pand(compl
e
x=True) -- use atan2 t
o
obtain base
.
.
.
commit
|
commitdiff
|
tree
2008-02-27
Kirill Smelkov
Add tests
f
or oo*
<
smth
>
==
o
o
(
#
639)
commit
|
commitdiff
|
tree
2008-02-27
Kiril
l
Smelk
o
v
.
is_pos
i
t
ive,
.
is_negat
i
v
e
-
- fa
l
l back t
o
cmp(
.
e
valf
.
.
.
commit
|
commitdiff
|
tree
2008-02-27
K
i
rill Smelkov
Fix
.
is_co
m
p
arable for fu
n
ct
i
ons
commit
|
commitdiff
|
tree
2008-02-27
Kirill Sm
e
l
kov
Fix thinko in Pow
.
_eval_is_r
e
al
commit
|
commitdiff
|
tree
2008-02-27
Kirill Smelkov
Fix is_nni & is_pi ass
u
mpti
o
n
a
liases
commit
|
commitdiff
|
tree
2008-02-27
Kiril
l
Sm
e
lkov
[2/2] Add, Mul,
P
o
w
: tests
for is_compar
a
ble
commit
|
commitdiff
|
tree
2008-02-27
Kirill Sme
l
kov
[
1
/2] Ad
d
, Mul, Pow: tests for is_c
o
mparable
commit
|
commitdiff
|
tree
2008-02-27
Kirill Smelkov
Fix
cod
e
typo in
Po
w
.
_
eval_i
s
_comparable
commit
|
commitdiff
|
tree
2008-02-24
Ki
r
ill Sme
l
kov
oo
p
s
,
reorder terms in doctes
t
s to
m
a
t
ch actual ou
t
pu
t
.
commit
|
commitdiff
|
tree
2008-02-23
K
irill Smelkov
oops, sh
a
me o
n
me
!
commit
|
commitdiff
|
tree
2008-02-23
Kirill Smel
k
ov
risch: systematically reuse du
m
mies
commit
|
commitdiff
|
tree
2008-02-23
Kiri
l
l
Smelkov
[2/2]
@
ca
c
heit
Wil
d
commit
|
commitdiff
|
tree
2008-02-23
Ki
r
i
l
l Sme
l
kov
[1/
2
] @
c
a
cheit Wild
commit
|
commitdiff
|
tree
2008-02-23
K
i
r
i
ll
S
mel
k
ov
@cac
h
eit Symbol
commit
|
commitdiff
|
tree
2008-02-23
K
i
rill
S
m
e
lkov
[2
/
2] is_dummy is not an assumpti
o
n
an
y
mo
r
e
commit
|
commitdiff
|
tree
2008-02-23
Kiri
l
l Smelkov
[1/2] is_du
m
m
y
is n
o
t
an ass
u
mption anymore
commit
|
commitdiff
|
tree
2008-02-23
Kirill Smel
k
ov
Symbol: split i
n
to Symbol &
Dummy for efficien
c
y
commit
|
commitdiff
|
tree
2008-02-23
Kirill Smelko
v
limits: make direct @debug
fa
s
t
e
r
(
minor)
commit
|
commitdiff
|
tree
2008-02-23
Ki
r
ill Smelkov
Ari
t
hMeths
.
_
_
neg__: e
x
plicitly call Mu
l
f
o
r ef
f
iciency
commit
|
commitdiff
|
tree
2008-02-23
Kirill S
m
el
k
ov
Integer
:
implement __neg__ & __abs
_
_ fo
r
e
fficiency
commit
|
commitdiff
|
tree
2008-02-23
Kirill Smelk
o
v
integer_
n
thr
o
ot: don't import math
.
log at
r
untime
commit
|
commitdiff
|
tree
2008-02-23
Kirill Sme
l
ko
v
core: unroll
r
est
c
yclic im
p
orts
commit
|
commitdiff
|
tree
2008-02-21
Kirill Smelkov
B
e
ginnigs of Sym
P
y
U
s
er's Guide
.
commit
|
commitdiff
|
tree
2008-02-17
Kirill
S
melkov
lim
i
t
s:
speedup su
b
exp
(
reus
e
dummy)
commit
|
commitdiff
|
tree
2008-02-17
Kirill Smelkov
t
rig
i
n
teg
r
ate: speedup (reuse pattern & dummy)
commit
|
commitdiff
|
tree
2008-02-17
Ki
r
ill Smelkov
Y
l
m: 10x sp
e
ed
u
p
commit
|
commitdiff
|
tree
next