Original Date: Sun, 13 Mar 2005 08:44:43 -0600 fricas (1) -> series(sin(x),
Type: UnivariatePuiseuxSeries?(Expression Complex Integer,x,)
^^
but for Integer for example
Type: UnivariatePuiseuxSeries?(Expression Integer,x,0)
With binary infix operator in expansion point,
transform it to fortran (displayed type) -- Sun, 20 Mar 2005 14:33:53 -0600 reply fricas series(sin(x),
fricas series(sin(x),
fricas series(sin(x),
fricas series(sin(x),
file: format.boot.pamphlet Infix Binary Operator: "=" "+" "-" "" "/" "*" "^" (i-output.boot.pamphlet => function isBinaryInfix) function: form2String1 call fortexp0
%i\> .
It's not heavily tested but relatively simple (check it).
See above for details.
Severity: normal => critical
Bill, I think you can change the name of this issue. The problem concerns expansion point that involve binary operator too (for example 1+3*i).
Category: Axiom Compiler => Axiom Interpreter
Status: open => closed
|
|
|
|
last edited 10 years ago by test1 |
![\label{eq1}\begin{array}{@{}l}
\displaystyle
{\sin \left({i}\right)}+{{\cos \left({i}\right)}\ {\left(x - i \right)}}-{{\frac{\sin \left({i}\right)}{2}}\ {{\left(x - i \right)}^{2}}}-
\
\
\displaystyle
{{\frac{\cos \left({i}\right)}{6}}\ {{\left(x - i \right)}^{3}}}+{{\frac{\sin \left({i}\right)}{24}}\ {{\left(x - i \right)}^{4}}}+
\
\
\displaystyle
{{\frac{\cos \left({i}\right)}{120}}\ {{\left(x - i \right)}^{5}}}-{{\frac{\sin \left({i}\right)}{720}}\ {{\left(x - i \right)}^{6}}}-
\
\
\displaystyle
{{\frac{\cos \left({i}\right)}{5040}}\ {{\left(x - i \right)}^{7}}}+{{\frac{\sin \left({i}\right)}{40320}}\ {{\left(x - i \right)}^{8}}}+
\
\
\displaystyle
{{\frac{\cos \left({i}\right)}{362880}}\ {{\left(x - i \right)}^{9}}}-{{\frac{\sin \left({i}\right)}{3628800}}\ {{\left(x - i \right)}^{10}}}+
\
\
\displaystyle
{O \left({{\left(x - i \right)}^{11}}\right)}](images/2443286248505422182-16.0px.png "\label{eq1}\begin{array}{@{}l}
\displaystyle
{\sin \left({i}\right)}+{{\cos \left({i}\right)}\ {\left(x - i \right)}}-{{\frac{\sin \left({i}\right)}{2}}\ {{\left(x - i \right)}^{2}}}-
\
\
\displaystyle
{{\frac{\cos \left({i}\right)}{6}}\ {{\left(x - i \right)}^{3}}}+{{\frac{\sin \left({i}\right)}{24}}\ {{\left(x - i \right)}^{4}}}+
\
\
\displaystyle
{{\frac{\cos \left({i}\right)}{120}}\ {{\left(x - i \right)}^{5}}}-{{\frac{\sin \left({i}\right)}{720}}\ {{\left(x - i \right)}^{6}}}-
\
\
\displaystyle
{{\frac{\cos \left({i}\right)}{5040}}\ {{\left(x - i \right)}^{7}}}+{{\frac{\sin \left({i}\right)}{40320}}\ {{\left(x - i \right)}^{8}}}+
\
\
\displaystyle
{{\frac{\cos \left({i}\right)}{362880}}\ {{\left(x - i \right)}^{9}}}-{{\frac{\sin \left({i}\right)}{3628800}}\ {{\left(x - i \right)}^{10}}}+
\
\
\displaystyle
{O \left({{\left(x - i \right)}^{11}}\right)}")
MARG + 3
------------------------
Each message may contain formatting codes and and parameter codes.
The formatting codes are:
%b turn on bright printing
%ceoff turn off centering
%ceon turn on centering
%d turn off bright printing
%f user defined printing
%i start indentation of 3 more spaces
%l start a new line
%m math-print an expression
%rjoff turn off right justification (actually ragged left)
%rjon turn on right justification (actually ragged left)
%s pretty-print as an S-expression
%u unindent 3 spaces
%x# insert # spaces
![\label{eq2}\begin{array}{@{}l}
\displaystyle
1 -{{\frac{1}{2}}\ {{\left(x -{\frac{\pi}{2}}\right)}^{2}}}+{{\frac{1}{2
4}}\ {{\left(x -{\frac{\pi}{2}}\right)}^{4}}}-
\
\
\displaystyle
{{\frac{1}{720}}\ {{\left(x -{\frac{\pi}{2}}\right)}^{6}}}+{{\frac{1}{4
0320}}\ {{\left(x -{\frac{\pi}{2}}\right)}^{8}}}-
\
\
\displaystyle
{{\frac{1}{3628800}}\ {{\left(x -{\frac{\pi}{2}}\right)}^{10}}}+{O \left({{\left(x -{\frac{\pi}{2}}\right)}^{11}}\right)}](images/5947443819965653426-16.0px.png "\label{eq2}\begin{array}{@{}l}
\displaystyle
1 -{{\frac{1}{2}}\ {{\left(x -{\frac{\pi}{2}}\right)}^{2}}}+{{\frac{1}{2
4}}\ {{\left(x -{\frac{\pi}{2}}\right)}^{4}}}-
\
\
\displaystyle
{{\frac{1}{720}}\ {{\left(x -{\frac{\pi}{2}}\right)}^{6}}}+{{\frac{1}{4
0320}}\ {{\left(x -{\frac{\pi}{2}}\right)}^{8}}}-
\
\
\displaystyle
{{\frac{1}{3628800}}\ {{\left(x -{\frac{\pi}{2}}\right)}^{10}}}+{O \left({{\left(x -{\frac{\pi}{2}}\right)}^{11}}\right)}")
![\label{eq3}\begin{array}{@{}l}
\displaystyle
{\sin \left({e}\right)}+{{\cos \left({e}\right)}\ {\left(x - e \right)}}-{{\frac{\sin \left({e}\right)}{2}}\ {{\left(x - e \right)}^{2}}}-
\
\
\displaystyle
{{\frac{\cos \left({e}\right)}{6}}\ {{\left(x - e \right)}^{3}}}+{{\frac{\sin \left({e}\right)}{24}}\ {{\left(x - e \right)}^{4}}}+
\
\
\displaystyle
{{\frac{\cos \left({e}\right)}{120}}\ {{\left(x - e \right)}^{5}}}-{{\frac{\sin \left({e}\right)}{720}}\ {{\left(x - e \right)}^{6}}}-
\
\
\displaystyle
{{\frac{\cos \left({e}\right)}{5040}}\ {{\left(x - e \right)}^{7}}}+{{\frac{\sin \left({e}\right)}{40320}}\ {{\left(x - e \right)}^{8}}}+
\
\
\displaystyle
{{\frac{\cos \left({e}\right)}{362880}}\ {{\left(x - e \right)}^{9}}}-{{\frac{\sin \left({e}\right)}{3628800}}\ {{\left(x - e \right)}^{10}}}+
\
\
\displaystyle
{O \left({{\left(x - e \right)}^{11}}\right)}](images/6088568700933748932-16.0px.png "\label{eq3}\begin{array}{@{}l}
\displaystyle
{\sin \left({e}\right)}+{{\cos \left({e}\right)}\ {\left(x - e \right)}}-{{\frac{\sin \left({e}\right)}{2}}\ {{\left(x - e \right)}^{2}}}-
\
\
\displaystyle
{{\frac{\cos \left({e}\right)}{6}}\ {{\left(x - e \right)}^{3}}}+{{\frac{\sin \left({e}\right)}{24}}\ {{\left(x - e \right)}^{4}}}+
\
\
\displaystyle
{{\frac{\cos \left({e}\right)}{120}}\ {{\left(x - e \right)}^{5}}}-{{\frac{\sin \left({e}\right)}{720}}\ {{\left(x - e \right)}^{6}}}-
\
\
\displaystyle
{{\frac{\cos \left({e}\right)}{5040}}\ {{\left(x - e \right)}^{7}}}+{{\frac{\sin \left({e}\right)}{40320}}\ {{\left(x - e \right)}^{8}}}+
\
\
\displaystyle
{{\frac{\cos \left({e}\right)}{362880}}\ {{\left(x - e \right)}^{9}}}-{{\frac{\sin \left({e}\right)}{3628800}}\ {{\left(x - e \right)}^{10}}}+
\
\
\displaystyle
{O \left({{\left(x - e \right)}^{11}}\right)}")
![\label{eq4}\begin{array}{@{}l}
\displaystyle
{\sin \left({e + 3}\right)}+{{\cos \left({e + 3}\right)}\ {\left(x -{\left(e + 3 \right)}\right)}}-
\
\
\displaystyle
{{\frac{\sin \left({e + 3}\right)}{2}}\ {{\left(x -{\left(e + 3 \right)}\right)}^{2}}}-
\
\
\displaystyle
{{\frac{\cos \left({e + 3}\right)}{6}}\ {{\left(x -{\left(e + 3 \right)}\right)}^{3}}}+
\
\
\displaystyle
{{\frac{\sin \left({e + 3}\right)}{24}}\ {{\left(x -{\left(e + 3 \right)}\right)}^{4}}}+
\
\
\displaystyle
{{\frac{\cos \left({e + 3}\right)}{120}}\ {{\left(x -{\left(e + 3 \right)}\right)}^{5}}}-
\
\
\displaystyle
{{\frac{\sin \left({e + 3}\right)}{720}}\ {{\left(x -{\left(e + 3 \right)}\right)}^{6}}}-
\
\
\displaystyle
{{\frac{\cos \left({e + 3}\right)}{5040}}\ {{\left(x -{\left(e + 3 \right)}\right)}^{7}}}+
\
\
\displaystyle
{{\frac{\sin \left({e + 3}\right)}{40320}}\ {{\left(x -{\left(e + 3 \right)}\right)}^{8}}}+
\
\
\displaystyle
{{\frac{\cos \left({e + 3}\right)}{362880}}\ {{\left(x -{\left(e + 3 \right)}\right)}^{9}}}-
\
\
\displaystyle
{{\frac{\sin \left({e + 3}\right)}{3628800}}\ {{\left(x -{\left(e + 3 \right)}\right)}^{10}}}+{O \left({{\left(x -{\left(e + 3 \right)}\right)}^{11}}\right)}](images/6894465148247881101-16.0px.png "\label{eq4}\begin{array}{@{}l}
\displaystyle
{\sin \left({e + 3}\right)}+{{\cos \left({e + 3}\right)}\ {\left(x -{\left(e + 3 \right)}\right)}}-
\
\
\displaystyle
{{\frac{\sin \left({e + 3}\right)}{2}}\ {{\left(x -{\left(e + 3 \right)}\right)}^{2}}}-
\
\
\displaystyle
{{\frac{\cos \left({e + 3}\right)}{6}}\ {{\left(x -{\left(e + 3 \right)}\right)}^{3}}}+
\
\
\displaystyle
{{\frac{\sin \left({e + 3}\right)}{24}}\ {{\left(x -{\left(e + 3 \right)}\right)}^{4}}}+
\
\
\displaystyle
{{\frac{\cos \left({e + 3}\right)}{120}}\ {{\left(x -{\left(e + 3 \right)}\right)}^{5}}}-
\
\
\displaystyle
{{\frac{\sin \left({e + 3}\right)}{720}}\ {{\left(x -{\left(e + 3 \right)}\right)}^{6}}}-
\
\
\displaystyle
{{\frac{\cos \left({e + 3}\right)}{5040}}\ {{\left(x -{\left(e + 3 \right)}\right)}^{7}}}+
\
\
\displaystyle
{{\frac{\sin \left({e + 3}\right)}{40320}}\ {{\left(x -{\left(e + 3 \right)}\right)}^{8}}}+
\
\
\displaystyle
{{\frac{\cos \left({e + 3}\right)}{362880}}\ {{\left(x -{\left(e + 3 \right)}\right)}^{9}}}-
\
\
\displaystyle
{{\frac{\sin \left({e + 3}\right)}{3628800}}\ {{\left(x -{\left(e + 3 \right)}\right)}^{10}}}+{O \left({{\left(x -{\left(e + 3 \right)}\right)}^{11}}\right)}")
![\label{eq5}\begin{array}{@{}l}
\displaystyle
{\sin \left({7 + i}\right)}+{{\cos \left({7 + i}\right)}\ {\left(x -{\left(7 + i \right)}\right)}}-
\
\
\displaystyle
{{\frac{\sin \left({7 + i}\right)}{2}}\ {{\left(x -{\left(7 + i \right)}\right)}^{2}}}-
\
\
\displaystyle
{{\frac{\cos \left({7 + i}\right)}{6}}\ {{\left(x -{\left(7 + i \right)}\right)}^{3}}}+
\
\
\displaystyle
{{\frac{\sin \left({7 + i}\right)}{24}}\ {{\left(x -{\left(7 + i \right)}\right)}^{4}}}+
\
\
\displaystyle
{{\frac{\cos \left({7 + i}\right)}{120}}\ {{\left(x -{\left(7 + i \right)}\right)}^{5}}}-
\
\
\displaystyle
{{\frac{\sin \left({7 + i}\right)}{720}}\ {{\left(x -{\left(7 + i \right)}\right)}^{6}}}-
\
\
\displaystyle
{{\frac{\cos \left({7 + i}\right)}{5040}}\ {{\left(x -{\left(7 + i \right)}\right)}^{7}}}+
\
\
\displaystyle
{{\frac{\sin \left({7 + i}\right)}{40320}}\ {{\left(x -{\left(7 + i \right)}\right)}^{8}}}+
\
\
\displaystyle
{{\frac{\cos \left({7 + i}\right)}{362880}}\ {{\left(x -{\left(7 + i \right)}\right)}^{9}}}-
\
\
\displaystyle
{{\frac{\sin \left({7 + i}\right)}{3628800}}\ {{\left(x -{\left(7 + i \right)}\right)}^{10}}}+{O \left({{\left(x -{\left(7 + i \right)}\right)}^{11}}\right)}](images/7411209613193287504-16.0px.png "\label{eq5}\begin{array}{@{}l}
\displaystyle
{\sin \left({7 + i}\right)}+{{\cos \left({7 + i}\right)}\ {\left(x -{\left(7 + i \right)}\right)}}-
\
\
\displaystyle
{{\frac{\sin \left({7 + i}\right)}{2}}\ {{\left(x -{\left(7 + i \right)}\right)}^{2}}}-
\
\
\displaystyle
{{\frac{\cos \left({7 + i}\right)}{6}}\ {{\left(x -{\left(7 + i \right)}\right)}^{3}}}+
\
\
\displaystyle
{{\frac{\sin \left({7 + i}\right)}{24}}\ {{\left(x -{\left(7 + i \right)}\right)}^{4}}}+
\
\
\displaystyle
{{\frac{\cos \left({7 + i}\right)}{120}}\ {{\left(x -{\left(7 + i \right)}\right)}^{5}}}-
\
\
\displaystyle
{{\frac{\sin \left({7 + i}\right)}{720}}\ {{\left(x -{\left(7 + i \right)}\right)}^{6}}}-
\
\
\displaystyle
{{\frac{\cos \left({7 + i}\right)}{5040}}\ {{\left(x -{\left(7 + i \right)}\right)}^{7}}}+
\
\
\displaystyle
{{\frac{\sin \left({7 + i}\right)}{40320}}\ {{\left(x -{\left(7 + i \right)}\right)}^{8}}}+
\
\
\displaystyle
{{\frac{\cos \left({7 + i}\right)}{362880}}\ {{\left(x -{\left(7 + i \right)}\right)}^{9}}}-
\
\
\displaystyle
{{\frac{\sin \left({7 + i}\right)}{3628800}}\ {{\left(x -{\left(7 + i \right)}\right)}^{10}}}+{O \left({{\left(x -{\left(7 + i \right)}\right)}^{11}}\right)}")