ift debug

[nathan paczan]

I'm trying to debug ift. Can someone please verify these values...

untie [3,4,1,0] = ([3,4] , [1,0])
inverse 5 2 = 3
scalarMult inv2 (add r s m) m = [2,2]
invpowers [3,4] 5 2 = [1,2]
map (modM 5) (pointMult (scalarMult 3 (sub [3,4] [1,0] 5) 5) [1,2] 5) =
[1,4]
ift [2,2] 5 4 = [2,0]
ift [1,4] 5 4 = [0,1]
zp [2,0] [0,1] = [2,0,0,1]

thanks.

[nathan paczan]

scalarMult 3 (add [3,4] [1,0] 5) 5 = [2,2]
I'm trying to debug ift. Can someone please verify these values...
untie [3,4,1,0] = ([3,4] , [1,0])
inverse 5 2 = 3
scalarMult inv2 (add r s m) m = [2,2]
invpowers [3,4] 5 2 = [1,2]
map (modM 5) (pointMult (scalarMult 3 (sub [3,4] [1,0] 5) 5) [1,2] 5) =
[1,4]
ift [2,2] 5 4 = [2,0]
ift [1,4] 5 4 = [0,1]
zp [2,0] [0,1] = [2,0,0,1]
thanks.

[Josh]

Post by nathan paczan
invpowers [3,4] 5 2 = [1,2]

i got [1,3]

that is the only difference with your outputs and mine.

Post by nathan paczan
I'm trying to debug ift. Can someone please verify these values...
untie [3,4,1,0] = ([3,4] , [1,0])
inverse 5 2 = 3
scalarMult inv2 (add r s m) m = [2,2]
invpowers [3,4] 5 2 = [1,2]
map (modM 5) (pointMult (scalarMult 3 (sub [3,4] [1,0] 5) 5) [1,2] 5) =
[1,4]
ift [2,2] 5 4 = [2,0]
ift [1,4] 5 4 = [0,1]
zp [2,0] [0,1] = [2,0,0,1]
thanks.