HAPprime
HAPprime has two aims:
- It adapts HAP's functions for mod p cohomology rings of finite p-groups so that they work on slightly larger groups. It overcomes the problem of insufficient memory by storing data more efficiently at the cost of a slight increase in run speed.
- It provides a tool for proving that the cohomology rings are correct. The tool is an implementation of Len Even's original proof of the finite presentation of the cohomology rings, and uses Singular's Groebner basis algorithms and HAP's implementation of CTC Wall's resolution of a group extension.
HAPprime is being developed by Paul Smith under Marie Curie grant
MTKD-CT-2006-042685.