Dear Fabio,
Maybe you specify your actual problem in a bit more detail. I guess, you
don't want to write just a function f(n,p). What is your context?
Maybe you should completely work in PF(p).
(1) -> n:PF(7) := 3
(1) 3
Type: PrimeField 7
(2) -> n*n
(2) 2
Type: PrimeField 7
Would this help?
Perhaps someone on the list knows how the resulting 2 can be converted
back to NNI.
Ralf
_______________________________________________
Axiom-math mailing list
Axiom-math@nongnu.org
http://lists.nongnu.org/mailman/listinfo/axiom-math
