Oh thanks. I know it is based on "infinite" stream (lazy aggregate), but
how to modify its limits was cryptic to me.
Many thanks Ralf, I think this is what I was looking for.

Greg

PS: that helps a lot ;)

Le jeu. 3 avr. 2025 à 21:08, 'Ralf Hemmecke' via FriCAS - computer algebra
system <fricas-devel@googlegroups.com> a écrit :

> Hi Greg,
>
> I bet, the "precision" is infinite.
>
> You can see this from its representation.
>
> https://github.com/fricas/fricas/blob/master/src/algebra/padic.spad#L77
>
> It is a Stream for the coefficients. And that is an potentially infinite
> object. (OK, it is a finite stream of coefficients for i^7. But -i looks
> pretty infiniite to me.
>
> Use ")set stream calculate n" to determine how many "digits" are
> printed. That system command will, however, not change the "precision.
> It's still infinite.
>
> Hope that helps
> Ralf
>
>
> %%% (2) -> i:=19::PAdicInteger(7)
>
>     (2)  5 + 2 7
>                                            Type: PAdicInteger(7)
> %%% (3) -> i^7
>
>                       3      4      5      6    8    9      10      11
>     (3)  5 + 2 7 + 3 7  + 3 7  + 5 7  + 2 7  + 7  + 7  + 3 7   + O(7  )
>                                            Type: PAdicInteger(7)
> %%% (4) -> )set stream calc 4
>
> %%% (4) -> i^7
>
>                       3      4      5
>     (4)  5 + 2 7 + 3 7  + 3 7  + O(7 )
>                                            Type: PAdicInteger(7)
> %%% (5) -> )set stream calc 40
>
> %%% (5) -> i^7
>
>                       3      4      5      6    8    9      10
>     (5)  5 + 2 7 + 3 7  + 3 7  + 5 7  + 2 7  + 7  + 7  + 3 7
>                                            Type: PAdicInteger(7)
> %%% (7) -> -i
>
>     (7)
>                    2      3      4      5      6      7      8      9
>    10
>       2 + 4 7 + 6 7  + 6 7  + 6 7  + 6 7  + 6 7  + 6 7  + 6 7  + 6 7  + 6 7
>     +
>          11      12      13      14      15      16      17      18      19
>       6 7   + 6 7   + 6 7   + 6 7   + 6 7   + 6 7   + 6 7   + 6 7   + 6 7
>     +
>          20      21      22      23      24      25      26      27      28
>       6 7   + 6 7   + 6 7   + 6 7   + 6 7   + 6 7   + 6 7   + 6 7   + 6 7
>     +
>          29      30      31      32      33      34      35      36      37
>       6 7   + 6 7   + 6 7   + 6 7   + 6 7   + 6 7   + 6 7   + 6 7   + 6 7
>     +
>          38      39      40      41
>       6 7   + 6 7   + 6 7   + O(7  )
>                                             Type: PAdicInteger(7)
>
> --
> You received this message because you are subscribed to the Google Groups
> "FriCAS - computer algebra system" group.
> To unsubscribe from this group and stop receiving emails from it, send an
> email to fricas-devel+unsubscr...@googlegroups.com.
> To view this discussion visit
> https://groups.google.com/d/msgid/fricas-devel/2c428ba8-cb39-4cec-99a2-1ea8d99d90f4%40hemmecke.org
> .
>

-- 
You received this message because you are subscribed to the Google Groups 
"FriCAS - computer algebra system" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to fricas-devel+unsubscr...@googlegroups.com.
To view this discussion visit 
https://groups.google.com/d/msgid/fricas-devel/CAHnU2db9TAHdE0LP2no7a045YHf2xpbYvCkGiHKZvNe2%3DWbjgg%40mail.gmail.com.

Reply via email to