Revision history [back]

Does sage use essentially typeless language? If no, is there a way to output type in the shell, preferably always along with the answer. Just like Axiom does it:

(1) -> x := series 'x

   (1)  x
                  Type: UnivariatePuiseuxSeries(Expression(Integer),x,0)
(2) -> (sin x) / (cos x)

            1  3    2  5    17  7    62   9    1382   11      12
   (2)  x + ? x  + ?? x  + ??? x  + ???? x  + ?????? x   + O(x  )
            3      15      315      2835      155925
                  Type: UnivariatePuiseuxSeries(Expression(Integer),x,0)

Does sage use essentially typeless language? If no, is there a way to output type in the shell, preferably always along with the answer. Just like Axiom does it:

(1) -> x := series 'x

   (1)  x
                  Type: UnivariatePuiseuxSeries(Expression(Integer),x,0)
(2) -> (sin x) / (cos x)

            1  3    2  5    17  7    62   9    1382   11      12
   (2)  x + ? x  + ?? x  + ??? x  + ???? x  + ?????? x   + O(x  )
            3      15      315      2835      155925
                  Type: UnivariatePuiseuxSeries(Expression(Integer),x,0)

Does sage use essentially typeless language? If no, is there a way to output type in the shell, preferably always along with the answer. Just like Axiom does it:

(1) -> x := series 'x

   (1)  x
                  Type: UnivariatePuiseuxSeries(Expression(Integer),x,0)
(2) -> (sin x) / (cos x)

            1  3    2  5    17  7    62   9    1382   11      12
   (2)  x + ? x  + ?? x  + ??? x  + ???? x  + ?????? - x  + -- x  + --- x  + ---- x  + ------ x   + O(x  )
            3      15      315      2835      155925
                  Type: UnivariatePuiseuxSeries(Expression(Integer),x,0)