On Thu, Jun 7, 2012 at 10:13 AM, Oleksandr Kazymyrov
<[email protected]> wrote:
> Hi all,
>
> I have next code for checking CCZ-equivalence of two vectorial Boolean
> functions in magma:
> n:=7;
> GF:= FiniteField(2,n);
> a:=PrimitiveElement(GF);
>
> // returns the linear Code with columns (1,x,f(x))
> function CF(f)
> M:=Matrix( 2*n+1, 2^n, [1: x in GF] cat [Trace(a^i * x): x in GF, i in
> [1..n]] cat [Trace(a^i * f(x)): x in GF, i in [1..n]]);
> return LinearCode( M );
> end function;
>
> f:=func<x | x^3 >;
>
> g:=func<x | x^5 >;
>
> if IsIsomorphic(CF(f),CF(g)) eq false
> then "f and g are NOT equivalent";
> else "f and g are equivalent" ;
> end if;
>
>
> I can't find analogue of IsIsomorphic in sage.It is the main problem of
> converting code to sage. Is sage has similar function? Or how to implement
> it?

Do you want something like the LinearCode method is_permutation_equivalent?

>
> Best regards,
> Oleksandr
>
> --
> To post to this group, send email to [email protected]
> To unsubscribe from this group, send email to
> [email protected]
> For more options, visit this group at
> http://groups.google.com/group/sage-support
> URL: http://www.sagemath.org

-- 
To post to this group, send email to [email protected]
To unsubscribe from this group, send email to 
[email protected]
For more options, visit this group at 
http://groups.google.com/group/sage-support
URL: http://www.sagemath.org

Reply via email to