I am new to sage. So, sorry if my question is too trivial.
I can not factor the output of "solve". For instance, this very simple example
x= var('x')
sols=solve(x==6, x)
factor(sols[0].right())
gives me
6
Why I am not getting the following?
2 * 3
which of course is the output of
factor(6).
PS: I guess that the "type" is a crucial thing here, but anyways I'd need to factor 'sage.symbolic.expression.Expression'
factor does not mean the same thing in $\mathbb{Z}$ (or $\mathbb{Q}$) and in SR: if, on both cases, factor aims at (recursively) transforming its input in a product of "simpler" elements, the meaning of "simpler" differs:
In $\mathbb{Z}$ (or $\mathbb{Q}$), the "simplest" elements are primes;
in SR, they are (roughly) polynomials.
In SR, 6 is already a monomial, hence a non-simplifiable element, whereas, in $\mathbb{Z}$, it is not a prime, hence factorizable as a product of primes.
Another illustration:
sage: factor(6/5)
2 * 3 * 5^-1
sage: factor(SR(6/5))
6/5
HTH,
Another, more pythonic way, would be :
ZZ((x==6).solve(x)[0].rhs()).factor()
Asked: 2019-03-08 00:25:05 +0100
Seen: 709 times
Last updated: Mar 08 '19
Copyright Sage, 2010. Some rights reserved under creative commons license. Content on this site is licensed under a Creative Commons Attribution Share Alike 3.0 license.
