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.
