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 Smelkov
[
1
4/24] Mul: teach
.
_
e
val_is_negative
a
b
out all
-
terms
.
.
.
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-07-25
Kirill Smelkov
[13/24]
Mu
l
:
t
each i
t
t
hat !i
n
teger -
>
!even & !odd
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-07-25
Kirill Smel
k
ov
[12/24] M
u
l: teac
h
.
is_re
a
l &
.
i
s_imaginary
t
o accou
n
t
.
.
.
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-07-25
K
irill Smelko
v
[
11/24] rework assumpt
i
on
s
.
py to use FactRules
.
.
.
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-07-25
Kirill Smelkov
[10/2
4
] re
w
ork assumptions
.
p
y
to u
s
e FactRul
e
s
.
.
.
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-07-25
Kiri
l
l
Smelkov
[9/24]: rework assumptions
.
py to use FactRules (Basi
c
Meta
.
.
.
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-07-25
Kiril
l
S
m
elkov
[8/24]:
rework a
s
sumptions to
u
s
e
Fact
R
ules (no
.
assume())
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-07-25
Kirill Smelkov
[7/24]: rewo
r
k ass
u
mptions t
o
use F
a
ctRul
e
s
(
ha
s
h)
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-07-25
Kirill Sm
e
lkov
[
6
/24
]
: rewo
r
k assumpt
i
ons to use F
a
ctRules (Basic)
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-07-25
Kirill Sm
e
lkov
[5/24]: rework
a
s
sumption
s
t
o use F
a
ctRules (BasicMeta)
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-07-25
Kirill Smelkov
[4/24]:
r
ewo
r
k
a
ss
u
mptions
.
py to use
F
actRule
s
(kill
.
.
.
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-07-25
Kirill Smel
k
ov
[
3/2
4
]:
r
ewo
r
k
a
ssumptions
t
o
use FactRules
(
a
ssu
m
ptions
.
py)
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-07-25
Kirill Smelkov
[2/24] ru
l
e based infe
r
ence engine (
e
ngine itself)
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-07-25
Kir
i
ll Smelkov
[1
/
24] rule based inference e
n
g
i
n
e
(lo
g
ic)
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-07-25
Kirill Sm
e
lkov
pr
e
tty:
fix
p
rinting of long strings e
.
g
.
pi
.
ev
a
lf
.
.
.
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-07-25
Kirill
Smelk
o
v
pretty: s
p
ec
i
a
l
s
ymbo
l
for m
u
li
p
ly (
#
957)
commit
|
commitdiff
|
tree
2008-07-25
K
irill
S
melkov
pretty_symbolo
g
u:
xr
e
l -> xsym -- it will b
e
applicable
.
.
.
commit
|
commitdiff
|
tree
2008-07-25
Kiril
l
Smelkov
t
est_roots:
robusti
f
y tests for r
o
o
ts(x**3 + x*
*
2
.
.
.
commit
|
commitdiff
|
tree
2008-07-25
Kirill Smelkov
tes
t
_
roots
:
u
s
e sy
m
p
ify a
n
d
string repr
e
sentation f
o
r
.
.
.
commit
|
commitdiff
|
tree
2008-07-24
Kirill Sme
l
kov
te
s
ts
f
or
.
as_coe
f
f_facto
r
s
()
commit
|
commitdiff
|
tree
2008-07-24
Kir
i
ll
Smelkov
nse
r
ies: r
o
bustify tes
t
_
b
ug4
commit
|
commitdiff
|
tree
2008-07-24
K
irill Smel
k
ov
robus
t
i
f
y
tests for postorder_trave
r
sal and preorder_traversal
commit
|
commitdiff
|
tree
2008-07-21
Kirill Smel
k
ov
rsolve_hyper: r
o
bustify tests to catch all combina
t
ions
.
.
.
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-07-20
Ki
r
ill
S
m
e
lkov
Add: fix
.
_eval_is_
i
r
r
ational
(self
[
:]
v
.
s
.
self
.
.
.
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-07-20
Kiri
l
l Smel
k
o
v
Polys: robusti
f
y so
m
e
tests which d
e
pend on underlying
.
.
.
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-07-20
K
i
rill
Sm
e
lkov
pretty
:
robust
i
fy dict tests (#938)
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-07-18
Kirill Smel
k
ov
BasicM
e
t
a
:
d
o
n'
t
import type
i
n
fo
(
e
.
g
.
i
s_Integer)
.
.
.
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-07-18
K
irill S
m
elkov
Basic
.
__
n
ew__ : set
.
_assumptions to None early
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-07-06
Kiri
l
l
Smelk
o
v
doc: spt
-- strip
w
hitespac
e
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-07-06
Kiri
l
l S
m
elkov
doc: spt -- kill duplicate left
o
v
e
r after
a
4
ab1c5072c4
.
.
.
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-07-06
K
i
ri
l
l Sme
l
ko
v
doc: men
t
ion NotImplementedError in python-co
m
parisons
.
txt
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-07-06
Kirill Smelkov
doc: fix typos in py
t
h
o
n-compar
i
sons
.
txt
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-04-26
Kirill Sme
l
k
ov
David
R
o
berts added to README
commit
|
commitdiff
|
tree
2008-04-23
Kirill Smelkov
Roberto added to
REA
D
ME
commit
|
commitdiff
|
tree
2008-04-21
K
i
rill Smelkov
Add Fel
i
x
to README
commit
|
commitdiff
|
tree
2008-04-20
Kirill Smel
k
o
v
Stri
p
trailin
g
whi
t
espaces a
l
l over S
y
m
Py
commit
|
commitdiff
|
tree
2008-04-19
K
iri
l
l Smel
k
o
v
F
ix Pol
y
to be compat
i
ble with Python
2
.
4
commit
|
commitdiff
|
tree
2008-04-17
Kirill Smelkov
f
i
x acosh(<s
o
me
t
h
ing real>)
(#730)
commit
|
commitdiff
|
tree
2008-04-17
Kiril
l
Sm
e
lkov
t
e
st_bug2
s
tarted
t
o
p
a
ss
commit
|
commitdiff
|
tree
2008-04-17
Kiri
l
l
Sme
l
k
o
v
test_Lim
i
ts_simp
l
e_4b started
t
o pass
commit
|
commitdiff
|
tree
2008-04-17
Kirill
S
m
elkov
test_apa
r
t
1
started t
o
pass
commit
|
commitdiff
|
tree
2008-04-17
Kirill
S
m
e
l
kov
pp
r
in
t
: fix print
i
ng
o
f
greek let
t
ers in derivati
v
es
.
.
.
commit
|
commitdiff
|
tree
2008-04-17
Kirill Smelkov
pp
r
i
n
t: mov
e
pretty relate
d
t
e
s
ts to th
e
ir home
commit
|
commitdiff
|
tree
2008-04-16
Kirill Smelkov
p
print: imple
m
e
n
t
L
imit
p
rinting
commit
|
commitdiff
|
tree
2008-04-16
Kirill S
m
elkov
Rizgar
a
d
ded to R
E
A
D
M
E
commit
|
commitdiff
|
tree
2008-04-13
Kirill
Smelkov
P
an added to README
commit
|
commitdiff
|
tree
2008-04-11
Kirill Smelkov
remo
v
e
u
n
neccesary c
o
m
m
ented XFAIL
commit
|
commitdiff
|
tree
2008-04-11
Kiril
l
Smelkov
Ad
d
A
bder
r
ahim to READ
M
E
commit
|
commitdiff
|
tree
2008-04-03
Kirill
Smelko
v
Nim
i
sh ad
d
ed to README
commit
|
commitdiff
|
tree
2008-03-26
Ki
r
ill Smelkov
do
c
: in
s
tall spt
-
patches/ as well
commit
|
commitdiff
|
tree
2008-03-26
K
irill S
m
elkov
doc:
s
pt
:
SAGE does p
a
t
hch rev
i
ews
commit
|
commitdiff
|
tree
2008-03-26
Kirill Smelkov
doc:
s
p
t: workaround sidebar
r
e
la
t
ed bug in sphinx
commit
|
commitdiff
|
tree
2008-03-26
Kir
i
ll Smelkov
do
c
:
S
y
mPy Patches Tutoria
l
: a
d
d
printable version
commit
|
commitdiff
|
tree
2008-03-26
Kirill
S
melkov
.
hg
i
gnore +=
doc/ build stu
f
f
commit
|
commitdiff
|
tree
2008-03-26
Kiril
l
Smelkov
printer
.
py: fix typos
commit
|
commitdiff
|
tree
2008-03-26
K
i
rill Smelkov
p
retty: fix xobj fo
r
even hei
g
ht
commit
|
commitdiff
|
tree
2008-03-26
Kir
i
ll Smelkov
p
p
ri
n
t: f
i
x handl
i
ng
of o
l
d-styl
e
classes
(
#755)
commit
|
commitdiff
|
tree
2008-03-23
Kirill Smelkov
slig
h
tly speedup Bas
i
c
.
__
g
eta
t
tr__
commit
|
commitdiff
|
tree
2008-03-23
Kirill Smelkov
a
d
d comments to Mu
l
.
f
l
atte
n
commit
|
commitdiff
|
tree
2008-03-23
Kiril
l
Smelkov
[2/2]
let'
s
use __slots
_
_
commit
|
commitdiff
|
tree
2008-03-23
Ki
r
ill Smelkov
[
1
/
2]
l
e
t's use __sl
o
ts_
_
commit
|
commitdiff
|
tree
2008-03-12
Kirill Smelkov
[
5
/5]
_
_
eq__/__ne__
r
eturns True/False dir
e
ctly (
.
.
.
commit
|
commitdiff
|
tree
2008-03-12
Kirill S
m
elkov
[4/5] __eq__/
_
_ne__ returns True/False d
i
rectly (
.
.
.
commit
|
commitdiff
|
tree
2008-03-12
Kirill
Sm
e
l
kov
[3/5] __eq__/
_
_ne__
returns T
r
u
e
/Fal
s
e dire
c
tly (
.
.
.
commit
|
commitdiff
|
tree
2008-03-12
Kirill Smelkov
[2
/
5] __
e
q__/__ne
_
_ ret
u
rns
T
rue/F
a
lse d
i
r
e
ctly (
.
.
.
commit
|
commitdiff
|
tree
2008-03-12
Kirill Smelko
v
[1/5] __eq_
_
/
_
_ne__ ret
u
rns Tr
u
e/False directly (
.
.
.
commit
|
commitdiff
|
tree
2008-03-12
K
i
rill Sme
l
k
ov
Relat
i
ona
l
: fix fo
r
'!=' and
.
subs
commit
|
commitdiff
|
tree
2008-03-11
Kir
i
ll Smelk
o
v
James ad
d
e
d
to credits
commit
|
commitdiff
|
tree
2008-03-11
K
irill Smelk
o
v
I
'
m
guilt
y
again :(
commit
|
commitdiff
|
tree
2008-03-11
Kiri
l
l S
m
elkov
Test f
o
r
x*unknown
-> u
n
k
n
own
.
__rmul__
is cal
l
ed
.
.
.
commit
|
commitdiff
|
tree
2008-03-11
Kiri
l
l Smelkov
Remove unneeded l
i
n
es that
t
r
y
to p
r
opagate __do
c
__
.
.
.
commit
|
commitdiff
|
tree
2008-02-29
K
i
rill Sme
l
kov
a
s
sumptio
n
s: cache
'
u
nknown'
a
s
s
um
p
t
i
ons as
well
commit
|
commitdiff
|
tree
2008-02-29
K
i
rill
Smelkov
sympify
:
add sup
p
o
r
t for obje
c
ts that imp
l
ement __int__
.
.
.
commit
|
commitdiff
|
tree
2008-02-27
Ki
r
i
l
l
Smelkov
P
o
w
.
e
x
p
a
nd(compl
e
x
=True) -- use atan2 to obtain
base
.
.
.
commit
|
commitdiff
|
tree
2008-02-27
Kirill
S
m
elkov
Add tests for oo*
<
smt
h
> ==
o
o (#639)
commit
|
commitdiff
|
tree
2008-02-27
Kirill
S
me
l
kov
.
i
s_positive,
.
is_negative -
-
fall back t
o
cmp(
.
evalf
.
.
.
commit
|
commitdiff
|
tree
2008-02-27
K
i
rill Smelkov
F
ix
.
is_c
o
m
parable for
functions
commit
|
commitdiff
|
tree
2008-02-27
Kirill Smelkov
F
i
x
thinko
in
P
ow
.
_eval_is_real
commit
|
commitdiff
|
tree
2008-02-27
Kiril
l
Smelkov
Fi
x
is
_
nni & is_pi as
s
umpt
i
on aliases
commit
|
commitdiff
|
tree
2008-02-27
Kirill Smelkov
[2/2
]
Add, Mul, P
o
w: te
s
ts
f
or
is_comparable
commit
|
commitdiff
|
tree
2008-02-27
Kirill Sme
l
kov
[1/2]
Add, Mul, Pow: t
e
sts for
is_comp
a
rabl
e
commit
|
commitdiff
|
tree
2008-02-27
Kirill Smelkov
Fix cod
e
typo in Pow
.
_eval_is_comparable
commit
|
commitdiff
|
tree
2008-02-24
K
irill Sm
e
l
k
ov
oops,
r
eo
r
der t
e
r
ms in
d
octests to match actua
l
ou
t
p
u
t
.
commit
|
commitdiff
|
tree
2008-02-23
K
iri
l
l Smelkov
o
o
ps, s
h
ame on me!
commit
|
commitdiff
|
tree
2008-02-23
K
i
rill Smelkov
r
isch: systematic
a
l
ly r
e
use dummies
commit
|
commitdiff
|
tree
2008-02-23
Ki
r
i
l
l Smelk
o
v
[2/2] @
c
ach
e
it Wild
commit
|
commitdiff
|
tree
2008-02-23
K
irill
S
melkov
[1/2] @cacheit W
i
ld
commit
|
commitdiff
|
tree
2008-02-23
Kir
i
ll Sme
l
kov
@cache
i
t Symbo
l
commit
|
commitdiff
|
tree
2008-02-23
Kirill Smelkov
[2/2] is_dummy is not
an
a
ssumption anymo
r
e
commit
|
commitdiff
|
tree
2008-02-23
Kirill
Smelkov
[1/2]
is_dummy is
not an
assu
m
p
t
ion a
n
y
m
ore
commit
|
commitdiff
|
tree
2008-02-23
Kiril
l
Smelkov
Sym
b
ol
:
sp
l
it into Symbol &
D
ummy for efficiency
commit
|
commitdiff
|
tree
2008-02-23
Kiri
l
l
Smelkov
limi
t
s
: make direct
@debug f
a
s
t
er (
m
inor)
commit
|
commitdiff
|
tree
2008-02-23
Kirill Smelkov
A
r
i
t
hMeths
.
_
_
neg__: ex
p
licit
l
y call Mul for efficiency
commit
|
commitdiff
|
tree
2008-02-23
Kirill Smelkov
I
n
tege
r
: implement __neg__ &
__
a
bs__
for
e
fficienc
y
commit
|
commitdiff
|
tree
2008-02-23
Kirill Sm
e
lko
v
integer_nthroot: don't i
m
port
m
a
t
h
.
log a
t
runtime
commit
|
commitdiff
|
tree
2008-02-23
Kirill S
m
elk
o
v
core: unroll
rest
c
ycl
i
c imports
commit
|
commitdiff
|
tree
2008-02-21
Kirill Smelkov
Begin
n
igs of SymP
y
User's Guide
.
commit
|
commitdiff
|
tree
2008-02-17
Kiri
l
l Smelk
o
v
limit
s
:
speedup s
u
bexp (reus
e
du
m
my)
commit
|
commitdiff
|
tree
2008-02-17
Kiri
l
l S
m
elkov
tri
g
int
e
grate:
s
pee
d
u
p
(reuse
p
a
t
tern &
dum
m
y)
commit
|
commitdiff
|
tree
2008-02-17
Kiri
l
l Smelkov
Ylm:
10x spe
e
dup
commit
|
commitdiff
|
tree
next