#18970: always simplify log(a^m,a) to m for any a,m coercible to Integer
-------------------------------------+-------------------------------------
Reporter: rws | Owner:
Type: defect | Status: needs_info
Priority: major | Milestone: sage-6.9
Component: symbolics | Resolution:
Keywords: | Merged in:
Authors: Ralf Stephan | Reviewers:
Report Upstream: N/A | Work issues:
Branch: | Commit:
u/rws/always_simplify_log_a_m_a__to_m_for_any_a_m_coercible_to_integer|
92d9762ad28880ef81a4781a0eee34b50accc1c6
Dependencies: | Stopgaps:
-------------------------------------+-------------------------------------
Comment (by dkrenn):
{{{
sage: log(QQ(8),2).parent()
Integer Ring
}}}
which is a different behavior compared to the common/similar arithmetic
operations (e.g. `(QQ(2)^ZZ(1)).parent()` is `Rational Field` and not
`Integer Ring`) and I would expect that the logarithm of a rational is
again a rational (and not converted to an integer).
--
Ticket URL: <http://trac.sagemath.org/ticket/18970#comment:7>
Sage <http://www.sagemath.org>
Sage: Creating a Viable Open Source Alternative to Magma, Maple, Mathematica,
and MATLAB
--
You received this message because you are subscribed to the Google Groups
"sage-trac" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to [email protected].
To post to this group, send email to [email protected].
Visit this group at http://groups.google.com/group/sage-trac.
For more options, visit https://groups.google.com/d/optout.
