[GAP Forum] Differential rings.

[Ellis, Grahamj]

The HAPprime package (which uses Singular's groebner basis functions) can calculate the kernel and homology of derivations over the field of two elements.

See http://www.maths.nuigalway.ie/~pas/CHA/HAPprime/Manual/DatatypesReference/chap8.html#X842250387FC8302C

Graham 

School of Mathematics, Statistics and Applied Mathematics 
National University of Ireland, Galway
http://hamilton.nuigalway.ie



-----Original Message-----
From: forum-bounces at gap-system.org on behalf of German Combariza
Sent: Sat 11/04/2009 06:47
To: forum at gap-system.org
Subject: [GAP Forum] Differential rings.
 
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.
_______________________________________________
Forum mailing list
Forum at mail.gap-system.org
http://mail.gap-system.org/mailman/listinfo/forum