Hi Peter, hi Martin,
somehow both approaches I think don't work for me. For example, the square
(m1^2) is carried in both approaches, even though it can be simplified to
m1 in GF(2). I would like sage to account for the GF(2) in order to
simplify terms. For example I would expect that x * (x +
: _ * 2
> x
>
> though the symbolic elemnts still don't know anything about finite fields,
> they just carry the coefficients along.
>
>
>
> On Tuesday, September 30, 2014 3:14:03 PM UTC+1, Kim Schoener wrote:
>>
>> Heya!
>>
>> I want to do something
Heya!
I want to do something relatively easy in Sage but can't figure out how.
Hopefully you can help me. I want to do some symbolic operations
(matrix/vector) in the GF(2). Let's start out with real numbers first:
(m1, m2, m3, m4) = (var("m1"), var("m2"), var("m3"), var("m4"))
q = Matrix([