#11912: Clarify simplify_radical and Maxima's radcan
-----------------------------+----------------------------------------------
Reporter: kcrisman | Owner: mvngu
Type: enhancement | Status: new
Priority: minor | Milestone: sage-4.7.2
Component: documentation | Keywords:
Work_issues: | Upstream: N/A
Reviewer: | Author:
Merged: | Dependencies:
-----------------------------+----------------------------------------------
We use Maxima's
[http://maxima.sourceforge.net/docs/manual/en/maxima_9.html#Item_003a-
radcan radcan] (warning - link may change) for {{{simplify_radical}}}.
The documentation claims
{{{
Simplifies expr, which can contain logs, exponentials, and radicals, by
converting it into a form which is canonical over a large class of
expressions
and a given ordering of variables; that is, all functionally equivalent
forms
are mapped into a unique form. For a somewhat larger class of expressions,
radcan produces a regular form. Two equivalent expressions in this class
do
not necessarily have the same appearance, but their difference can be
simplified by radcan to zero.
For some expressions radcan is quite time consuming. This is the cost of
exploring certain relationships among the components of the expression for
simplifications based on factoring and partial-fraction expansions of
exponents.
}}}
but it can be really hard to tell exactly what this all means. See
[http://ask.sagemath.org/question/767/simplification-errors-in-simple-
expressions this ask.sagemath.org question] and #8497, to which this is a
followup.
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/11912>
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 post to this group, send email to [email protected].
To unsubscribe from this group, send email to
[email protected].
For more options, visit this group at
http://groups.google.com/group/sage-trac?hl=en.
