Loading...

sagesupport@googlegroups.com
[Prev] Thread [Next]  [Prev] Date [Next]
[sagesupport] Re: Simplification Issue Implicates Canonical Form Nils Bruin Mon Feb 20 12:01:11 2012
On Feb 18, 5:24 pm, Mark Rahner <[EMAIL PROTECTED]> wrote: > converts 1/sqrt(5) to 1/5*sqrt(5) so I suspect that this issue can be > traced to the GiNaC canonical form. Yes, it does so for a very good reason: By simplifying expressions this way, you're sure to recognize equal expressions. Compare 2/ sqrt(6) and sqrt(6)/3, for instance. You'll easily recognize they're equal if you remove sqrts from the denominator. By sacrificing the apparent simplicity of 1/sqrt(5) to get 1/5*sqrt(5), one big problem in deciding if algebraic numbers are equal disappears completely (there are still other ones, due to the fact that expressions line sqrt(1+sqrt(2)) are ambiguous). It's a standard convention to deal with fractions involving roots. It's often taught in schools.  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/sagesupport URL: http://www.sagemath.org
 [sagesupport] Simplification Issue Implicates Canonical Form Mark Rahner 2012/02/17
 [sagesupport] Re: Simplification Issue Implicates Canonical Form kcrisman 2012/02/17
 [sagesupport] Re: Simplification Issue Implicates Canonical Form Mark Rahner 2012/02/18
 [sagesupport] Re: Simplification Issue Implicates Canonical Form Dox 2012/02/20
 [sagesupport] Re: Simplification Issue Implicates Canonical Form kcrisman 2012/02/20
 [sagesupport] Re: Simplification Issue Implicates Canonical Form Nils Bruin 2012/02/20 <=
 [sagesupport] Re: Simplification Issue Implicates Canonical Form Mark Rahner 2012/02/21
 [sagesupport] Re: Simplification Issue Implicates Canonical Form JamesHDavenport 2012/02/22
 [sagesupport] Re: Simplification Issue Implicates Canonical Form Mark Rahner 2012/02/22
 [sagesupport] Re: Simplification Issue Implicates Canonical Form JamesHDavenport 2012/02/22