Sorry for the non ASCII mail but the exponents are badly written and in fact completely deleted for the big-oh.
Le jeu. 3 avr. 2025 à 20:30, Grégory Vanuxem <g.vanu...@gmail.com> a écrit : > 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/CAHnU2dYFeBory6zsR2FEGN0uuJ-utoq3GdnKXYXJzLPkPGemeg%40mail.gmail.com.
