Does a subtraction symbolic expression actually exist?

asked 2012-12-18 22:28:15 +0200

rmp251
81 ●4 ●5 ●12

Can someone please give me an example of a symbolic expression in sage of the subtraction variety? (by subtraction variety I mean using the subtraction operator)

Precisely: how can I create an object o of type sage.symbolic.expression.Expression such that o.operator() is operator.sub? It seems that subtraction expressions are always converted to additions.

For example:

sage: x = var('x')
sage: (x-1).operator()
<built-in function add>

edit retag flag offensive close merge delete

Comments

Apparently we don't use this, though ginac does seem to have a `sub` subtraction thing. Interesting.

kcrisman ( 2012-12-18 22:45:09 +0200 )edit

subtraction is not a nice operator; it's not associative!

benjaminfjones ( 2012-12-19 00:40:46 +0200 )edit

add a comment

answered 2012-12-19 05:06:16 +0200

burcin
1198 ●15 ●36 http://erocal.org/burcin

We only use add, mul and pow operations in the expression tree. Subtraction is represented as addition with an appropriate coefficient and division is multiplication with an appropriate exponent. This makes it easier to handle expressions since you don't need to worry about handling these cases separately.

For example:

sage: var('x,y')
(x, y)
sage: ex = x+y-1
sage: ex.operator()
<built-in function add>
sage: ex.operands()
[x, y, -1]

You can read more about the internal representation of expressions in the relevant part of the GiNaC tutorial.

The patch attached to ticket #13738 wraps some internal GiNaC functions to view the expression tree.

edit flag offensive delete link

add a comment

Your Answer

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

Does a subtraction symbolic expression actually exist?

Comments

1 Answer

Your Answer

Question Tools

Stats

Related questions

Does a subtraction symbolic expression actually exist? edit

Comments

1 Answer

Your Answer

Question Tools

Stats

Related questions

Does a subtraction symbolic expression actually exist?