That is not the right way to compare. Actually:
(%i2) domain:complex;
(%o2) complex
(%i3) is(equal(sqrt(-4*x+4),sqrt(-x+1)*2));
(%o3) unknown
but indeed:
sage: var('x', domain='real')
x
sage: bool(sqrt(-4*x+4)==sqrt(-x+1)*2)
False
--
Indeed. But compare :
;; Maxima
(%i1) is(equal(sqrt(-4*x+4),sqrt(-x+1)*2));
(%o1)true
## Sage
(%i1) is(equal(sqrt(-4*x+4),sqrt(-x+1)*2));
(%o1)true
Maxima, in this case, doesn't need the help required by Sage...
--
Emmanuel Charpen
On Monday, July 3, 2017 at 5:34:58 PM UTC+2, Emmanuel Charpentier wrote:
>
> sage: sqrt(4-4*x).canonicalize_radical()
> 2*I*sqrt(x - 1)
>
That comes directly from Maxima and is not wrong:
(%i2) radcan(sqrt(-4*x + 4));
(%o2) 2 %i sqrt(x - 1)
--
You received this message
On Monday, July 3, 2017 at 12:00:03 PM UTC+2, LudJam wrote:
>
> I think I discovered a case where bool() of a symbolic expression returns
> false while it is true :
>
> bool(sqrt(-4*x+4)==sqrt(-x+1)*2)
> >>false
>
That is not a bug. False can mean False and Unknown here.
Blame Python for the fact
On Monday, July 3, 2017 at 10:37:27 PM UTC+2, Kwankyu Lee wrote:
>
>
> I am thinking of feature branches that are fully implemented but not
> expected to be merged to sage soon because it is too special, too big,
> needs more work to start normal review process, etc, or the author simply
> does
>
> Maybe sage-feature branches don't get merged
> because they are too optimistic, too much work, adding a feature that
> nobody cares about...
>
I am thinking of feature branches that are fully implemented but not
expected to be merged to sage soon because it is too special, too big,
needs
Moe seriously : the introduction of (some form) of three-valued
(interpretation of) logic in Sage has been discussed *ad nauseam* on this
list since the idea was introduced nine years ago.
As seen by a relatively newbie, a general consensus seems to be that this
would entail a (very long) revie
Hmmm... Uting TLAs :
sage: sqrt(4-4*x).simplify()
sqrt(-4*x + 4)
sage: sqrt(4-4*x).simplify_full()
sqrt(-4*x + 4)
sage: sqrt(4-4*x).canonicalize_radical()
2*I*sqrt(x - 1)
WTF ? BTW :
sage: bool(sqrt(4-4*x)==2*sqrt(1-x))
False
sage: bool((sqrt(4-4*x)/(2*sqrt(1-x)))==1)
False
sage: bool((sqrt(4-4*
>
> As one who added the latest of the tickets with milestone sage-feature, I
> want to enliven them. As I see it, a sage-feature ticket intends to provide
> a sage feature branch that is not appropriate to be merged to Sage through
> the normal review process, but still useful to the people i
If I understand correctly, the purpose of sagemath/dockerimages is to run
Sage inside a docker container and my purpose is to build Sage inside a
docker container. I just would like a latest Sage tarball for Ubuntu 17.04
to use on my laptop (and I don't want to build Sage on my laptop). I don't
I don't have an immediate explanation coming to mind for this failure,
but I would have to ask what you're trying to achieve with respect to
this Dockerfile. Have you already had a look at the semi-official
docker images I'm maintaining at
https://github.com/sagemath/docker-images, and is there so
I think I discovered a case where bool() of a symbolic expression returns
false while it is true :
bool(sqrt(-4*x+4)==sqrt(-x+1)*2)
>>false
I think the problem is that sage can't manage to simplify sqrt(-4*x+4)
in sqrt(-x+1)*2
sqrt(-4*x+4).full_simplify()
>>sqrt(-4*x+4)
P.S. : I tried with th
Hi, I was wondering if SAGE can be used to solve a PDE in the form:
u(x,y)''+u(x,y)' + const = 0
?
Thanks!
--
You received this message because you are subscribed to the Google Groups
"sage-devel" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to sage
On 2017-07-02 08:03, Kwankyu Lee wrote:
1. Add a new ticket status "needs_feedback". This is a status between
"new" and "needs_review".
I would guess that the problems are not technical, so technical
solutions won't help. Maybe sage-feature branches don't get merged
because they are too optim
Le dimanche 2 juillet 2017 08:03:36 UTC+2, Kwankyu Lee a écrit :
>
> To encourage people to contribute their feature branches and keep the code
> healthy, I suggest:
>
> 1. Add a new ticket status "needs_feedback". This is a status between
> "new" and "needs_review".
> 2. Let patchbots test sage-
15 matches
Mail list logo
