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
Kir
i
l
l Smelkov
[
1
4/24] Mul: te
a
ch
.
_eval
_
is_negative about all-terms
.
.
.
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-07-25
Ki
r
ill
Smel
k
ov
[1
3
/
2
4] Mu
l
: teach
i
t that !integer -> !even &
!
odd
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-07-25
Kiril
l
Smelkov
[12
/
24]
M
ul: tea
c
h
.
is_real &
.
is
_
imag
i
nary to accoun
t
.
.
.
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-07-25
Kirill Smelkov
[11/2
4
] rework assump
t
ions
.
py to u
s
e FactRule
s
.
.
.
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-07-25
Kirill
S
melko
v
[10/24] rewo
r
k assumptions
.
py to use FactRules
.
.
.
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-07-25
K
iri
l
l
Sm
e
lkov
[9/24]: re
w
ork assumpti
o
ns
.
py to use FactRules
(Basic
M
eta
.
.
.
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-07-25
Kirill
S
melkov
[8/24]: rewo
r
k a
s
sumptions to use Fact
R
ules
(no
.
assume(
)
)
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-07-25
Kirill Smel
k
ov
[7/
2
4
]: rework as
s
ump
t
io
n
s to use Fa
c
tRules (hash)
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-07-25
Kirill Smelkov
[6/24]: r
e
work
assumption
s
t
o
use FactRules
(
Basic)
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-07-25
Kir
i
ll Smelkov
[5/
2
4
]: r
e
work
a
ssump
t
ion
s
t
o
use Fa
c
tRules
(
B
asicMeta)
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-07-25
Kiri
l
l Sm
e
l
kov
[4/24
]
: rework assumptions
.
py to use Fac
t
Rules (ki
l
l
.
.
.
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-07-25
Kirill Smel
k
o
v
[3/24]:
r
ework assumpt
i
ons to use FactRules (assump
t
ions
.
py)
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-07-25
Kiril
l
S
melkov
[2/24] rule based inference e
n
gine (engine itse
l
f)
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-07-25
Kir
i
ll Sme
l
kov
[1/24
]
rule
based inferenc
e
engin
e
(logic)
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-07-25
Kirill Smelkov
pret
t
y: fix
p
r
inting of lon
g
string
s
e
.
g
.
pi
.
e
v
alf
.
.
.
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-07-25
Kirill Smelkov
pre
t
ty: special
s
ymbol
for mul
i
ply
(#957)
commit
|
commitdiff
|
tree
2008-07-25
K
i
rill S
m
elkov
pretty_symbologu: x
r
el -> xsy
m
-- it will be a
p
plica
b
le
.
.
.
commit
|
commitdiff
|
tree
2008-07-25
Kirill Smelkov
test_ro
o
ts: robu
s
tify tests for roo
t
s(x**3 + x*
*
2
.
.
.
commit
|
commitdiff
|
tree
2008-07-25
Kirill
S
m
elkov
tes
t
_
r
o
ots: use
s
ympify
and string repre
s
e
ntation
for
.
.
.
commit
|
commitdiff
|
tree
2008-07-24
Ki
r
ill
Smelkov
te
s
ts for
.
as_coeff_fac
t
ors()
commit
|
commitdiff
|
tree
2008-07-24
Kirill Sme
l
kov
nseries:
r
obustify
t
est_bug4
commit
|
commitdiff
|
tree
2008-07-24
Ki
r
i
ll Smelko
v
robustify tests
f
or
pos
t
o
r
der_trave
r
sal and
p
r
eorder_trav
e
rsal
commit
|
commitdiff
|
tree
2008-07-21
K
iri
l
l Smelk
o
v
rsolve_hyp
e
r: robustif
y
tests t
o
catch all comb
i
nations
.
.
.
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-07-20
Kir
i
ll Smelkov
Add: fix
.
_
e
val_is_irrational (s
e
lf
[
:
]
v
.
s
.
self
.
.
.
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-07-20
Kirill Sm
e
l
k
ov
Polys: robustify s
o
m
e
test
s
w
h
ich depend
o
n u
n
de
r
l
y
ing
.
.
.
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-07-20
Kirill S
m
elkov
p
retty: robustify
dict tests (#938)
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-07-18
K
i
ril
l
Smelkov
BasicMeta: don't imp
o
rt
t
ypeinfo
(e
.
g
.
is_
I
nteger)
.
.
.
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-07-18
Kirill S
m
elkov
Basic
.
__new__ : set
.
_a
s
sumptions to None early
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-07-06
Kirill Smelkov
do
c
: spt -- strip
w
hitesp
a
ce
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-07-06
K
iri
l
l Smelk
o
v
doc: s
p
t -- kill dupli
c
ate
l
eftover after a4ab
1
c
5
072c4
.
.
.
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-07-06
Kir
i
ll Smelkov
doc: me
n
tion NotImplementedE
r
ro
r
in python-compar
i
so
n
s
.
txt
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-07-06
Kirill Smel
k
ov
do
c
: fix typos in pyth
o
n-comparis
o
ns
.
txt
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-04-26
Kirill Smelkov
D
avid
R
oberts added to RE
A
DME
commit
|
commitdiff
|
tree
2008-04-23
K
irill Sme
l
kov
Roberto added to README
commit
|
commitdiff
|
tree
2008-04-21
Kirill Smelkov
A
dd Felix to READ
M
E
commit
|
commitdiff
|
tree
2008-04-20
Kiril
l
Smelkov
St
r
ip t
r
ailin
g
white
s
pace
s
all over Sy
m
P
y
commit
|
commitdiff
|
tree
2008-04-19
K
i
r
ill Sm
e
lko
v
Fi
x
Poly to be compatible w
i
th Pyt
h
on2
.
4
commit
|
commitdiff
|
tree
2008-04-17
Kir
i
l
l
Smelkov
fix a
c
osh(<something real>) (#730
)
commit
|
commitdiff
|
tree
2008-04-17
Kirill Smelkov
te
s
t_bug2 started to pass
commit
|
commitdiff
|
tree
2008-04-17
Kirill Smelkov
test_Lim
i
ts_simpl
e
_
4b started to pass
commit
|
commitdiff
|
tree
2008-04-17
Kirill Smel
k
ov
te
s
t_apart1 start
e
d
to pass
commit
|
commitdiff
|
tree
2008-04-17
Ki
r
ill Smelkov
pprint: fix printing of greek l
e
tters in d
e
r
i
va
t
ives
.
.
.
commit
|
commitdiff
|
tree
2008-04-17
Kiri
l
l Smelkov
ppr
i
nt: move pretty related tests to thei
r
h
o
me
commit
|
commitdiff
|
tree
2008-04-16
Kiri
l
l
Sm
e
lkov
pprint: i
m
plement
L
imit printing
commit
|
commitdiff
|
tree
2008-04-16
Kiril
l
Smelkov
Rizgar
a
d
ded to RE
A
DME
commit
|
commitdiff
|
tree
2008-04-13
Kirill Smelkov
P
an adde
d
to RE
A
DME
commit
|
commitdiff
|
tree
2008-04-11
Kirill Smelkov
remo
v
e unnecc
e
sary
comment
e
d XFAIL
commit
|
commitdiff
|
tree
2008-04-11
K
irill Smelko
v
Add Abderrahim to README
commit
|
commitdiff
|
tree
2008-04-03
K
irill Smelkov
Nimi
s
h
a
d
ded to
README
commit
|
commitdiff
|
tree
2008-03-26
Kirill Smelkov
doc: insta
l
l spt-pat
c
hes/ as w
e
ll
commit
|
commitdiff
|
tree
2008-03-26
Kirill Smelkov
doc: spt:
S
AGE does pathch re
v
iews
commit
|
commitdiff
|
tree
2008-03-26
Kiril
l
Smelkov
doc: spt: workar
o
und side
b
ar rela
t
ed b
u
g in
s
phinx
commit
|
commitdiff
|
tree
2008-03-26
Kirill S
m
e
l
kov
d
o
c:
SymPy Pat
c
hes Tutorial:
a
dd p
r
intable version
commit
|
commitdiff
|
tree
2008-03-26
Kirill Smelkov
.
hgignore +=
doc
/
bu
i
ld stuff
commit
|
commitdiff
|
tree
2008-03-26
K
i
rill Smelkov
prin
t
er
.
py: fix typos
commit
|
commitdiff
|
tree
2008-03-26
Kir
i
l
l
Smelkov
prett
y
: fix
xobj for even heig
h
t
commit
|
commitdiff
|
tree
2008-03-26
Kir
i
ll Smelkov
pp
r
i
n
t: f
i
x handling of ol
d
-style
c
lasses (#755
)
commit
|
commitdiff
|
tree
2008-03-23
Kirill
S
melkov
slightly speedup Basic
.
__getattr__
commit
|
commitdiff
|
tree
2008-03-23
Kirill Smelko
v
add
comments
to M
u
l
.
flat
t
en
commit
|
commitdiff
|
tree
2008-03-23
Kirill Smelkov
[2/
2
]
l
et's use __slots__
commit
|
commitdiff
|
tree
2008-03-23
Ki
r
ill Smelkov
[1/2] let's use __slot
s
__
commit
|
commitdiff
|
tree
2008-03-12
Kirill S
m
elkov
[5/5] __eq
_
_
/__n
e
__
r
etur
n
s True/
F
alse directly (
.
.
.
commit
|
commitdiff
|
tree
2008-03-12
Kirill Sme
l
kov
[4/5] __eq
_
_/
_
_ne__ re
t
u
r
ns True/F
a
lse
dire
c
tly
(
.
.
.
commit
|
commitdiff
|
tree
2008-03-12
K
i
rill Smelkov
[3/5] __eq__/__
n
e
_
_ returns True/False directly
(
.
.
.
commit
|
commitdiff
|
tree
2008-03-12
Kirill
S
m
e
l
kov
[2/5] __eq__/__ne__ returns True/False directly
(
.
.
.
commit
|
commitdiff
|
tree
2008-03-12
Ki
r
ill Smelkov
[1/5] __e
q
__/
_
_
n
e
__ ret
u
rns True/F
a
lse direct
l
y (
.
.
.
commit
|
commitdiff
|
tree
2008-03-12
K
ir
i
ll
S
m
el
k
ov
Rel
a
t
ional: f
i
x for '!=' and
.
s
ubs
commit
|
commitdiff
|
tree
2008-03-11
Ki
r
ill S
m
elk
o
v
James
added to
c
redits
commit
|
commitdiff
|
tree
2008-03-11
Kirill Smelkov
I'm
g
u
i
lty agai
n
:(
commit
|
commitdiff
|
tree
2008-03-11
K
i
ri
l
l Smelkov
Test for x*unknown ->
u
n
k
n
own
.
__rmul__ is cal
l
ed
.
.
.
commit
|
commitdiff
|
tree
2008-03-11
Kirill
S
melk
o
v
Remove unneeded lin
e
s that try to
p
ro
p
agate __doc__
.
.
.
commit
|
commitdiff
|
tree
2008-02-29
Kiril
l
S
m
elkov
a
s
sump
t
ions: cache 'unknown' assum
p
tions as well
commit
|
commitdiff
|
tree
2008-02-29
Kiri
l
l Sme
l
kov
sympify:
add support for ob
j
ect
s
that imple
m
ent __
i
nt__
.
.
.
commit
|
commitdiff
|
tree
2008-02-27
Kirill
S
melkov
Pow
.
e
x
pand(co
m
plex=True) --
us
e
a
t
an2 t
o
obtain base
.
.
.
commit
|
commitdiff
|
tree
2008-02-27
Kiril
l
Sme
l
ko
v
Add te
s
ts fo
r
oo*<
s
mth>
=
= oo (#639)
commit
|
commitdiff
|
tree
2008-02-27
Kirill Smelkov
.
is_positiv
e
,
.
i
s_
n
egat
i
ve -
-
fall back to cmp(
.
ev
a
l
f
.
.
.
commit
|
commitdiff
|
tree
2008-02-27
Kirill S
m
e
l
kov
Fi
x
.
is
_
comparable for fun
c
tions
commit
|
commitdiff
|
tree
2008-02-27
Kirill Smelkov
Fix
t
hinko in Pow
.
_eval_is_real
commit
|
commitdiff
|
tree
2008-02-27
Kirill
S
m
e
lkov
Fix
i
s_
n
n
i
& is
_
pi assumption aliases
commit
|
commitdiff
|
tree
2008-02-27
Kirill
Sm
e
lkov
[2/2]
Add, Mul,
Pow:
t
ests for is_comparable
commit
|
commitdiff
|
tree
2008-02-27
Kirill S
m
elkov
[
1/
2
]
Add, Mul
,
Pow: tests f
o
r
i
s_comp
a
rable
commit
|
commitdiff
|
tree
2008-02-27
Kirill Sm
e
lkov
Fix c
o
de typo in Pow
.
_eval_is_co
m
parable
commit
|
commitdiff
|
tree
2008-02-24
Kirill Smelk
o
v
oops
,
reorder t
e
rms in do
c
tests t
o
m
a
tch act
u
al out
p
ut
.
commit
|
commitdiff
|
tree
2008-02-23
K
i
ril
l
Smelkov
oops, sha
m
e
o
n m
e
!
commit
|
commitdiff
|
tree
2008-02-23
Kiril
l
Smelkov
risch:
s
yste
m
a
t
i
cally reuse
d
ummie
s
commit
|
commitdiff
|
tree
2008-02-23
Kirill Smelkov
[2/2] @cach
e
it Wild
commit
|
commitdiff
|
tree
2008-02-23
Kirill Smel
k
ov
[1/2]
@cacheit W
i
ld
commit
|
commitdiff
|
tree
2008-02-23
Kirill S
m
elkov
@cacheit Sym
b
o
l
commit
|
commitdiff
|
tree
2008-02-23
K
irill Smelko
v
[2/2] is_d
u
mmy is not an assu
m
ption
a
n
y
more
commit
|
commitdiff
|
tree
2008-02-23
K
i
rill Smelkov
[1/2] is_dumm
y
is not
an assumption anymore
commit
|
commitdiff
|
tree
2008-02-23
Kirill Smelk
o
v
S
y
m
b
ol: spli
t
into Sy
m
bol & D
u
mm
y
for efficienc
y
commit
|
commitdiff
|
tree
2008-02-23
Kiril
l
Smelkov
limit
s
: mak
e
direct @de
b
ug faster (mi
n
or)
commit
|
commitdiff
|
tree
2008-02-23
Ki
r
i
l
l Smelkov
ArithMe
t
hs
.
__
n
eg__: ex
p
licitly call M
u
l for
efficiency
commit
|
commitdiff
|
tree
2008-02-23
K
i
ri
l
l S
m
elkov
In
t
e
g
er: implemen
t
__n
e
g__ & __abs
_
_ for efficien
c
y
commit
|
commitdiff
|
tree
2008-02-23
Kirill Smelkov
integer_nthroo
t
: d
o
n't import
m
ath
.
l
o
g at runtime
commit
|
commitdiff
|
tree
2008-02-23
K
i
rill
S
melkov
core: u
n
r
oll rest cyclic
i
mports
commit
|
commitdiff
|
tree
2008-02-21
Kiri
l
l S
m
elkov
Beginnigs of SymP
y
User's Guide
.
commit
|
commitdiff
|
tree
2008-02-17
Kirill Smelkov
limits: speedup
sub
e
xp
(reuse dummy)
commit
|
commitdiff
|
tree
2008-02-17
K
i
rill Smelkov
t
r
ig
i
n
t
egrate: s
p
eedup
(
r
e
u
se
pattern & dummy)
commit
|
commitdiff
|
tree
2008-02-17
Kirill Smel
k
ov
Ylm: 1
0
x
s
peedup
commit
|
commitdiff
|
tree
next