[sage-support] simplification options

2019-03-11 Thread Michael Beeson
In the following example I would like to make Sage realize that (p,q,r) are constants and (a,b) are variables so in the end everything should be expressed as a polynomial in a,b. In particular b^2 should be rewritten as 1-a^2 (b and a are actually sin and cosine of something) but b should

[sage-support] simplification of results from Sage Cell Server

2018-10-01 Thread Troels Ring
Dear friends - I have a quotient which I need to differentiate and show the differential is always positive for unknown H>0. We have 7 unknown constants all known to be positive and less than 1 except for A which may be any positive value. In Sage Cell Server I did this

[sage-support] simplification of symbolic expressions

2013-11-22 Thread John Cremona
I am having difficulty in simplifying certain symbolc expressions in Sage. As I do not have much experience with this side of Sage it is possible that there are some tricks I am missing. Here are two examples: 1. It is a fact that if a^2+b^2=1 then arcsin(a)+arcsin(b)=pi/2, but how can I get

[sage-support] Simplification of multivariable polynomial over a polynomial ring

2013-02-18 Thread Emmanuel
Hello, I want to work with multivariate polynomials over a multivariate polynomial ring (see below for the reason I want to do this). K.a,b=PolynomialRing(QQ, 2, order='lex') QM.X,Y,Z = PolynomialRing(K, 3, order='lex') However, I have problems when I want to simplify. Consider for example,

Re: [sage-support] Simplification of multivariable polynomial over a polynomial ring

2013-02-18 Thread Charles Bouillaguet
On Feb 18, 2013, at 1:47 PM, Emmanuel wrote: Hello, I want to work with multivariate polynomials over a multivariate polynomial ring (see below for the reason I want to do this). K.a,b=PolynomialRing(QQ, 2, order='lex') QM.X,Y,Z = PolynomialRing(K, 3, order='lex') However, I have

[sage-support] Simplification Issue Implicates Canonical Form

2012-02-17 Thread Mark Rahner
Hello sage-support, I'm a Sage newbie who just joined the group. Before I get to the meat of my post, I'd like to thank the open source math software community for all of your hard work! Nothing I say should be misinterpreted as a complaint. I have only admiration and gratitude. I ran into an

[sage-support] Simplification / Latex question

2010-06-22 Thread Mike Witt
sage: version() 'Sage Version 4.4.3, Release Date: 2010-06-04' sage: f=e^(i*x*pi-i*2*pi) sage: f.simplify_full() e^(I*pi*x) # So far, so good sage: n=var('n') sage: f=e^(i*x*pi*n-i*2*pi*n) sage: f.simplify_full() e^(I*pi*n*x - 2*I*pi*n) # Is there a way I can get this to simplify? sage:

[sage-support] Simplification

2009-06-10 Thread Rhys Ulerich
Dumb basic CAS question that's been driving me batty... x = var('x'); k = var('k'); j = var('j'); t = function('t',j); B = function('B', j, k, x); eqn1 = B(j,k,x) == (x-t(j)) / (t(j+k) - t(j))*B(j,k-1,x) + (t(j+k +1)-x) / (t(j+k+1)-t(j+1))*B(j+1,k-1,x); eqn2 = eqn1*k/(x-t(j)); What sequence

[sage-support] Simplification

2009-05-14 Thread Laurent
Hello x,y=var('x,y') s = x*y2 + x*(-y2 - x2 + 1) + x3 - x print simplify(s) Answer : 2 22 3 x y + x (- y - x + 1) + x - x + I'm quite disappointed that

[sage-support] Simplification/Rewrite Rules?

2008-11-24 Thread Tim Lahey
Hi, Is there a specific way to add rules (and apply them) to rewrite expressions in Sage? Such as, log(a)-log(b) = log(a/b) I need this (and others) in order to properly compare the integration results from Sage to the list of integrals I have. I'm trying to put together a suite of integration