Hello here,
I am struggling with PAdicInteger for comparisons before implementing a
Q-adic number interface implementation (FLINT based).
I wonder why, and more importantly for me where the "precision" is
implemented in FriCAS (Clifton J. Williamson). Apparently 11 is used, but
where this is implemented is cryptic to me. Here is a simple example:
(6) -> 19::PAdicInteger(7)
(6) 5 + 2 7
Type: PAdicInteger(7)
Time: 0.01 (OT) = 0.02 sec
(7) -> %^7
3 4 5 6 8 9 10 11
(7) 5 + 2 7 + 3 7 + 3 7 + 5 7 + 2 7 + 7 + 7 + 3 7 + O(7 )
Type: PAdicInteger(7)
Time: 0 sec
So, my principal concern is to know where it is implemented. I looked at
padic.spad, stream.spad without finding where I can understand and
eventually temporary modify this parameter. I would be happy if you have
some informations.
By the way padic.spad contains several doublons in the different domains
description for the keyword "Keywords" with sometimes no description,
sometimes using "completion" and sometimes complementations. Example:
)abbrev domain PADICRAT PAdicRational
++ Author: Clifton J. Williamson
++ Date Created: 15 May 1990
++ Keywords: p-adic, complementation
++ Basic Operations:
++ Related Domains:
++ Also See:
++ AMS Classifications:
++ Keywords: p-adic, completion
++ Examples:
Greg
--
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/CAHnU2dZ0h13_rLJSMm0janF4JFMFns7Z_69T93U_Myyy7%2BdCBA%40mail.gmail.com.
