Main Page | Report this Page
 
   
Science Forum Index  »  Math - Symbolic Forum  »  Probably simple symbolic math problem......
Page 1 of 1    
Author Message
filia&sofia...
Posted: Wed Jun 18, 2008 12:33 am
Guest
Hello, I have a problem that I would like to get solved. I have a set
of elements that are added together modulo 2. Adding two elements
might end up having a new element. How can I find automatically all
possible elements?

For example:

there are three elements in set S (actual elements consist of smaller
(invisible) parts a, b, c and d):
1. (a+b)
2. (a+b+c)
3. (a+b+c+d)

Now, I know (a+b), (a+b+c), (a+b+c+d) by definition. Everything else
that would be possible to know, I would like to generate automatically
using some kind of symbolic computation. That is, it's also possible
to know (a+b)+(a+b+c) (mod2) = (c), (a+b+c)+(a+b+c+d) (mod2) = (d) and
(c+d). Yet, it is not possible to know what a and b are. The bigger
the set becomes the harder solving the problem gets.

Can anyone suggest good tools, languages etc. to solve this kind of
problem in general. thx.
Maarten Bergvelt...
Posted: Wed Jun 18, 2008 5:51 am
Guest
On 2008-06-18, filia&sofia <in_tyrannos at (no spam) hotmail.com> wrote:
Quote:
Hello, I have a problem that I would like to get solved. I have a set
of elements that are added together modulo 2. Adding two elements
might end up having a new element. How can I find automatically all
possible elements?

For example:

there are three elements in set S (actual elements consist of smaller
(invisible) parts a, b, c and d):
1. (a+b)
2. (a+b+c)
3. (a+b+c+d)

Now, I know (a+b), (a+b+c), (a+b+c+d) by definition. Everything else
that would be possible to know, I would like to generate automatically
using some kind of symbolic computation. That is, it's also possible
to know (a+b)+(a+b+c) (mod2) = (c), (a+b+c)+(a+b+c+d) (mod2) = (d) and
(c+d). Yet, it is not possible to know what a and b are. The bigger
the set becomes the harder solving the problem gets.

Can anyone suggest good tools, languages etc. to solve this kind of
problem in general. thx.

This is not the right place to ask this question (this newsgroup is
for discussion of symbolic algebra computer systems etc.)

Any way, what you are talking about is a vector space over the field F_2
with two elements. (At least, you are talking only about adding
elements, if you allow (commutative) multiplication you would be talk
about a (commutative) algebra over F_2.)

Vector spaces have a basis, so you want to find a basis for your "set
of elements".

I think a better place to ask this type of question would be sci.math.

Good luck.
--
Maarten Bergvelt
 
Page 1 of 1       All times are GMT - 5 Hours
The time now is Fri Nov 21, 2008 3:49 am