Singular Manual: ademRelations

| ##### 7.7.9.0. ademRelations Procedure from library `freegb.lib` (see freegb_lib). Usage: ademRelations(i,j); i,j int Return: ring (and exports ideal) Assume: there are at least i+j variables in the basering 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 "freegb.lib";
    def A = ademRelations(2,5);
    setring A;
    AdemRel;
    ==> 6*s(7)*s(0)+s(6)*s(1)

User manual for Singular version 4-1-1, 2018, generated by texi2html.