Changes between Initial Version and Version 5 of Ticket #14736


Ignore:
Timestamp:
11/30/15 18:51:35 (5 years ago)
Author:
kcrisman
Comment:

Legend:

Unmodified
Added
Removed
Modified
  • Ticket #14736

    • Property Milestone changed from sage-5.11 to sage-6.4
  • Ticket #14736 – Description

    initial v5  
    66}}}
    77Note that `to_poly_solve=True` does work.
     8
     9This is basically the same as [http://ask.sagemath.org/question/31191/using-solve-with-trigonometric-functions/ this ask.sagemath question], by the way.
     10
     11{{{
     12sage: solve(tan(3*x)==1, x, to_poly_solve='force'
     13[]
     14}}}
     15
     16We're basically silently failing since we can't translate `%solve` output from Maxima.
     17{{{
     18(%i5) load(to_poly_solve);
     19
     20Loading maxima-grobner $Revision: 1.6 $ $Date: 2009-06-02 07:49:49 $
     21(%o5) /Users/.../sage-6.9/local/share/maxima/5.35.1/share/t\
     22o_poly_solve/to_poly_solve.mac
     23(%i6) %solve(tan(3*x)=1,x);
     24                      2 %pi (12 %z11 + 1)
     25(%o6) %union(%if(3 tan (-----------------) - 1 # 0,
     26                               12
     27                      %pi
     28       - 2 %pi %z11 - ---
     29                       6
     30[x = - ------------------], %union()),
     31               2
     32         2                        2 %pi       2 %pi
     33%if(3 tan ((4 %pi %z7 - %i log(sin (---) + cos (---))
     34                                    12          12
     35                             %pi                      %pi
     36           (sqrt(3) + 1) sin(---) + (sqrt(3) - 1) cos(---)
     37                             12                       12
     38 + 2 atan(-------------------------------------------------) + 2 %pi)/4) - 1 #
     39                            %pi                        %pi
     40          (sqrt(3) - 1) sin(---) + (- sqrt(3) - 1) cos(---)
     41                            12                         12
     42                                %pi        %pi                %pi        %pi
     43                    sqrt(3) sin(---)   sin(---)   sqrt(3) cos(---)   cos(---)
     44                                12         12                 12         12   2
     450, [x = - (%i (log((---------------- + -------- + ---------------- - --------)
     46                           3/2            3/2            3/2            3/2
     47                          2              2              2              2
     48                %pi        %pi                %pi        %pi
     49    sqrt(3) sin(---)   sin(---)   sqrt(3) cos(---)   cos(---)
     50                12         12                 12         12   2
     51 + (---------------- - -------- - ---------------- - --------) )/2
     52           3/2            3/2            3/2            3/2
     53          2              2              2              2
     54                         %pi        %pi         %pi        %pi
     55                     sin(---)   cos(---)    cos(---)   sin(---)
     56                         12         12          12         12
     57            sqrt(3) (-------- + --------)   -------- - --------
     58                     sqrt(2)    sqrt(2)     sqrt(2)    sqrt(2)
     59            ----------------------------- - -------------------
     60                          2                          2
     61 + %i (atan(---------------------------------------------------) + %pi))
     62                         %pi        %pi         %pi        %pi
     63                     sin(---)   cos(---)    sin(---)   cos(---)
     64                         12         12          12         12
     65            sqrt(3) (-------- - --------)   -------- + --------
     66                     sqrt(2)    sqrt(2)     sqrt(2)    sqrt(2)
     67            ----------------------------- - -------------------
     68                          2                          2
     69                                      2
     70 - 2 %pi %z7)/2], %union()), %if(3 tan ((4 %pi %z9
     71                            %pi                      %pi
     72          (sqrt(3) - 1) sin(---) + (sqrt(3) + 1) cos(---)
     73                            12                       12
     74 + 2 atan(-----------------------------------------------)
     75                            %pi                      %pi
     76          (sqrt(3) + 1) sin(---) + (1 - sqrt(3)) cos(---)
     77                            12                       12
     78             2 %pi       2 %pi
     79 - %i log(sin (---) + cos (---)))/4) - 1 # 0,
     80               12          12
     81                               %pi        %pi                %pi        %pi
     82                   sqrt(3) sin(---)   sin(---)   sqrt(3) cos(---)   cos(---)
     83                               12         12                 12         12   2
     84[x = - (%i (log((- ---------------- + -------- - ---------------- - --------)
     85                          3/2            3/2            3/2            3/2
     86                         2              2              2              2
     87                  %pi        %pi                %pi        %pi
     88      sqrt(3) sin(---)   sin(---)   sqrt(3) cos(---)   cos(---)
     89                  12         12                 12         12   2
     90 + (- ---------------- - -------- + ---------------- - --------) )/2
     91             3/2            3/2            3/2            3/2
     92            2              2              2              2
     93                           %pi        %pi         %pi        %pi
     94                       sin(---)   cos(---)    cos(---)   sin(---)
     95                           12         12          12         12
     96              sqrt(3) (-------- + --------)   -------- - --------
     97                       sqrt(2)    sqrt(2)     sqrt(2)    sqrt(2)
     98 + %i atan2(- ----------------------------- - -------------------,
     99                            2                          2
     100      %pi        %pi                 %pi        %pi
     101  sin(---)   cos(---)            sin(---)   cos(---)
     102      12         12                  12         12
     103  -------- + --------   sqrt(3) (-------- - --------)
     104  sqrt(2)    sqrt(2)             sqrt(2)    sqrt(2)
     105- ------------------- - -----------------------------)) - 2 %pi %z9)/2],
     106           2                          2
     107%union()))
     108}}}