Changeset e5c565 in git


Ignore:
Timestamp:
Feb 11, 2019, 9:06:22 PM (5 years ago)
Author:
Karim Abou Zeid <karim23697@…>
Branches:
(u'fieker-DuVal', '117eb8c30fc9e991c4decca4832b1d19036c4c65')(u'spielwiese', '3720ae8bfcff4a4649ee98a15552089151d2d59b')
Children:
454d97aea770ad9d50a041631f167ad5f0b12c49
Parents:
46d94586f06df81108732d65afa3776e30c19355
Message:
Update freegb.lib
File:
1 edited

Legend:

Unmodified
Added
Removed
  • Singular/LIB/freegb.lib

    r46d945 re5c565  
    2727lpVarBlockSize(R);               returns the size of the letterplace blocks
    2828
    29 letplaceGBasis(I);               (deprecated, use twostd) two-sided Groebner basis of a letterplace ideal I
    30 
    3129lpDivision(f,I);                 two-sided division with remainder
    3230lpGBPres2Poly(L,I);              reconstructs a polynomial from the output of lpDivision
    3331
    34 lieBracket(a,b[, N]);            Lie bracket ab-ba of two letterplace polynomials
    3532isOrderingShiftInvariant(i);     tests shift-invariance of the monomial ordering
    3633isVar(p);                        check whether p is a power of a single variable
    3734
    3835makeLetterplaceRing(d);          (deprecated, use freeAlgebra) creates a Letterplace ring out of given data
     36letplaceGBasis(I);               (deprecated, use twostd) two-sided Groebner basis of a letterplace ideal I
     37lieBracket(a,b[, N]);            (deprecated, use bracket) Lie bracket ab-ba of two letterplace polynomials
    3938setLetterplaceAttributes(R,d,b); (for testing purposes) supplies ring R with the letterplace structure
    4039
     
    422421"
    423422{
    424   if (lpAssumeViolation())
    425   {
    426     //    ERROR("Either 'uptodeg' or 'lV' global variables are not set!");
    427     ERROR("Incomplete Letterplace structure on the basering!");
    428   }
    429   // alias ppLiebr;
    430   //if int N is given compute [a,[...[a,b]]]] left normed bracket
    431423  int N=1;
    432424  if (size(#)>0)
     
    437429    }
    438430  }
    439   if (N<=0) { return(q); }
    440   poly q = a*b - b*a;
    441   if (N >1)
    442   {
    443     for(int i=1; i<=N-1; i++)
    444     {
    445       q = lieBracket(a,q);
    446     }
    447   }
    448   return(q);
     431  return (bracket(a,b,N));
     432
     433  /* if (lpAssumeViolation()) */
     434  /* { */
     435  /*   //    ERROR("Either 'uptodeg' or 'lV' global variables are not set!"); */
     436  /*   ERROR("Incomplete Letterplace structure on the basering!"); */
     437  /* } */
     438  /* // alias ppLiebr; */
     439  /* //if int N is given compute [a,[...[a,b]]]] left normed bracket */
     440  /* int N=1; */
     441  /* if (size(#)>0) */
     442  /* { */
     443  /*   if (typeof(#[1])=="int") */
     444  /*   { */
     445  /*     N = int(#[1]); */
     446  /*   } */
     447  /* } */
     448  /* if (N<=0) { return(q); } */
     449  /* poly q = a*b - b*a; */
     450  /* if (N >1) */
     451  /* { */
     452  /*   for(int i=1; i<=N-1; i++) */
     453  /*   { */
     454  /*     q = lieBracket(a,q); */
     455  /*   } */
     456  /* } */
     457  /* return(q); */
    449458}
    450459example
Note: See TracChangeset for help on using the changeset viewer.