Ask Your Question
0

How to get sage to keep the same form as an expression from sympy?

asked 2017-08-09 01:31:19 +0200

ensaba gravatar image

I have this expression:

$$-\frac{2}{3} t_{1} + \frac{2}{3} y_{1}$$

and would like to rewrite it as follows:

$$\frac{2}{3} (-t_1 + y_1)$$

Using sympy, I can get something close:

import sympy as sp

var('y1 t1')
expr1 = -2/3*t1 + 2/3*y1
sp.factor(sp.sympify(expr1))

This gives:

๐Ÿธ*(โŽฏ๐š๐Ÿท+๐šข๐Ÿท)/๐Ÿน

But when I convert it back to Sage:

sp.factor(sp.sympify(expr1))._sage_()

The result reverts to expr1.

How can I get the call to _sage_() not do any rewrites on the sympy expression?

edit retag flag offensive close merge delete

Comments

1

Is the following (purely) algebraic framework ok?

sage: R.<y,t> = PolynomialRing(QQ)
sage: E = -2/3*t +2/3*y
sage: E
2/3*y - 2/3*t
sage: E.factor()
(2/3) * (y - t)
dan_fulea gravatar imagedan_fulea ( 2017-08-10 00:14:46 +0200 )edit

1 Answer

Sort by ยป oldest newest most voted
0

answered 2017-08-11 19:23:36 +0200

mforets gravatar image

in the symbolic ring you can do:

sage: var('y1, t1');
sage: (y1-t1).mul(2/3, hold=true)
2/3*(-t1 + y1)

i'm afraid there's no easy out-of-the-box way to tune the exact order in which the expressions are displayed. of course, sage provides all functions needed to get the information, such as variables(), coefficients(), and so on.

moreover, it becomes less clear what would such a function do. what if the expression involves more than two terms? lexicographic order is provided in a polynomial ring, an answer which has been given elsewhere by dan_fulea.

hope that helps!

edit flag offensive delete link more

Comments

If I type (y1-t1).mul(2/3, hold=true) it means that I already know the factorized form of the expression I want to factor. What if I don't know what the factorized form of the expression that I want to factor will look like?

ensaba gravatar imageensaba ( 2017-08-17 00:09:24 +0200 )edit

Your Answer

Please start posting anonymously - your entry will be published after you log in or create a new account.

Add Answer

Question Tools

1 follower

Stats

Asked: 2017-08-09 01:31:19 +0200

Seen: 413 times

Last updated: Aug 11 '17