Home Online Manual
Top
Back: fullSerreRelations
Forward: baumslagSolitar
FastBack:
FastForward:
Up: fpalgebras_lib
Top: Singular Manual
Contents: Table of Contents
Index: Index
About: About this document

7.10.2.4 ademRelations

Procedure from library fpalgebras.lib (see fpalgebras_lib).

Usage:
ademRelations(i,j); i,j int

Return:
ring (and exports ideal)

Purpose:
compute the ideal of Adem relations for i<2j in characteristic 0 the ideal is exported under the name AdemRel in the output ring

Example:
 
LIB "fpalgebras.lib";
def A = ademRelations(2,5);
setring A;
AdemRel;
==> 6*s(7)*s(0)+s(6)*s(1)