Changeset 092377 in git


Ignore:
Timestamp:
Feb 26, 2018, 4:05:14 PM (5 years ago)
Author:
Karim Abou Zeid <karim23697@…>
Branches:
(u'jengelh-datetime', 'ceac47cbc86fe4a15902392bdbb9bd2ae0ea02c6')(u'spielwiese', 'a657104b677b4c461d018cbf3204d72d34ad66a9')
Children:
5d214023bfebbbef380e58bbba2f62c85a148814
Parents:
fe1b6419f873b6c254161fd15c1a4b5eccdadff5
Message:
Add examples
File:
1 edited

Legend:

Unmodified
Added
Removed
  • Singular/LIB/fpalgebras.lib

    rfe1b64 r092377  
    138138  }
    139139}
    140 
     140example {
     141  "EXAMPLE:"; echo = 2;
     142  def R = baumslagSolitar(2,3,4); setring R;
     143  I;
     144}
    141145
    142146proc baumslagGroup(int m, int n, int d)
     
    163167 return(R);
    164168}
    165 
     169example {
     170  "EXAMPLE:"; echo = 2;
     171  def R = baumslag(2,3,4); setring R;
     172  I;
     173}
    166174
    167175////////////////////////////////////////////////////////////////////
     
    195203 if (baseringdef == 1) {setring save;}
    196204 return(R);
     205}
     206example {
     207  "EXAMPLE:"; echo = 2;
     208  def R = crystallographicGroupP1(5); setring R;
     209  I;
    197210}
    198211
     
    251264 return(R);
    252265}
     266example {
     267  "EXAMPLE:"; echo = 2;
     268  def R = crystallographicGroupPM(5); setring R;
     269  I;
     270}
    253271
    254272proc crystallographicGroupPG(int d)
     
    278296 if (baseringdef == 1) {setring save;}
    279297 return(R);
     298}
     299example {
     300  "EXAMPLE:"; echo = 2;
     301  def R = crystallographicGroupPG(5); setring R;
     302  I;
    280303}
    281304
     
    309332 return(R);
    310333}
     334example {
     335  "EXAMPLE:"; echo = 2;
     336  def R = crystallographicGroupP2MM(5); setring R;
     337  I;
     338}
    311339
    312340proc crystallographicGroupP2(int d)
     
    338366 return(R);
    339367}
     368example {
     369  "EXAMPLE:"; echo = 2;
     370  def R = crystallographicGroupP2(5); setring R;
     371  I;
     372}
    340373
    341374proc crystallographicGroupP2GG(int d)
     
    367400 return(R);
    368401}
     402example {
     403  "EXAMPLE:"; echo = 2;
     404  def R = crystallographicGroupP2GG(5); setring R;
     405  I;
     406}
    369407
    370408proc crystallographicGroupCM(int d)
     
    396434 return(R);
    397435}
     436example {
     437  "EXAMPLE:"; echo = 2;
     438  def R = crystallographicGroupCM(5); setring R;
     439  I;
     440}
    398441
    399442proc crystallographicGroupC2MM(int d)
     
    405448@*    - d gives the degreebound for the Letterplace ring
    406449"
     450example {
     451  "EXAMPLE:"; echo = 2;
     452  def R = crystallographicGroupC2MM(5); setring R;
     453  I;
     454}
    407455{
    408456 if (d < 3){ERROR("Degreebound is to small for choosen example!");}
     
    454502 return(R);
    455503}
     504example {
     505  "EXAMPLE:"; echo = 2;
     506  def R = crystallographicGroupP4(5); setring R;
     507  I;
     508}
    456509
    457510proc crystallographicGroupP4MM(int d)
     
    483536 return(R);
    484537}
     538example {
     539  "EXAMPLE:"; echo = 2;
     540  def R = crystallographicGroupP4MM(5); setring R;
     541  I;
     542}
    485543
    486544proc crystallographicGroupP4GM(int d)
     
    512570 return(R);
    513571}
     572example {
     573  "EXAMPLE:"; echo = 2;
     574  def R = crystallographicGroupP4GM(5); setring R;
     575  I;
     576}
    514577
    515578proc crystallographicGroupP3(int d)
     
    539602 if (baseringdef == 1) {setring save;}
    540603 return(R);
     604}
     605example {
     606  "EXAMPLE:"; echo = 2;
     607  def R = crystallographicGroupP3(5); setring R;
     608  I;
    541609}
    542610
     
    571639 return(R);
    572640}
     641example {
     642  "EXAMPLE:"; echo = 2;
     643  def R = crystallographicGroupP31M(5); setring R;
     644  I;
     645}
    573646
    574647proc crystallographicGroupP3M1(int d)
     
    580653@*    - d gives the degreebound for the Letterplace ring
    581654"
     655example {
     656  "EXAMPLE:"; echo = 2;
     657  def R = crystallographicGroupP3M1(5); setring R;
     658  I;
     659}
    582660{
    583661 if (d < 4){ERROR("Degreebound is to small for choosen example!");}
     
    629707 return(R);
    630708}
     709example {
     710  "EXAMPLE:"; echo = 2;
     711  def R = crystallographicGroupP6(5); setring R;
     712  I;
     713}
    631714
    632715proc crystallographicGroupP6MM(int d)
     
    638721@*    - d gives the degreebound for the Letterplace ring
    639722"
     723example {
     724  "EXAMPLE:"; echo = 2;
     725  def R = crystallographicGroupP6MM(5); setring R;
     726  I;
     727}
    640728{
    641729 if (d < 7){ERROR("Degreebound is to small for choosen example!");}
     
    706794 return(R);
    707795}
     796example {
     797  "EXAMPLE:"; echo = 2;
     798  intvec P = 1,2,3;
     799  def R = dyckGroup1(3,5,P); setring R;
     800  I;
     801}
    708802
    709803
     
    749843 return(R);
    750844}
     845example {
     846  "EXAMPLE:"; echo = 2;
     847  intvec P = 1,2,3;
     848  def R = dyckGroup2(3,5,P); setring R;
     849  I;
     850}
    751851
    752852
     
    794894 return(R);
    795895}
     896example {
     897  "EXAMPLE:"; echo = 2;
     898  intvec P = 1,2,3;
     899  def R = dyckGroup3(3,5,P); setring R;
     900  I;
     901}
    796902
    797903////////////////////////////////////////////////////////////////////
     
    840946 return(R);
    841947}
    842 
    843 
    844 ////////////////////////////////////////////////////////////////////
    845 // Tetrahedon Groups ///////////////////////////////////////////////
     948example {
     949  "EXAMPLE:"; echo = 2;
     950  def R = fibonacciGroup(3,5); setring R;
     951  I;
     952}
     953
     954
     955////////////////////////////////////////////////////////////////////
     956// Tetrahedron Groups ///////////////////////////////////////////////
    846957// from Grischa Studzinski /////////////////////////////////////////
    847958////////////////////////////////////////////////////////////////////
     
    9001011 return(R);
    9011012}
     1013example {
     1014  "EXAMPLE:"; echo = 2;
     1015  def R = tetrahedronGroup(3,5); setring R;
     1016  I;
     1017}
    9021018
    9031019
     
    9981114 return(R);
    9991115}
     1116example {
     1117  "EXAMPLE:"; echo = 2;
     1118  def R = triangularGroup(3,10); setring R;
     1119  I;
     1120}
Note: See TracChangeset for help on using the changeset viewer.