[GAP Forum] Differential rings.

[German Combariza]

Dear Forum:

I really appreciate if someone can help with this question:

1. I want to define the differential d in the polynomial ring GF(2)[x_1,x_2]
given by:
   - d(x_1)=0.
   - d(x_2)=x_1^2.
   - d(p,q) = pd(q) + d(p)q

2. and then compute it's cohomology: kernel, and image.

Off course I need some examples more complicated, I just to know if this is
possible in GAP, if there is a function, or If Should I program this by
myself?

Thank you so much for your time.