Le forum de XCAS

jondo

Thank you! I was not aware of webxcas.

jondo

Somehow similar:

Xcas: solve([abs(x-1) > 1, abs(x-2) > 1],x)
list[0>x,x>3]

works fine. But if I want to compute the solutions separately:

Code : Tout sélectionner

Xcas: s1:=solve(abs(x-1) > 1,x) 
list[0>x,x>2]
Xcas: s2:=solve(abs(x-2) > 1,x) 
list[1>x,x>3]

, how can I intersect s1 and s2?

jondo

For

Code : Tout sélectionner

solve([abs(x-1) > 1, abs(x-2) > 1],x)

the current version() giac 0.9.4 wrongly gives

Code : Tout sélectionner

[x <= 0, x > 3]

, which is fixed e.g. in giac 1.1.1.

jondo

Also, can Giac somehow solve the original system of inequalities?

"solve" does not work:

Code : Tout sélectionner

Xcas: solve([x^2*y^2 <= x^2*y, x^2*y^2 > x^2*y],[x,y])
"[x,(x^2*y^2)<=(x^2*y),(x^2*y^2)>(x^2*y)] is not rational w.r.t. x Error: Bad Argument Value"

jondo

How can I simplify (x == 0 and 1 < y and 0 != 0) or (x == 0 and y < 0 and 0 != 0) ( from Sage trac ) to "false" (or find the empty solution set)? I have had a look at the pdf manual , but did not get it. The following does not work: giac: simplify((x == 0 and 1 < y and 0 != 0) or (x == 0 and y < 0 a...

jondo

Unfortunately I also cannot test your changes. Let's wait until Frederic is back and creates a new spkg.

jondo

frederic han a écrit : je n'ai pas de macos 10.9, c'est la personne qui a teste le spkg qui est sous 10.9.

Bernard, if you need more info: The corresponding Sage ticket is http://trac.sagemath.org/ticket/12375.

jondo

Hello, http://www-fourier.ujf-grenoble.fr/~parisse/install_en#packages says that it has been tried for a long time to get giac/xcas into Debian. Is there a Debian web page that publicly tracked these efforts? I would like to "read the history" to learn about the remaining problems. Has it been tried...

Le forum de XCAS

La recherche a retourné 8 résultats

Re: Please update Xcas en ligne

Re: Simplifying a combination of atomic inequalities

Please update Xcas en ligne

Re: Simplifying a combination of atomic inequalities

Simplifying a combination of atomic inequalities

Re: hash_map et obso

Re: hash_map et obso

Debian package