[GAP Forum] Formal power series over GF(2)
Yannis Michos
yannis_michos at yahoo.co.uk
Tue Sep 13 12:49:35 BST 2011
Dear Forum
Suppose
that I have a univariate $F(t) = {\sum}_{n \geq 0} a_{n} t^{n}$ or a
bivariate $G(s,t) = {\sum}_{n,k \geq 0} a_{n,k} s^{n}t^{k}$
generating
function on one variable t or two variables s, t respectively,
with all coeffiecients $a_{n}$ or $a_{n,k}$ on the field GF(2) of two
numbers or,
which is actually my case, on the ring GF(2)[X_{1}, X_{2},
..., X_{m}] on $m$ commuting intederminates.
Is there a Gap enviroment
and immediate command or algorithm to compute $a_{n}$ or $a_{n,k}$,
i.e., [t^{n}]F(t) or [s^{n}t^{k}]G(s,t), if we know F or G?
Example: The generating function of Pascal's triangle, taken modulo 2,
is G(s, t) = 1/[1 + (1+t)s]. Suppose I want the binomial coefficient
C(3,8) mod 2,
i.e., the term [s^{3}t^{8}]G(s,t). Can I get it
immediately using a Gap command?
More information about the Forum
mailing list