On Tue, Apr 18, 2023 at 07:48:48AM -0700, Sid Andal wrote:
>
> The following two vectors
>
> U := [2, 3, 4]
> V := [7, 8, 9]
>
> are in a 3-Dim Alg over the PAdicRational(13).
>
> Is there a way to rewrite their product
>
> 2 2 3
> W := [6 + 13 + 7 13 , 1 + 9 13 + 7 13 , 8 13 + 7 13 ]
>
> in a different form where the powers of 13 are factored out of the brackets
> per the following?
>
> 2
> 3
> W := [6, 1, 0] + [1, 9, 8] 13 + [7, 7, 0] 13 + [0, 0, 7] 13
>
You did not write what your really want. Do you want internal
structure to be as above? If yes, than you need new domain
for vectors (or whatever aggregate you use). Such domain would
have to do similar things to what PAdicRational is doing, but
using stream of vectors (or more general aggregates).
If all what you want is printing, then you should be able to
produce printouts using digits extraction (say via 'approximate').
--
Waldek Hebisch
--
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 [email protected].
To view this discussion on the web visit
https://groups.google.com/d/msgid/fricas-devel/20230420004914.mpc5yp5ybwn7o6fe%40fricas.math.uni.wroc.pl.
