Comment #45 on issue 93 by smi...@gmail.com: Square root denesting
http://code.google.com/p/sympy/issues/detail?id=93
trivial example of nsimplify being wrong
nsimplify(sqrt(3)+pi*1e-50)
sqrt(3)
(sqrt(3)+pi*1e-50).equals(sqrt(3))
False
--
You received this message because this project is
Comment #44 on issue 93 by mario.pe...@gmail.com: Square root denesting
http://code.google.com/p/sympy/issues/detail?id=93
But as far as I understand, nsimplify() is just a numeric heuristic. It's
possible to get two expressions that are very close (closer than the
given precision), but not
Comment #43 on issue 93 by asmeu...@gmail.com: Square root denesting
http://code.google.com/p/sympy/issues/detail?id=93
But as far as I understand, nsimplify() is just a numeric heuristic. It's
possible to get two expressions that are very close (closer than the given
precision), but not
Comment #38 on issue 93 by smi...@gmail.com: Square root denesting
http://code.google.com/p/sympy/issues/detail?id=93
Would this be solved by the upgrade to sqrtdenest? It should simplify to
zero.
z
-sqrt(2)*sqrt(sqrt(5) + 5)/4 - sqrt(10)*sqrt(sqrt(5) + 5
)/20 + sqrt(5)*sqrt(2*sqrt(5) +
Comment #39 on issue 93 by mario.pe...@gmail.com: Square root denesting
http://code.google.com/p/sympy/issues/detail?id=93
Combination of radicals is not implemented; there is a section on this
in http://www.almaden.ibm.com/cs/people/fagin/symb85.pdf
In many cases one can use
Comment #40 on issue 93 by asmeu...@gmail.com: Square root denesting
http://code.google.com/p/sympy/issues/detail?id=93
Unfortunately minpoly is too slow for nontrivial expressions. If there were
a nice heuristic on when to use it, that would be good. I also recall there
are several bugs.
Comment #41 on issue 93 by smi...@gmail.com: Square root denesting
http://code.google.com/p/sympy/issues/detail?id=93
nsimplify, even with hints, is very fast as resolving such expressions:
a=sqrt(1 + sqrt(3)) + sqrt(3 + 3*sqrt(3)) - sqrt(10 + 6*sqrt(3))
b=(-sqrt(2)*sqrt(sqrt(5) + 5)/4 -
Comment #42 on issue 93 by smi...@gmail.com: Square root denesting
http://code.google.com/p/sympy/issues/detail?id=93
Here's how that expression arose:
RegularPolygon((1,0),1,5)
RegularPolygon(Point(1, 0), 1, 5, 0)
s=_.sides[0];s
Segment(Point(sqrt(5)/4 + 3/4, sqrt(sqrt(5)/8 + 5/8)),
Updates:
Labels: -CodeInDifficulty-Hard
Comment #37 on issue 93 by asmeu...@gmail.com: Square root denesting
http://code.google.com/p/sympy/issues/detail?id=93
(No comment was entered for this change.)
--
You received this message because you are subscribed to the Google Groups
Comment #34 on issue 93 by mario.pe...@gmail.com: Square root denesting
http://code.google.com/p/sympy/issues/detail?id=93
It would be nice to have denesting of combination of radicals; WolframAlpha
has it.
--
You received this message because you are subscribed to the Google Groups
Comment #33 on issue 93 by smi...@gmail.com: Square root denesting
http://code.google.com/p/sympy/issues/detail?id=93
Should this still remain open for the addition in comment 30?
--
You received this message because you are subscribed to the Google Groups
sympy-issues group.
To post to this
Comment #31 on issue 93 by mario.pe...@gmail.com: Square root denesting
http://code.google.com/p/sympy/issues/detail?id=93
In https://github.com/sympy/sympy/pull/1131 the example in the
inspiring document Denest_en.pdf by jnebos
`sqrt(8 - sqrt(2)*sqrt(5 - sqrt(5)) - sqrt(3)*(1 + sqrt(5)))`
is
Comment #30 on issue 93 by mario.pe...@gmail.com: Square root denesting
http://code.google.com/p/sympy/issues/detail?id=93
In https://github.com/sympy/sympy/pull/983 it is implemented the last
section
of http://www.almaden.ibm.com/cs/people/fagin/symb85.pdf
Denesting arbitrary formulas of
Updates:
Labels: -NeedsReview
Comment #28 on issue 93 by smi...@gmail.com: Square root denesting
http://code.google.com/p/sympy/issues/detail?id=93
Mario's work has been committed. Perhaps he would be a good one to write a
comment here suggesting what yet needs to be done.
--
You
Updates:
Cc: mario.pe...@gmail.com
Comment #29 on issue 93 by asmeu...@gmail.com: Square root denesting
http://code.google.com/p/sympy/issues/detail?id=93
(No comment was entered for this change.)
--
You received this message because you are subscribed to the Google Groups
Updates:
Labels: NeedsReview
Comment #27 on issue 93 by asmeu...@gmail.com: Square root denesting
http://code.google.com/p/sympy/issues/detail?id=93
(No comment was entered for this change.)
--
You received this message because you are subscribed to the Google Groups
sympy-issues
Updates:
Labels: NeedsReview
Comment #27 on issue 93 by asmeu...@gmail.com: Square root denesting
http://code.google.com/p/sympy/issues/detail?id=93
(No comment was entered for this change.)
--
You received this message because you are subscribed to the Google Groups
sympy-patches
Comment #26 on issue 93 by mario.pe...@gmail.com: Square root denesting
http://code.google.com/p/sympy/issues/detail?id=93
`sqrtdenest` does not denest the following example (appearing with XFAIL in
test_sqrtdenest.py)
```
sqrtdenest(sqrt(16-2*sqrt(29)+2*sqrt(55-10*sqrt(29
Comment #24 on issue 93 by smi...@gmail.com: Square root denesting
http://code.google.com/p/sympy/issues/detail?id=93
Here are two more papers that may be of interest;
http://www.springerlink.com/content/bv5m067w4q2141m2/fulltext.pdf
and one Landua (author of above) references:
Comment #25 on issue 93 by smi...@gmail.com: Square root denesting
http://code.google.com/p/sympy/issues/detail?id=93
(The first ref in previous is the same as comment 18's reference.)
Another reference is http://books.google.com.np/books?id=MUgsCkndkdsC
starting at page 53 (search for
Updates:
Labels: CodeIn-Code CodeIn-Hard
Comment #19 on issue 93 by asmeu...@gmail.com: Square root denesting
http://code.google.com/p/sympy/issues/detail?id=93
(No comment was entered for this change.)
--
You received this message because you are subscribed to the Google Groups
Updates:
Labels: -CodeIn-Code CodeInCategory-Code
Comment by asmeu...@gmail.com:
(No comment was entered for this change.)
Affected issues:
issue 93: Square root denesting
http://code.google.com/p/sympy/issues/detail?id=93
--
You received this message because you are listed in
Comment #18 on issue 93 by asmeurer: Square root denesting
http://code.google.com/p/sympy/issues/detail?id=93
WIkipedia gives this paper, which seems to have more advanced techniques
than the one already given. I haven't
looked at it much, but it may be useful here too.
Comment #17 on issue 93 by jnebos: Square root denesting
http://code.google.com/p/sympy/issues/detail?id=93
Lots of questions, but no easy answers.
I'll do my best to answer all of them.
- Yes, it is a simple program that allows to do the different steps of the
process, going up and down the
Comment #15 on issue 93 by jnebos: Square root denesting
http://code.google.com/p/sympy/issues/detail?id=93
I translated the thoughts document in English, so I dare upload it. For
your reading pleasure ;-)
I am happy to discuss things, but I don't think I can code everything.
(There is some
Comment #16 on issue 93 by asmeurer: Square root denesting
http://code.google.com/p/sympy/issues/detail?id=93
Do you mean interactive code that you have on your computer? It would
probably help anyway if you could
upload it to a branch on github. What are the parts that are not
automatic?
Comment #14 on issue 93 by jnebos: Square root denesting
http://code.google.com/p/sympy/issues/detail?id=93
I still have some ideas about it, but I never got to implement them. I'll
translate my notes and put them up.
(Anybody read Dutch? :-)
--
You received this message because you are
Updates:
Status: Accepted
Comment #13 on issue 93 by asmeurer: Square root denesting
http://code.google.com/p/sympy/issues/detail?id=93
Looking at the example at the end of the paper, I would say that it isn't
all implemented yet:
In [15]: sqrt((112 + 70*sqrt(2)) + (46 +
Hi Jurjen,
On Sun, Apr 20, 2008 at 12:13:22PM +0200, Jurjen N.E. Bos wrote:
Op 19-apr-2008, om 18:58 heeft [EMAIL PROTECTED] het
volgende geschreven:
Issue 93: Square root denesting
http://code.google.com/p/sympy/issues/detail?id=93
Comment #11 by kirill.smelkov:
At present we
Op 19-apr-2008, om 18:58 heeft [EMAIL PROTECTED] het
volgende geschreven:
Issue 93: Square root denesting
http://code.google.com/p/sympy/issues/detail?id=93
Comment #11 by kirill.smelkov:
At present we have sqrtdenest written by David:
In [1]: sqrtdenest(sqrt(14+4*sqrt(6)))
Out[1]:
30 matches
Mail list logo
